search

pietrobraione / jbse

A symbolic Java virtual machine for program analysis, verification and test generation
http://pietrobraione.github.io/jbse/
GNU General Public License v3.0
103 stars 29 forks source link

SettingParser #4

Closed monperrus closed 7 years ago

monperrus commented 7 years ago

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

pietrobraione commented 7 years ago

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