Uses of Class
liquidjava.diagnostics.errors.LJError

Packages that use LJError

Package	Description
liquidjava.diagnostics
liquidjava.diagnostics.errors
liquidjava.processor.facade
liquidjava.processor.refinement_checker
liquidjava.processor.refinement_checker.general_checkers
liquidjava.processor.refinement_checker.object_checkers
liquidjava.rj_language
liquidjava.rj_language.parsing
liquidjava.rj_language.visitors

Uses of LJError in liquidjava.diagnostics

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

Modifier and Type	Method	Description
LinkedHashSet<LJError>	Diagnostics.getErrors()

Methods in liquidjava.diagnostics with parameters of type LJError

Modifier and Type	Method	Description
void	Diagnostics.add(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	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

Uses of LJError in liquidjava.processor.facade

Methods in liquidjava.processor.facade that throw LJError

Modifier and Type	Method	Description
void	AliasDTO.parse(String prefix)

Uses of LJError in liquidjava.processor.refinement_checker

Methods in liquidjava.processor.refinement_checker that throw LJError

Modifier and Type	Method	Description
boolean	VCChecker.canProcessSubtyping(Predicate type, Predicate expectedType, List<GhostState> list, spoon.reflect.cu.SourcePosition position, spoon.reflect.factory.Factory f)
void	TypeChecker.checkSMT(Predicate expectedType, spoon.reflect.declaration.CtElement element)
boolean	TypeChecker.checksStateSMT(Predicate prevState, Predicate expectedState, spoon.reflect.cu.SourcePosition p)
void	TypeChecker.checkStateSMT(Predicate prevState, Predicate expectedState, spoon.reflect.declaration.CtElement target, String moreInfo)
void	TypeChecker.checkVariableRefinements(Predicate refinementFound, String simpleName, spoon.reflect.reference.CtTypeReference<?> type, spoon.reflect.declaration.CtElement usage, spoon.reflect.declaration.CtElement variable)
void	TypeChecker.createError(spoon.reflect.cu.SourcePosition position, Predicate expectedType, Predicate foundType)
void	TypeChecker.createSameStateError(spoon.reflect.cu.SourcePosition position, Predicate expectedType, String klass)
void	TypeChecker.createStateMismatchError(spoon.reflect.cu.SourcePosition position, String method, Predicate found, Predicate expected)
protected void	ExternalRefinementTypeChecker.getGhostFunction(String value, spoon.reflect.declaration.CtElement element)
protected void	TypeChecker.getGhostFunction(String value, spoon.reflect.declaration.CtElement element)
Optional<Predicate>	TypeChecker.getRefinementFromAnnotation(spoon.reflect.declaration.CtElement element)
protected void	TypeChecker.handleAlias(String value, spoon.reflect.declaration.CtElement element)
void	TypeChecker.handleStateSetsFromAnnotation(spoon.reflect.declaration.CtElement element)
void	VCChecker.processSubtyping(Predicate expectedType, List<GhostState> list, spoon.reflect.declaration.CtElement element, spoon.reflect.factory.Factory f)
void	VCChecker.processSubtyping(Predicate type, Predicate expectedType, List<GhostState> list, spoon.reflect.declaration.CtElement element, spoon.reflect.factory.Factory f)
protected void	VCChecker.raiseError(Exception e, spoon.reflect.cu.SourcePosition position, Predicate found, Predicate expected, TranslationTable map)
protected void	VCChecker.raiseSameStateError(spoon.reflect.cu.SourcePosition position, Predicate expected, String klass)
protected void	VCChecker.raiseStateMismatchError(spoon.reflect.cu.SourcePosition position, String method, Predicate found, Predicate expected)
protected void	VCChecker.raiseSubtypingError(spoon.reflect.cu.SourcePosition position, Predicate expected, Predicate found)
boolean	VCChecker.smtChecks(Predicate expected, Predicate found, spoon.reflect.cu.SourcePosition position, TranslationTable map)
<T, A extends T> void	RefinementTypeChecker.visitCtAssignment(spoon.reflect.code.CtAssignment<T,A> assignment)

Uses of LJError in liquidjava.processor.refinement_checker.general_checkers

Methods in liquidjava.processor.refinement_checker.general_checkers that throw LJError

Modifier and Type	Method	Description
<T> void	OperationsChecker.getBinaryOpRefinements(spoon.reflect.code.CtBinaryOperator<T> operator)	Finds and adds refinement metadata to the binary operation
void	MethodsFunctionsChecker.getConstructorInvocationRefinements(spoon.reflect.code.CtConstructorCall<?> ctConstructorCall)
void	MethodsFunctionsChecker.getConstructorRefinements(spoon.reflect.declaration.CtConstructor<?> c)
<R> void	MethodsFunctionsChecker.getInvocationRefinements(spoon.reflect.code.CtInvocation<R> invocation)
<R> void	MethodsFunctionsChecker.getMethodRefinements(spoon.reflect.declaration.CtMethod<R> method)
<R> void	MethodsFunctionsChecker.getMethodRefinements(spoon.reflect.declaration.CtMethod<R> method, String prefix)
<R> void	MethodsFunctionsChecker.getReturnRefinements(spoon.reflect.code.CtReturn<R> ret)
<T> void	OperationsChecker.getUnaryOpRefinements(spoon.reflect.code.CtUnaryOperator<T> operator)	Finds and adds refinement metadata to the unary operation

Uses of LJError in liquidjava.processor.refinement_checker.object_checkers

Methods in liquidjava.processor.refinement_checker.object_checkers that throw LJError

Modifier and Type	Method	Description
static <R> void	AuxHierarchyRefinementsPassage.checkFunctionInSupertypes(spoon.reflect.declaration.CtClass<?> klass, spoon.reflect.declaration.CtMethod<R> method, RefinedFunction f, TypeChecker tc)
static void	AuxStateHandler.checkTargetChanges(TypeChecker tc, RefinedFunction f, spoon.reflect.code.CtExpression<?> target2, Map<String,String> map, spoon.reflect.declaration.CtElement invocation)	Checks the changes in the state of the target
static void	AuxStateHandler.handleConstructorState(spoon.reflect.declaration.CtConstructor<?> c, RefinedFunction f, TypeChecker tc)	Handles the passage of the written state annotations to the context for Constructors
static void	AuxStateHandler.handleMethodState(spoon.reflect.declaration.CtMethod<?> method, RefinedFunction f, TypeChecker tc, String prefix)	Handles the passage of the written state annotations to the context for regular Methods
static void	AuxStateHandler.updateGhostField(spoon.reflect.code.CtFieldWrite<?> fw, TypeChecker tc)	Updates the ghost field after a write

Uses of LJError in liquidjava.rj_language

Methods in liquidjava.rj_language that throw LJError

Modifier and Type	Method	Description
static BuiltinFunctionPredicate	BuiltinFunctionPredicate.addToIndex(String index, String value, spoon.reflect.declaration.CtElement elem)
Predicate	Predicate.changeStatesToRefinements(List<GhostState> ghostState, String[] toChange)
protected Expression	Predicate.innerParse(String ref, String prefix)
static BuiltinFunctionPredicate	BuiltinFunctionPredicate.length(String param, spoon.reflect.declaration.CtElement elem)
protected Expression	Predicate.parse(String ref, spoon.reflect.declaration.CtElement element)

Constructors in liquidjava.rj_language that throw LJError

Modifier	Constructor	Description
	BuiltinFunctionPredicate(spoon.reflect.declaration.CtElement elem, String functionName, String... params)
	Predicate(String ref, spoon.reflect.declaration.CtElement element)	Create a new predicate with a refinement
	Predicate(String ref, spoon.reflect.declaration.CtElement element, String prefix)	Create a new predicate with a refinement and a given prefix for the class

Uses of LJError in liquidjava.rj_language.parsing

Methods in liquidjava.rj_language.parsing that throw LJError

Modifier and Type	Method	Description
static Expression	RefinementsParser.createAST(String toParse, String prefix)
static AliasDTO	RefinementsParser.getAliasDeclaration(String s)
static GhostDTO	RefinementsParser.getGhostDeclaration(String s)	The triple information of the ghost declaration in the order invalid input: '<'type, name, listinvalid input: '<'type,name>>

Uses of LJError in liquidjava.rj_language.visitors

Methods in liquidjava.rj_language.visitors that throw LJError

Modifier and Type	Method	Description
Expression	CreateASTVisitor.create(org.antlr.v4.runtime.tree.ParseTree rc)