Details
Description
JJTree supports an option named "NODE_CLASS" that is not exposed by the jjtree mojo. Other options may be missing as well.
JJTree supports an option named "NODE_CLASS" that is not exposed by the jjtree mojo. Other options may be missing as well.
Committed in r6069. Added options NODE_CLASS, TRACK_TOKENS, VISITOR_DATA_TYPE. Left out NODE_EXTENDS which is marked as deprecated.