public class EpsilonConsole extends Object
Modifier and Type | Method and Description |
---|---|
void |
clear() |
org.eclipse.ui.console.IOConsoleOutputStream |
createConsoleOutputStream() |
void |
disableMirroring()
Disable mirroring in all outputstreams
|
void |
enableMirroring(String outputFile,
boolean append)
Enable mirroring in all output streams of the console
|
PrintStream |
getDebugStream() |
PrintStream |
getErrorStream() |
PrintStream |
getInfoStream() |
InputStream |
getInputStream() |
static EpsilonConsole |
getInstance() |
PrintStream |
getWarningStream() |
void |
initialiseColours() |
void |
reportParseAnomaly(ParseProblem anomaly) |
public static EpsilonConsole getInstance()
public void initialiseColours()
public org.eclipse.ui.console.IOConsoleOutputStream createConsoleOutputStream()
public void clear()
public PrintStream getDebugStream()
public PrintStream getErrorStream()
public PrintStream getInfoStream()
public InputStream getInputStream()
public void reportParseAnomaly(ParseProblem anomaly)
public PrintStream getWarningStream()
public void enableMirroring(String outputFile, boolean append)
outputFile
- The file to which the output will be mirrored.disableMirroring()
public void disableMirroring()
enableMirroring(String, boolean)
Copyright © 2020. All rights reserved.