common/tools.samt.common/DiagnosticController

DiagnosticController

class DiagnosticController(val workingDirectory: URI)

Constructors

DiagnosticController

constructor(workingDirectory: URI)

Properties

val contexts: MutableList<DiagnosticContext>

All diagnostic contexts, one for each source file.

val globalMessages: MutableList<DiagnosticGlobalMessage>

All global diagnostic messages.

workingDirectory

val workingDirectory: URI

Functions

getOrCreateContext

fun getOrCreateContext(source: SourceFile): DiagnosticContext

Creates a new diagnostic context for the given source file or returns already existing one.

fun hasErrors(): Boolean

fun hasInfos(): Boolean

fun hasMessages(): Boolean

fun hasWarnings(): Boolean

reportGlobalError

fun reportGlobalError(message: String)

reportGlobalInfo

fun reportGlobalInfo(message: String)

reportGlobalWarning

fun reportGlobalWarning(message: String)