我建立了一个合金模型,它成功地列举了我想要的所有解决方案。每个解决方案都是一个 A4Solution 对象。
每个实例的输出应该是一个简单的 Java POJO 对象,如下例所示:
Class POJO {
int a;
int b;
String c;
boolean d;
}
我的 Alloy 模型基本上生成了上述 4 个字段的所有可能组合。
我的问题是 A4Solution 对象很复杂,如何解析对象并将生成的字段存储到上面的 POJO 中?
谢谢
我建立了一个合金模型,它成功地列举了我想要的所有解决方案。每个解决方案都是一个 A4Solution 对象。
每个实例的输出应该是一个简单的 Java POJO 对象,如下例所示:
Class POJO {
int a;
int b;
String c;
boolean d;
}
我的 Alloy 模型基本上生成了上述 4 个字段的所有可能组合。
我的问题是 A4Solution 对象很复杂,如何解析对象并将生成的字段存储到上面的 POJO 中?
谢谢