How to store the Alloy solution into a desired Data structure?

Question

I built an Alloy model and it successfully enumerated all the solutions I want. Each solution is a A4Solution object.

The output of each instance should be a simple Java POJO object, like the example below:

Class POJO {
int a;
int b;
String c;
boolean d;
}

My Alloy model basically generated all the possible combinations of the above 4 fields.

My question is that the A4Solution object is very complicated, how can I parse the object and store the generated fields into the POJO above?

Thanks

Also, when I try to add the Sigs to an ArrayList, it will through a NPE. — user2744486, Sep 05 '13 at 20:14

score 1 · Accepted Answer · edited May 23 '17 at 12:20

1

See this post for an example of how to iterate through an instance of A4Solution and extract atom values from it.

edited May 23 '17 at 12:20

Community

answered Sep 05 '13 at 20:06

1 Answers1