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.error(String code, String source, int line, int column, String message)	A non-fatal ERROR carrying both a code and a source location.
static Diagnostic	Diagnostic.error(String code, String source, String message)	A non-fatal ERROR carrying a code but no source location.
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.
List<Diagnostic>	DiagnosticSnapshot.diagnostics()	Returns the value of the diagnostics record component.

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.

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

Modifier	Constructor	Description
	DiagnosticSnapshot(String source, List<Diagnostic> diagnostics, Map<String,Long> stats, List<DiagnosticSnapshot.ModelInfo> models, List<DiagnosticSnapshot.ActionInfo> actions)	Copies every collection on the way in.