如何将Valloy虚拟功能代码翻译成Alloy脚本？

我正在开发一个项目，并找到一篇关于Valloy的文章，他们给出了一个Valloy和Alloy代码的例子，但问题在于合金分析器无法识别Alloy脚本的语法。经验：如何将Valloy虚拟功能代码翻译成Alloy脚本？

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) }

分析仪不能接受没有返回类型的函数，不知道“..”！任何人都可以帮忙吗？！

谢谢你提前！

来源

2016-11-29 S. Salwa

您可能需要直接联系文章的作者。我怀疑任何人，但他们可以帮助你解决这个问题。 –

@LoïcGammaitoni谢谢你的评论！我确实是这样做的，但他们说他们写了这么长时间以至于他们无法帮助！我的概率是我需要找到合金的当前版本中的“..”的等价物 –

这不是一些“Valloy”特定的语法吗？ –

该语法不是标准合金。我不确定VAlloy是否仍然维护，或者您是否可以从该论文的作者那里获得。

来源

2016-12-29 15:36:24

我已经决定将它翻译成适合我的合金语法，但我不会撒谎我仍然在拼命挣扎！ –

如何将Valloy虚拟功能代码翻译成Alloy脚本？

回答

相关问题