1 package org.javacc.jjtree; 2 3 import java.io.File ; 4 5 import org.javacc.parser.Options; 6 7 12 class JJTreeOptions extends Options { 13 14 17 protected JJTreeOptions() { 18 super(); 19 } 20 21 24 public static void init() { 25 Options.init(); 26 27 Options.optionValues.put("JDK_VERSION", "1.4"); 28 Options.optionValues.put("MULTI", Boolean.FALSE); 29 Options.optionValues.put("NODE_DEFAULT_VOID", Boolean.FALSE); 30 Options.optionValues.put("NODE_SCOPE_HOOK", Boolean.FALSE); 31 Options.optionValues.put("NODE_FACTORY", Boolean.FALSE); 32 Options.optionValues.put("NODE_USES_PARSER", Boolean.FALSE); 33 Options.optionValues.put("BUILD_NODE_FILES", Boolean.TRUE); 34 Options.optionValues.put("VISITOR", Boolean.FALSE); 35 36 Options.optionValues.put("NODE_PREFIX", "AST"); 37 Options.optionValues.put("NODE_PACKAGE", ""); 38 Options.optionValues.put("NODE_EXTENDS", ""); 39 Options.optionValues.put("OUTPUT_FILE", ""); 40 Options.optionValues.put("VISITOR_EXCEPTION", ""); 41 42 Options.optionValues.put("JJTREE_OUTPUT_DIRECTORY", null); 43 } 44 45 50 public static String getJdkVersion() { 51 return stringValue("JDK_VERSION"); 52 } 53 54 59 public static boolean getMulti() { 60 return booleanValue("MULTI"); 61 } 62 63 68 public static boolean getNodeDefaultVoid() { 69 return booleanValue("NODE_DEFAULT_VOID"); 70 } 71 72 77 public static boolean getNodeScopeHook() { 78 return booleanValue("NODE_SCOPE_HOOK"); 79 } 80 81 86 public static boolean getNodeFactory() { 87 return booleanValue("NODE_FACTORY"); 88 } 89 90 95 public static boolean getNodeUsesParser() { 96 return booleanValue("NODE_USES_PARSER"); 97 } 98 99 104 public static boolean getBuildNodeFiles() { 105 return booleanValue("BUILD_NODE_FILES"); 106 } 107 108 113 public static boolean getVisitor() { 114 return booleanValue("VISITOR"); 115 } 116 117 122 public static String getNodePrefix() { 123 return stringValue("NODE_PREFIX"); 124 } 125 126 131 public static String getNodeExtends() { 132 return stringValue("NODE_EXTENDS"); 133 } 134 135 140 public static String getNodePackage() { 141 return stringValue("NODE_PACKAGE"); 142 } 143 144 149 public static String getOutputFile() { 150 return stringValue("OUTPUT_FILE"); 151 } 152 153 158 public static String getVisitorException() { 159 return stringValue("VISITOR_EXCEPTION"); 160 } 161 162 169 public static File getJJTreeOutputDirectory() { 170 final String dirName = stringValue("JJTREE_OUTPUT_DIRECTORY"); 171 File dir = null; 172 173 if (dirName == null) { 174 dir = getOutputDirectory(); 175 } else { 176 dir = new File (dirName); 177 } 178 179 return dir; 180 } 181 } 182 | Popular Tags |