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

Question

我有以下 Alloy 模型，但不知道如何将其转换为 Alloy Java API。

sig A {
  B: Int
}

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

谢谢

Answer 1

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

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

但你可以用

替换它

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

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