Class LogManager

java.lang.Object

org.graalvm.shadowed.org.antlr.v4.runtime.misc.LogManager

public class LogManager
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static class	LogManager.Record

Field Summary

Fields

Modifier and Type	Field	Description
protected List<LogManager.Record>	records

Constructor Summary

Constructors

Constructor	Description
LogManager()

Method Summary

Modifier and Type	Method	Description
void	log(String msg)
void	log(String component, String msg)
static void	main(String[] args)
String	save()
void	save(String filename)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

records

protected List<LogManager.Record> records

Constructor Details

LogManager

public LogManager()

Method Details

log

public void log(String component,
 String msg)

log

public void log(String msg)

save

public void save(String filename)
          throws IOException

Throws:

IOException

save

public String save()
            throws IOException

Throws:

IOException

toString

public String toString()

Overrides:

toString in class Object

main

public static void main(String[] args)
                 throws IOException

Throws:

IOException