1 30 31 package jbet; 32 import java.io.*; 33 import java.util.*; 34 35 43 44 public class Jbet 45 { 46 47 public static String colon = null; 48 public static String slash = null; 49 50 static { 51 char [] a = new char [1]; 52 a[0] = java.io.File.pathSeparatorChar; 53 colon = new String (a); 54 a[0] = java.io.File.separatorChar; 55 slash = new String (a); 56 } 57 58 public static ClassInfoLoader loader; 59 public static Logger logger = new Logger(System.out, Logger.WARN); 60 public static LineWriter debug = logger.getStream(Logger.DEBUG); 61 public static LineWriter info = logger.getStream(Logger.INFO); 62 public static LineWriter warn = logger.getStream(Logger.WARN); 63 public static LineWriter error = logger.getStream(Logger.ERROR); 64 public static LineWriter fatal = logger.getStream(Logger.FATAL); 65 public static LineWriter output = new LineWriter.PrintStreamLineWriter (System.out); 66 67 public static String default_class = null; 68 public static String outputdir = "."; 69 static String commandsFile = null; 70 static String commandsString = null; 71 static boolean verify = false; 72 static boolean seperate = false; 73 static boolean compact = true; 74 static int verbosity = 1; 75 static Hashtable lexerVars = new Hashtable(); 76 public static boolean recursive = true; 77 78 79 public static StringFunction lexerVarFunction = new StringFunction() { 80 public String f (String s) { 81 if (s.equals("DEFAULT")) 82 return Jbet.default_class; 83 else 84 return (String ) Jbet.lexerVars.get(s); 85 } 86 }; 87 88 public static void setDefault (String s) { 89 default_class = s; 90 } 91 92 } 93 | Popular Tags |