Package liquidjava.diagnostics.errors
package liquidjava.diagnostics.errors
-
Exception ClassesClassDescriptionCustom error with an arbitrary messageError indicating that a constructor contains a state refinement with a 'from' state, which is not allowedError indicating that a refinement is invalid (e.g., not a boolean expression)Base class for all LiquidJava errorsError indicating that an element referenced in a refinement was not foundError indicating that a refinement constraint either was violated or cannot be provenError indicating that two disjoint states were found in a state refinementError indicating that a state refinement transition was violatedError indicating that the syntax of a refinement is invalid