alloy - 如何在 Alloy API 中实现以下合金模型？

Question

我有以下合金模型，但我不确定如何将其转换为合金 Java API。

sig A {
  B: Int
}

我知道我们可以使用A.addField("B", Expr)添加属性，但是我应该在Expr参数中输入什么来使它代表Ints？

谢谢

Answer 1

从字符串解析整个 Alloy 模型比手动创建 AST 要容易得多。有关示例，请参见这篇文章。该示例使用

CompUtil.parseEverything_fromFile(..., <file_name>)

但你可以用

CompUtil.parseOneModule_fromString("sig A{ B: Int}")

直接从字符串解析（请注意，后一种情况下的返回类型是List<Command>，而CompModule不像链接示例中那样，但这对您来说应该不是问题）。