public class JJOptions extends Object
JJOptions(Map<String,String> options)
boolean
enabled()
use_original_names()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public JJOptions(Map<String,String> options)
public boolean enabled()
public boolean use_original_names()