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

Question

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

sig A {    B：Int }

我知道我们可以使用A.addField（“B”，Expr）来添加属性，但是我应该在Expr参数中添加什么来使它代表整数？

由于

Answer 1

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

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

但您可以用

替换它

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

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