public class LogManager extends Object
Modifier and Type | Class and Description |
---|---|
protected static class |
LogManager.Record |
Modifier and Type | Field and Description |
---|---|
protected List<LogManager.Record> |
records |
Constructor and Description |
---|
LogManager() |
protected List<LogManager.Record> records
public void log(String msg)
public void save(String filename) throws IOException
IOException
public String save() throws IOException
IOException
public static void main(String[] args) throws IOException
IOException
Copyright © 1992-2013 ANTLR. All Rights Reserved.