CODEWITHSUNDEEP
alloy
Loïc Gammaitoni
Loïc Gammaitoni

Reputation: 4171

From CompModule to Alloy

Using the Alloy API, it is possible to get from an alloy file a CompModule that contains all the things you need in order to play around with that given alloy module.

This is easily achieved using : CompUtil.parseEverything_fromFile(...)

My question now is the following. Is there a way to go from a CompModule to alloy language ? Or to go from a list of sigs, and facts to alloy model. ( I guess I could do it brute force, but I'd rather like to know if there's an utility existing.)

Thanks for your support !

Cheers

Upvotes: 3

Views: 106

Answers (1)

Aleksandar Milicevic
Aleksandar Milicevic

Reputation: 3857

I don't think there is already some kind of a visitor (or something) that takes a CompModule and produces a textual Alloy file. Implementing such a printer should be pretty straightforward, but also time consuming.

Upvotes: 2

Related Questions