Uses of Class
liquidjava.diagnostics.errors.LJError
Packages that use LJError
Package
Description
-
Uses of LJError in liquidjava.diagnostics
Methods in liquidjava.diagnostics that return types with arguments of type LJErrorMethods in liquidjava.diagnostics with parameters of type LJError -
Uses of LJError in liquidjava.diagnostics.errors
Subclasses of LJError in liquidjava.diagnostics.errorsModifier and TypeClassDescriptionclassCustom error with an arbitrary messageclassError indicating that a constructor contains a state refinement with a 'from' state, which is not allowedclassError indicating that a refinement is invalid (e.g., not a boolean expression)classError indicating that an element referenced in a refinement was not foundclassError indicating that a refinement constraint either was violated or cannot be provenclassError indicating that two disjoint states were found in a state refinementclassError indicating that a state refinement transition was violatedclassError indicating that the syntax of a refinement is invalid -
Uses of LJError in liquidjava.processor.facade
Methods in liquidjava.processor.facade that throw LJError -
Uses of LJError in liquidjava.processor.refinement_checker
Methods in liquidjava.processor.refinement_checker that throw LJErrorModifier and TypeMethodDescriptionbooleanVCChecker.canProcessSubtyping(Predicate type, Predicate expectedType, List<GhostState> list, spoon.reflect.cu.SourcePosition position, spoon.reflect.factory.Factory f) voidbooleanTypeChecker.checksStateSMT(Predicate prevState, Predicate expectedState, spoon.reflect.cu.SourcePosition p) voidTypeChecker.checkStateSMT(Predicate prevState, Predicate expectedState, spoon.reflect.declaration.CtElement target, String moreInfo) voidTypeChecker.checkVariableRefinements(Predicate refinementFound, String simpleName, spoon.reflect.reference.CtTypeReference<?> type, spoon.reflect.declaration.CtElement usage, spoon.reflect.declaration.CtElement variable) voidTypeChecker.createError(spoon.reflect.cu.SourcePosition position, Predicate expectedType, Predicate foundType) voidTypeChecker.createSameStateError(spoon.reflect.cu.SourcePosition position, Predicate expectedType, String klass) voidTypeChecker.createStateMismatchError(spoon.reflect.cu.SourcePosition position, String method, Predicate found, Predicate expected) protected voidExternalRefinementTypeChecker.getGhostFunction(String value, spoon.reflect.declaration.CtElement element) protected voidTypeChecker.getGhostFunction(String value, spoon.reflect.declaration.CtElement element) TypeChecker.getRefinementFromAnnotation(spoon.reflect.declaration.CtElement element) protected voidTypeChecker.handleAlias(String value, spoon.reflect.declaration.CtElement element) voidTypeChecker.handleStateSetsFromAnnotation(spoon.reflect.declaration.CtElement element) voidVCChecker.processSubtyping(Predicate expectedType, List<GhostState> list, spoon.reflect.declaration.CtElement element, spoon.reflect.factory.Factory f) voidVCChecker.processSubtyping(Predicate type, Predicate expectedType, List<GhostState> list, spoon.reflect.declaration.CtElement element, spoon.reflect.factory.Factory f) protected voidVCChecker.raiseError(Exception e, spoon.reflect.cu.SourcePosition position, Predicate found, Predicate expected, TranslationTable map) protected voidVCChecker.raiseSameStateError(spoon.reflect.cu.SourcePosition position, Predicate expected, String klass) protected voidVCChecker.raiseStateMismatchError(spoon.reflect.cu.SourcePosition position, String method, Predicate found, Predicate expected) protected voidVCChecker.raiseSubtypingError(spoon.reflect.cu.SourcePosition position, Predicate expected, Predicate found) booleanVCChecker.smtChecks(Predicate expected, Predicate found, spoon.reflect.cu.SourcePosition position, TranslationTable map) <T, A extends T>
voidRefinementTypeChecker.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 LJErrorModifier and TypeMethodDescription<T> voidOperationsChecker.getBinaryOpRefinements(spoon.reflect.code.CtBinaryOperator<T> operator) Finds and adds refinement metadata to the binary operationvoidMethodsFunctionsChecker.getConstructorInvocationRefinements(spoon.reflect.code.CtConstructorCall<?> ctConstructorCall) voidMethodsFunctionsChecker.getConstructorRefinements(spoon.reflect.declaration.CtConstructor<?> c) <R> voidMethodsFunctionsChecker.getInvocationRefinements(spoon.reflect.code.CtInvocation<R> invocation) <R> voidMethodsFunctionsChecker.getMethodRefinements(spoon.reflect.declaration.CtMethod<R> method) <R> voidMethodsFunctionsChecker.getMethodRefinements(spoon.reflect.declaration.CtMethod<R> method, String prefix) <R> voidMethodsFunctionsChecker.getReturnRefinements(spoon.reflect.code.CtReturn<R> ret) <T> voidOperationsChecker.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 LJErrorModifier and TypeMethodDescriptionstatic <R> voidAuxHierarchyRefinementsPassage.checkFunctionInSupertypes(spoon.reflect.declaration.CtClass<?> klass, spoon.reflect.declaration.CtMethod<R> method, RefinedFunction f, TypeChecker tc) static voidAuxStateHandler.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 targetstatic voidAuxStateHandler.handleConstructorState(spoon.reflect.declaration.CtConstructor<?> c, RefinedFunction f, TypeChecker tc) Handles the passage of the written state annotations to the context for Constructorsstatic voidAuxStateHandler.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 Methodsstatic voidAuxStateHandler.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 LJErrorModifier and TypeMethodDescriptionstatic BuiltinFunctionPredicateBuiltinFunctionPredicate.addToIndex(String index, String value, spoon.reflect.declaration.CtElement elem) Predicate.changeStatesToRefinements(List<GhostState> ghostState, String[] toChange) protected ExpressionPredicate.innerParse(String ref, String prefix) static BuiltinFunctionPredicateprotected ExpressionConstructors in liquidjava.rj_language that throw LJErrorModifierConstructorDescriptionBuiltinFunctionPredicate(spoon.reflect.declaration.CtElement elem, String functionName, String... params) Create a new predicate with a refinementCreate 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 LJErrorModifier and TypeMethodDescriptionstatic Expressionstatic AliasDTORefinementsParser.getAliasDeclaration(String s) static GhostDTORefinementsParser.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 LJErrorModifier and TypeMethodDescriptionCreateASTVisitor.create(org.antlr.v4.runtime.tree.ParseTree rc)