Pretty printing a module
up vote
0
down vote
favorite
Pardon the cross-post; I thought I'd ask here as well, in case the mailing list wasn't the right place.
For a course project I’m working on carrying out an empirical
study where I need to parse a series of Alloy files, make some
changes to each module, and save each in a new file.
ExampleUsingTheCompiler.java was very helpful in showing how to
parse Alloy files (using CompUtil.parseEverything_fromFile), but
I couldn't find any information on how to serialize/pretty-print
the Module/CompModule back into a string that I could then write
to a file.
Thanks in advance for the help.
alloy
asked Nov 10 at 19:24
amin
33
add a comment |
up vote
0
down vote
favorite
Pardon the cross-post; I thought I'd ask here as well, in case the mailing list wasn't the right place.
For a course project I’m working on carrying out an empirical
study where I need to parse a series of Alloy files, make some
changes to each module, and save each in a new file.
ExampleUsingTheCompiler.java was very helpful in showing how to
parse Alloy files (using CompUtil.parseEverything_fromFile), but
I couldn't find any information on how to serialize/pretty-print
the Module/CompModule back into a string that I could then write
to a file.
Thanks in advance for the help.
alloy
asked Nov 10 at 19:24
amin
33
I don't think any pretty print methods are at disposal. At least there seemed to were none at the time I was fiddling with the API. If you are interested in pretty printing, you might have to implement your own methods relying on the methods defined in the CompModule class to explore the object to be printed. gl & hf :-)
– Loïc Gammaitoni
Nov 19 at 14:05
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Pardon the cross-post; I thought I'd ask here as well, in case the mailing list wasn't the right place.
For a course project I’m working on carrying out an empirical
study where I need to parse a series of Alloy files, make some
changes to each module, and save each in a new file.
ExampleUsingTheCompiler.java was very helpful in showing how to
parse Alloy files (using CompUtil.parseEverything_fromFile), but
I couldn't find any information on how to serialize/pretty-print
the Module/CompModule back into a string that I could then write
to a file.
Thanks in advance for the help.
alloy
asked Nov 10 at 19:24
amin
33
Pardon the cross-post; I thought I'd ask here as well, in case the mailing list wasn't the right place.
For a course project I’m working on carrying out an empirical
study where I need to parse a series of Alloy files, make some
changes to each module, and save each in a new file.
ExampleUsingTheCompiler.java was very helpful in showing how to
parse Alloy files (using CompUtil.parseEverything_fromFile), but
I couldn't find any information on how to serialize/pretty-print
the Module/CompModule back into a string that I could then write
to a file.
Thanks in advance for the help.
alloy
alloy
asked Nov 10 at 19:24
amin
33
asked Nov 10 at 19:24
amin
33
asked Nov 10 at 19:24
amin
33
asked Nov 10 at 19:24
amin
33
asked Nov 10 at 19:24
amin
33
33
I don't think any pretty print methods are at disposal. At least there seemed to were none at the time I was fiddling with the API. If you are interested in pretty printing, you might have to implement your own methods relying on the methods defined in the CompModule class to explore the object to be printed. gl & hf :-)
– Loïc Gammaitoni
Nov 19 at 14:05
add a comment |
I don't think any pretty print methods are at disposal. At least there seemed to were none at the time I was fiddling with the API. If you are interested in pretty printing, you might have to implement your own methods relying on the methods defined in the CompModule class to explore the object to be printed. gl & hf :-)
– Loïc Gammaitoni
Nov 19 at 14:05
I don't think any pretty print methods are at disposal. At least there seemed to were none at the time I was fiddling with the API. If you are interested in pretty printing, you might have to implement your own methods relying on the methods defined in the CompModule class to explore the object to be printed. gl & hf :-)
– Loïc Gammaitoni
Nov 19 at 14:05
I don't think any pretty print methods are at disposal. At least there seemed to were none at the time I was fiddling with the API. If you are interested in pretty printing, you might have to implement your own methods relying on the methods defined in the CompModule class to explore the object to be printed. gl & hf :-)
– Loïc Gammaitoni
Nov 19 at 14:05
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Stack Overflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53242619%2fpretty-printing-a-module%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
I don't think any pretty print methods are at disposal. At least there seemed to were none at the time I was fiddling with the API. If you are interested in pretty printing, you might have to implement your own methods relying on the methods defined in the CompModule class to explore the object to be printed. gl & hf :-)
– Loïc Gammaitoni
Nov 19 at 14:05