我有以下Alloy模型，我不知道如何将它转换为Alloy Java API .
sig A {B：Int}
我知道我们可以使用A.addField（“B”，Expr）来添加属性，但是我应该在Expr参数中添加什么来使它代表整数？
谢谢
从字符串解析整个Alloy模型要容易，而不是手动创建AST . 有关示例，请参阅此post . 那个例子使用
CompUtil.parseEverything_fromFile(..., <file_name>)
但你可以用它代替
CompUtil.parseOneModule_fromString("sig A{ B: Int}")
直接从字符串解析（请注意，后一种情况下的返回类型是 List<Command> ，而不是链接示例中的 CompModule ，但这对您来说应该不是问题） .
List<Command>
CompModule
1 回答
从字符串解析整个Alloy模型要容易，而不是手动创建AST . 有关示例，请参阅此post . 那个例子使用
但你可以用它代替
直接从字符串解析（请注意，后一种情况下的返回类型是
List<Command>，而不是链接示例中的CompModule，但这对您来说应该不是问题） .