Uses of Record Class
ca.mcscert.jpipe.compiler.model.Diagnostic

Packages that use Diagnostic

Package	Description
ca.mcscert.jpipe.compiler.model

Uses of Diagnostic in ca.mcscert.jpipe.compiler.model

Methods in ca.mcscert.jpipe.compiler.model that return Diagnostic

Modifier and Type	Method	Description
static Diagnostic	Diagnostic.error(String source, int line, int column, String message)
static Diagnostic	Diagnostic.error(String source, String message)
static Diagnostic	Diagnostic.fatal(String source, int line, int column, String message)
static Diagnostic	Diagnostic.fatal(String source, String message)

Methods in ca.mcscert.jpipe.compiler.model that return types with arguments of type Diagnostic

Modifier and Type	Method	Description
List<Diagnostic>	CompilationContext.diagnostics()	Unmodifiable view of all diagnostics in report order.

Methods in ca.mcscert.jpipe.compiler.model with parameters of type Diagnostic

Modifier and Type	Method	Description
void	CompilationContext.report(Diagnostic diagnostic)	Append a pre-built diagnostic.