pietrobraione / jbse

A symbolic Java virtual machine for program analysis, verification and test generation

Home Page:http://pietrobraione.github.io/jbse/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

SettingParser

monperrus opened this issue · comments

Hi,
I don't use Eclipse. Is there a way to generate the files from SettingParser.jj using ant on the command-line?
Thanks,
--Martin

Hi Martin, there is an ant file in the JBSE project (contributed by a colleague of mine) but it does invoke javacc, I think.
Unfortunately I don’t know anything about ant, so I cannot be of help. The command line to compile the parser with javacc is:

java -classpath /path/to/javacc-5.0.jar javacc SettingsParser.jj

The file SettingsParser.jj is in src/jbse/apps/settings.
Best,
Pietro