如何在Alloy API中實現以下Alloy模型？

Question

我具有以下的Alloy模型，但不確定如何將其轉換為Alloy Java API。

sig A {
  B: Int
}

我知道我們可以使用A.addField("B", Expr)添加屬性，但是我應該在Expr參數中添加什么以使其表示Int呢？

謝謝

Answer 1

從字符串解析整個Alloy模型要容易得多，而不是手動創建AST。 看到這個職位的一個例子。 該示例使用

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

但您可以將其替換為

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

以直接從字符串進行解析（請注意，在后一種情況下，返回類型為List<Command> ，而不是鏈接示例中的CompModule ，但這對您來說應該不是問題）。