Hi,
I’m running into problems using the Alloy 6.2 CLI interface to generate the tabular representation for a solution. Here’s an example using the addressBook3a.als example from the included examples directory.
When I run the Run show for 4 command via the GUI, open the visualization window, and then select the “Table” view, it shows a table with all of the sig types, and lists how the relations are populated for all values in the solution.
┌──────────────┬─────┬───────────┐
│BookOrder/Ord │First│Next │
├──────────────┼─────┼─────┬─────┤
│BookOrder/Ord⁰│Book⁰│Book⁰│Book¹│
│ ├─────┼─────┼─────┤
│ │ │Book¹│Book²│
│ │ ├─────┼─────┤
│ │ │Book²│Book³│
└──────────────┴─────┴─────┴─────┘
┌─────────┐
│this/Addr│
├─────────┤
│Addr⁰ │
└─────────┘
┌─────────┬──────┬────────────┐
│this/Book│names │addr │
├─────────┼──────┼────────────┤
│Book⁰ │ │ │
├─────────┼──────┼──────┬─────┤
│Book¹ │Group⁰│Group⁰│Addr⁰│
├─────────┼──────┼──────┼─────┤
│Book² │Group⁰│Group⁰│Addr⁰│
├─────────┼──────┼──────┼─────┤
│Book³ │Group⁰│Group⁰│Addr⁰│
└─────────┴──────┴──────┴─────┘
┌──────────┐
│this/Group│
├──────────┤
│Group⁰ │
└──────────┘
┌─────────┐
│this/Name│
├─────────┤
│Group⁰ │
└─────────┘
┌───────────┐
│this/Target│
├───────────┤
│Addr⁰ │
├───────────┤
│Group⁰ │
└───────────┘
┌────────────────┐
│$BookOrder/first│
├────────────────┤
│Book⁰ │
└────────────────┘
┌───────────────┐
│$BookOrder/last│
├───────────────┤
│Book³ │
└───────────────┘
┌───────────────┐
│$BookOrder/next│
├─────┬─────────┤
│Book⁰│Book¹ │
├─────┼─────────┤
│Book¹│Book² │
├─────┼─────────┤
│Book²│Book³ │
└─────┴─────────┘
┌───────────────┐
│$BookOrder/prev│
├─────┬─────────┤
│Book¹│Book⁰ │
├─────┼─────────┤
│Book²│Book¹ │
├─────┼─────────┤
│Book³│Book² │
└─────┴─────────┘
┌────────────┐
│$show_n │
├─────┬──────┤
│Book⁰│Group⁰│
├─────┼──────┤
│Book¹│Group⁰│
├─────┼──────┤
│Book²│Group⁰│
└─────┴──────┘
┌────────────┐
│$show_t │
├─────┬──────┤
│Book⁰│Addr⁰ │
├─────┼──────┤
│Book¹│Group⁰│
├─────┼──────┤
│Book²│Group⁰│
└─────┴──────┘
When I run via the CLI with command `java -jar /org.alloytools.alloy.dist.jar exec -t table -c 0 addressBook3a.als, the table from the generated markdown file (shown below) doesn’t contain any useful information.
Command show
Solution index 0
Trace length 1
Loop state 0
State index 0
Loop back true
┌───────────┬───────────┬──┐
│sig │fields │<-│
├───────────┼───────────┤ │
│this/Target│this/Target│ │
│ ├───────────┤ │
│ │Target² │ │
│ ├───────────┤ │
│ │Target³ │ │
├───────────┼───────────┤ │
│ │ │ │
├───────────┼───────────┤ │
│ │ │ │
├───────────┼───────────┤ │
│ │ │ │
├───────────┼───────────┤ │
│ │ │ │
├───────────┼───────────┤ │
│ │ │ │
└───────────┴───────────┴──┘
How can specify to the CLI table output that I want the full tables, the same ones that generated in the GUI. Thanks!
Cheers
Kirk