私は現在、要素を認識し、それらをセットに追加するとされる次のコードをまとめましたが、セットを印刷すると、セットは関数で満たされます
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 を返すと、間違った型のオブジェクトを返していると表示されます。何か案は?