search

CoreASM / coreasm.core

CoreASM core projects
Other
22 stars 6 forks source link

Not compiling CoreASM out of box? #19

Closed Bazmundi closed 8 years ago

Bazmundi commented 8 years ago

Added coreASM to my epsilon toy box.

Copy and pasted Dining Philosophers into new *.casm file over default text.

Got:

INFO - parsing file D:\Safety\epsilon\safetyw\coreasm_sandpit\untitled.casm org.asmeta.parser.ParseException: Encountered " "CoreASM "" at line 7, column 1. Was expecting one of: "asm" ... "module" ... "asyncr" ...

at org.asmeta.parser.ASMParser.generateParseException(ASMParser.java:9365)
at org.asmeta.parser.ASMParser.jj_consume_token(ASMParser.java:9238)
at org.asmeta.parser.ASMParser.Asm(ASMParser.java:188)
at org.asmeta.parser.ASMParser.setUpReadAsm(ASMParser.java:114)
at org.asmeta.eclipse.editor.actions.ParseJob.run(ParseJob.java:77)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)

Tried compiling boiler plate code that comes with new file, got:

INFO - parsing file D:\Safety\epsilon\safetyw\coreasm_sandpit\untitled2.casm org.asmeta.parser.ParseException: Encountered " "CoreASM "" at line 1, column 1. Was expecting one of: "asm" ... "module" ... "asyncr" ...

at org.asmeta.parser.ASMParser.generateParseException(ASMParser.java:9365)
at org.asmeta.parser.ASMParser.jj_consume_token(ASMParser.java:9238)
at org.asmeta.parser.ASMParser.Asm(ASMParser.java:188)
at org.asmeta.parser.ASMParser.setUpReadAsm(ASMParser.java:114)
at org.asmeta.eclipse.editor.actions.ParseJob.run(ParseJob.java:77)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)

Seems to not want to run from Run menu, but will run from buttons on menu bar?

Any configuration that I am missing? There appears nothing to set up other than the install?

Cheers, A

mdausend commented 8 years ago

Dear Bazmundi,

thank you for your question but I have to forward you to our friends in Italy. According to your stack trace, it seems that you are using ASMETA and not CoreASM. ../org/asmeta/parser/ASMParser.jj It seems that you used a CoreASM specification in ASMETA and therefore the parse exception states: Encountered " "CoreASM "...

Please contact them in order to get some assistance. Probably, they can help you better than me this time.

http://asmeta.sourceforge.net

Kind regards Marcel

Bazmundi commented 8 years ago

Whoops. I did get my wires crossed there. Thanks for that.

Cheers, B

On Tue, Dec 1, 2015 at 12:40 AM, mdausend notifications@github.com wrote:

Dear Bazmudi,

thank you for your question but I have to forward you to our friends in Italy. According to your stack trace, it seems that you are using ASMETA and not CoreASM. ../org/asmeta/parser/ASMParser.jj It seems that they integrated our common UASM-parser and therefore the parse exception states: Encountered " "CoreASM "...

Please contact them in order to get some assistance. Probably, they can help you better than me this time.

http://asmeta.sourceforge.net

Kind regards Marcel

— Reply to this email directly or view it on GitHub https://github.com/CoreASM/coreasm.core/issues/19#issuecomment-160640804 .