tessla-compiler
API
Generated with
tessla-compiler/de.uni_luebeck.isp.tessla.tessla_compiler/de.uni_luebeck.isp.tessla.tessla_compiler.backends/de.uni_luebeck.isp.tessla.tessla_compiler.backends.scalaBackend/TesslaCompilerReporter

TesslaCompilerReporter

de.uni_luebeck.isp.tessla.tessla_compiler.backends.scalaBackend.TesslaCompilerReporter
class TesslaCompilerReporter(val settings: Settings) extends FilteringReporter

A reporter implementation raising TeSSLa compiler errors if the supervised Scala compiler raises an error and collects TeSSLa warnings if it raises warnings or information

Value parameters

settings

Settings passed to the reporter

Attributes

Graph
Supertypes
class FilteringReporter
class Reporter
class Reporter
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited types

final type Severity = Severity

Attributes

Inherited from:
Reporter

Value members

Concrete methods

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

Attributes

Definition Classes
FilteringReporter

Inherited methods

final def ERROR: Severity

Attributes

Inherited from:
Reporter
final def INFO: Severity

Attributes

Inherited from:
Reporter
final def WARNING: Severity

Attributes

Inherited from:
Reporter
def cancelled: Boolean

Attributes

Inherited from:
Reporter
def cancelled_=(b: Boolean): Unit

Attributes

Inherited from:
Reporter
def comment(pos: Position, msg: String): Unit

Attributes

Inherited from:
Reporter
def doReport(pos: Position, msg: String, severity: Severity, actions: List[CodeAction]): Unit

Attributes

Inherited from:
Reporter
final def echo(pos: Position, msg: String, actions: List[CodeAction]): Unit

Attributes

Inherited from:
Reporter
final def echo(msg: String): Unit

Attributes

Inherited from:
Reporter
final def error(pos: Position, msg: String, actions: List[CodeAction]): Unit

Attributes

Inherited from:
Reporter
def errorCount: Int

Attributes

Inherited from:
Reporter
override def filter(pos: Position, msg: String, severity: Severity): Int

Attributes

Definition Classes
FilteringReporter -> Reporter
Inherited from:
FilteringReporter
def finish(): Unit

Attributes

Inherited from:
Reporter
def flush(): Unit

Attributes

Inherited from:
Reporter
override def hasErrors: Boolean

Attributes

Definition Classes
Reporter -> Reporter
Inherited from:
Reporter
def hasWarnings: Boolean

Attributes

Inherited from:
Reporter
def increment(severity: Severity): Unit

Attributes

Inherited from:
Reporter
protected def info0(pos: Position, msg: String, severity: Severity, force: Boolean): Unit

Attributes

Inherited from:
FilteringReporter
def rerunWithDetails(setting: Setting, name: String): String

Attributes

Inherited from:
Reporter
override def reset(): Unit

Attributes

Definition Classes
FilteringReporter -> Reporter -> Reporter
Inherited from:
FilteringReporter
final def warning(pos: Position, msg: String, actions: List[CodeAction]): Unit

Attributes

Inherited from:
Reporter
def warningCount: Int

Attributes

Inherited from:
Reporter

Deprecated and Inherited methods

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

Attributes

Deprecated
[Since version 2.13.0] Use echo, as internal.Reporter does not support unforced info
Inherited from:
Reporter

Concrete fields

val settings: Settings
val warnings: ArrayBuffer[Diagnostic]
Generated with