0
我目前放在一起下面的代碼,它識別元素,據稱其添加到組,但是當我打印出來的設置集充滿了功能Scala中的對象上訪問一組
class PropositionOrderer extends Identity{
var Names = SortedSet[Name] _
override def variable = {
_ match {
case name =>
Names+(name)
Variable(name)
}
}
}
我想然後調用它的一個命題,並獲得名字的排序列表中的命題
type Names = SortedSet[Name]
val Names = SortedSet[Name] _
def vars: Proposition => Names =
{
case p =>
val prop = new PropositionOrderer
prop.visit(p)
println(prop.Names)
//this just to fit the return definition
Names("Dan","Web")
}
如果我回到prop.Names它說,我返回了錯誤類型的對象。有任何想法嗎?