Uses of Class
liquidjava.diagnostics.LJDiagnostic

Packages that use LJDiagnostic

Package	Description
liquidjava.diagnostics.errors
liquidjava.diagnostics.warnings

Uses of LJDiagnostic in liquidjava.diagnostics.errors

Subclasses of LJDiagnostic in liquidjava.diagnostics.errors

Modifier and Type	Class	Description
class	CustomError	Custom error with an arbitrary message
class	IllegalConstructorTransitionError	Error indicating that a constructor contains a state refinement with a 'from' state, which is not allowed
class	InvalidRefinementError	Error indicating that a refinement is invalid (e.g., not a boolean expression)
class	LJError	Base class for all LiquidJava errors
class	NotFoundError	Error indicating that an element referenced in a refinement was not found
class	RefinementError	Error indicating that a refinement constraint either was violated or cannot be proven
class	StateConflictError	Error indicating that two disjoint states were found in a state refinement
class	StateRefinementError	Error indicating that a state refinement transition was violated
class	SyntaxError	Error indicating that the syntax of a refinement is invalid

Uses of LJDiagnostic in liquidjava.diagnostics.warnings

Subclasses of LJDiagnostic in liquidjava.diagnostics.warnings

Modifier and Type	Class	Description
class	CustomWarning	Custom warning with a message
class	ExternalClassNotFoundWarning	Warning indicating that a class referenced in an external refinement was not found
class	ExternalMethodNotFoundWarning	Warning indicating that a method referenced in an external refinement was not found
class	LJWarning	Base class for all LiquidJava warnings