public class LogManager extends Object
Modifier and Type | Class | Description |
---|---|---|
protected static class |
LogManager.Record |
Modifier and Type | Field | Description |
---|---|---|
protected List<LogManager.Record> |
records |
Constructor | 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–2019 ANTLR. All rights reserved.