ConsoleReporter

def != (arg0: AnyRef): Boolean

def != (arg0: Any): Boolean

def ## (): Int

def == (arg0: AnyRef): Boolean

def == (arg0: Any): Boolean

val ERROR : Severity

val ERROR_LIMIT : Int(100)

maximal number of error messages to be printed

val INFO : Severity

val WARNING : Severity

def asInstanceOf [T0] : T0

var cancelled : Boolean

def clone (): AnyRef

def comment (pos: Position, msg: String): Unit

def display (pos: Position, msg: String, severity: Severity): Unit

def displayPrompt (): Unit

def eq (arg0: AnyRef): Boolean

def equals (arg0: Any): Boolean

def error (pos: Position, msg: String): Unit

def finalize (): Unit

def flush (): Unit

def getClass (): java.lang.Class[_]

def hasErrors : Boolean

def hasWarnings : Boolean

def hashCode (): Int

def incompleteHandled : Boolean

def incompleteInputError (pos: Position, msg: String): Unit

def info (pos: Position, msg: String, force: Boolean): Unit

def info0 (pos: Position, msg: String, _severity: Severity, force: Boolean): Unit

def isInstanceOf [T0] : Boolean

def ne (arg0: AnyRef): Boolean

def notify (): Unit

def notifyAll (): Unit

def print (pos: Position, msg: String, severity: Severity): Unit

def printColumnMarker (pos: Position): Unit

Prints the column marker of the given position.

def printMessage (posIn: Position, msg: String): Unit

Prints the message with the given position indication.

def printMessage (msg: String): Unit

Prints the message.

def printSourceLine (pos: Position): Unit

def printSummary (): Unit

Prints the number of errors and warnings if their are non-zero.

def reset (): Unit

val settings : Settings

object severity extends Enumeration

var shortname : Boolean

Whether a short file name should be displayed before errors

def synchronized [T0] (arg0: ⇒ T0): T0

def toString (): String

def truncationOK : Boolean

def wait (): Unit

def wait (arg0: Long, arg1: Int): Unit

def wait (arg0: Long): Unit

def warning (pos: Position, msg: String): Unit

def withIncompleteHandler [T] (handler: (Position, String) ⇒ Unit)(thunk: ⇒ T): T

def withoutTruncating [T] (body: ⇒ T): T

def countAsString (n: Int): String

def countElementsAsString (n: Int, elements: String): String