如何将Valloy虚函数代码转换为Alloy脚本？

Question

我正在研究一个项目并找到一篇关于Valloy的文章，他们给出了Valloy和Alloy中的代码示例，但问题是Alloy分析器无法识别Alloy脚本的语法。 Exp：

fun Object::equals(obj: Object) {
this.class = Object_Class => this..Object_equals(obj)
this.class = Dimension_Class => this..Dimension_equals(obj)
this.class = Dimension3D_Class =>this..Dimension3D_equals(obj) } 

分析仪不能接受没有返回类型的功能，也不知道＆＃34; ..＆＃34; ！ 任何人都可以帮忙吗？!!

提前感谢你!!

Answer 1

该语法不是标准的Alloy。我不确定VAlloy是否仍在维护，或者你是否可以从该论文的作者那里得到它。