Uses of Class
liquidjava.diagnostics.errors.LJError

Packages that use LJError

Package	Description
liquidjava.diagnostics
liquidjava.diagnostics.errors

Uses of LJError in liquidjava.diagnostics

Methods in liquidjava.diagnostics that return LJError

Modifier and Type	Method	Description
LJError	LJDiagnostics.getError()

Methods in liquidjava.diagnostics that return types with arguments of type LJError

Modifier and Type	Method	Description
ArrayList<LJError>	LJDiagnostics.getErrors()

Methods in liquidjava.diagnostics with parameters of type LJError

Modifier and Type	Method	Description
void	LJDiagnostics.addError(LJError error)

Uses of LJError in liquidjava.diagnostics.errors

Subclasses of LJError in liquidjava.diagnostics.errors

Modifier and Type	Class	Description
class	CustomError	Custom error with an arbitrary message
class	GhostInvocationError	Error indicating that a ghost method invocation is invalid (e.g., has wrong arguments)
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	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