Class EpsilonConsole


  • public class EpsilonConsole
    extends Object
    • Method Detail

      • initialiseColours

        public void initialiseColours()
      • createConsoleOutputStream

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

        public void clear()
      • reportParseAnomaly

        public void reportParseAnomaly​(ParseProblem anomaly)
      • getWarningStream

        public PrintStream getWarningStream()
      • enableMirroring

        public void enableMirroring​(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()