public static void main(String[] args) throws IOException { LogManager mgr = new LogManager(); mgr.log("atn", "test msg"); mgr.log("dfa", "test msg 2"); System.out.println(mgr); mgr.save(); } }
public void save(String filename) throws IOException { FileWriter fw = new FileWriter(filename); BufferedWriter bw = new BufferedWriter(fw); try { bw.write(toString()); } finally { bw.close(); } }
public String save() throws IOException { //String dir = System.getProperty("java.io.tmpdir"); String dir = "."; String defaultFilename = dir + "/antlr-" + new SimpleDateFormat("yyyy-MM-dd-HH.mm.ss").format(new Date()) + ".log"; save(defaultFilename); return defaultFilename; }
public void log(String msg) { log(null, msg); }
public String save() throws IOException { //String dir = System.getProperty("java.io.tmpdir"); String dir = "."; String defaultFilename = dir + "/antlr-" + new SimpleDateFormat("yyyy-MM-dd-HH.mm.ss").format(new Date()) + ".log"; save(defaultFilename); return defaultFilename; }
public void log(String component, String msg) { logMgr.log(component, msg); } public void log(String msg) { log(null, msg); }
public static void main(String[] args) throws IOException { LogManager mgr = new LogManager(); mgr.log("atn", "test msg"); mgr.log("dfa", "test msg 2"); System.out.println(mgr); mgr.save(); } }
public String save() throws IOException { //String dir = System.getProperty("java.io.tmpdir"); String dir = "."; String defaultFilename = dir + "/antlr-" + new SimpleDateFormat("yyyy-MM-dd-HH.mm.ss").format(new Date()) + ".log"; save(defaultFilename); return defaultFilename; }
public void log(String component, String msg) { logMgr.log(component, msg); } public void log(String msg) { log(null, msg); }
public void save(String filename) throws IOException { FileWriter fw = new FileWriter(filename); BufferedWriter bw = new BufferedWriter(fw); try { bw.write(toString()); } finally { bw.close(); } }
public static void main(String[] args) throws IOException { LogManager mgr = new LogManager(); mgr.log("atn", "test msg"); mgr.log("dfa", "test msg 2"); System.out.println(mgr); mgr.save(); } }
public String save() throws IOException { //String dir = System.getProperty("java.io.tmpdir"); String dir = "."; String defaultFilename = dir + "/antlr-" + new SimpleDateFormat("yyyy-MM-dd-HH.mm.ss").format(new Date()) + ".log"; save(defaultFilename); return defaultFilename; }
public void log(String msg) { log(null, msg); }
public void save(String filename) throws IOException { FileWriter fw = new FileWriter(filename); BufferedWriter bw = new BufferedWriter(fw); try { bw.write(toString()); } finally { bw.close(); } }
public static void main(String[] args) throws IOException { LogManager mgr = new LogManager(); mgr.log("atn", "test msg"); mgr.log("dfa", "test msg 2"); System.out.println(mgr); mgr.save(); } }
public String save() throws IOException { //String dir = System.getProperty("java.io.tmpdir"); String dir = "."; String defaultFilename = dir + "/antlr-" + new SimpleDateFormat("yyyy-MM-dd-HH.mm.ss").format(new Date()) + ".log"; save(defaultFilename); return defaultFilename; }
public void log(String msg) { log(null, msg); }
public void save(String filename) throws IOException { FileWriter fw = new FileWriter(filename); BufferedWriter bw = new BufferedWriter(fw); try { bw.write(toString()); } finally { bw.close(); } }
public static void main(String[] args) throws IOException { LogManager mgr = new LogManager(); mgr.log("atn", "test msg"); mgr.log("dfa", "test msg 2"); System.out.println(mgr); mgr.save(); } }
public static void main(String[] args) { Tool antlr = new Tool(args); if ( args.length == 0 ) { antlr.help(); antlr.exit(0); } try { antlr.processGrammarsOnCommandLine(); } finally { if ( antlr.log ) { try { String logname = antlr.logMgr.save(); System.out.println("wrote "+logname); } catch (IOException ioe) { antlr.errMgr.toolError(ErrorType.INTERNAL_ERROR, ioe); } } } if ( antlr.return_dont_exit ) return; if (antlr.errMgr.getNumErrors() > 0) { antlr.exit(1); } antlr.exit(0); }