Valloy仮想関数コードを合金スクリプトに変換するにはどうすればいいですか？

Question

私はプロジェクトに取り組んでおり、ValloyとAlloyの両方でコード例を挙げていますが、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) } 

アナライザはノーリターンタイプを持つ関数を受け入れることができないと「..」を知りません！ これは誰でも助けてくれますか？

ありがとうございます！

Answer 1

その構文は標準の合金ではありません。 VAlloyがまだ維持されているかどうか、あるいはあなたがその論文の著者から入手できるかどうかはわかりません。