All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----javaParse.Params
public static final char lambdaCharLAMBDA
public static final char LAMBDAIS_APPLET_MODE
public static boolean IS_APPLET_MODE
public static final char ORLR_START
public static final String LR_STARTLR_START_CLOSURE
public static final String LR_START_CLOSUREMARKER
public static final char MARKERCTRL_LAMBDA
public static final int CTRL_LAMBDACTRL_ARROW
public static final char CTRL_ARROWROTATE
public static final int ROTATEARROW
public static final String ARROWINVERTED_TREE_VIEW
public static final String INVERTED_TREE_VIEWNON_INVERTED_TREE_VIEW
public static final String NON_INVERTED_TREE_VIEWDERIVATION_VIEW
public static final String DERIVATION_VIEWLL1_MODE
public static final int LL1_MODELL2_MODE
public static final int LL2_MODELR1_MODE
public static final int LR1_MODELL1_GRAMMAR_TITLE
public static final String LL1_GRAMMAR_TITLELL2_GRAMMAR_TITLE
public static final String LL2_GRAMMAR_TITLELR1_GRAMMAR_TITLE
public static final String LR1_GRAMMAR_TITLEGRAMMAR_HELP
public static final String GRAMMAR_HELPDATA_HELP
public static final String DATA_HELPDFA_HELP
public static final String DFA_HELPTABLE_HELP
public static final String TABLE_HELPTESTER_HELP
public static final String TESTER_HELPABOUT_IMAGE_PATH
public static final String ABOUT_IMAGE_PATH_dg_font
public static final Font _dg_font_dg_backcolor
public static final Color _dg_backcolor_dg_forecolor
public static final Color _dg_forecolor_dg_width
public static final int _dg_width_dg_height
public static final int _dg_heighterrLabelFont
public static final Font errLabelFontfileFont
public static final Font fileFontMAGIC_COOKIE
public static final String MAGIC_COOKIE
public Params()
All Packages Class Hierarchy This Package Previous Next Index