Class EpsilonConsole


  • public class EpsilonConsole
    extends java.lang.Object
    • Method Detail

      • initialiseColours

        public void initialiseColours()
      • createConsoleOutputStream

        public org.eclipse.ui.console.IOConsoleOutputStream createConsoleOutputStream()
      • clear

        public void clear()
      • getDebugStream

        public java.io.PrintStream getDebugStream()
      • getErrorStream

        public java.io.PrintStream getErrorStream()
      • getInfoStream

        public java.io.PrintStream getInfoStream()
      • getInputStream

        public java.io.InputStream getInputStream()
      • reportParseAnomaly

        public void reportParseAnomaly​(ParseProblem anomaly)
      • getWarningStream

        public java.io.PrintStream getWarningStream()
      • enableMirroring

        public void enableMirroring​(java.lang.String outputFile,
                                    boolean append)
        Enable mirroring in all output streams of the console
        Parameters:
        outputFile - The file to which the output will be mirrored.
        Since:
        1.6
        See Also:
        disableMirroring()