Serialized Form
-
Package liquidjava.diagnostics.errors
-
Exception Class liquidjava.diagnostics.errors.CustomError
class CustomError extends LJError implements Serializable -
Exception Class liquidjava.diagnostics.errors.GhostInvocationError
class GhostInvocationError extends LJError implements Serializable-
Serialized Fields
-
expected
Predicate expected
-
-
-
Exception Class liquidjava.diagnostics.errors.IllegalConstructorTransitionError
class IllegalConstructorTransitionError extends LJError implements Serializable -
Exception Class liquidjava.diagnostics.errors.InvalidRefinementError
class InvalidRefinementError extends LJError implements Serializable-
Serialized Fields
-
refinement
String refinement
-
-
-
Exception Class liquidjava.diagnostics.errors.LJError
class LJError extends Exception implements Serializable-
Serialized Fields
-
element
spoon.reflect.declaration.CtElement element
-
location
spoon.reflect.cu.SourcePosition location
-
message
String message
-
position
ErrorPosition position
-
title
String title
-
-
-
Exception Class liquidjava.diagnostics.errors.NotFoundError
class NotFoundError extends LJError implements Serializable -
Exception Class liquidjava.diagnostics.errors.RefinementError
class RefinementError extends LJError implements Serializable-
Serialized Fields
-
expected
Predicate expected
-
found
ValDerivationNode found
-
-
-
Exception Class liquidjava.diagnostics.errors.StateConflictError
class StateConflictError extends LJError implements Serializable -
Exception Class liquidjava.diagnostics.errors.StateRefinementError
class StateRefinementError extends LJError implements Serializable -
Exception Class liquidjava.diagnostics.errors.SyntaxError
class SyntaxError extends LJError implements Serializable-
Serialized Fields
-
refinement
String refinement
-
-
-
-
Package liquidjava.rj_language.parsing
-
Exception Class liquidjava.rj_language.parsing.ParsingException
class ParsingException extends Exception implements Serializable- serialVersionUID:
- 1L
-
-
Package liquidjava.smt
-
Exception Class liquidjava.smt.GhostFunctionError
class GhostFunctionError extends Exception implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
location
spoon.reflect.declaration.CtElement location
-
-
Exception Class liquidjava.smt.NotFoundError
class NotFoundError extends Exception implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
location
spoon.reflect.declaration.CtElement location
-
-
Exception Class liquidjava.smt.TypeCheckError
class TypeCheckError extends Exception implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
location
spoon.reflect.declaration.CtElement location
-
-
Exception Class liquidjava.smt.TypeMismatchError
class TypeMismatchError extends Exception implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
location
spoon.reflect.declaration.CtElement location
-
-