Uses of Class
liquidjava.rj_language.parsing.ParsingException

Packages that use ParsingException

Package	Description
liquidjava.processor.context
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

Uses of ParsingException in liquidjava.processor.context

Methods in liquidjava.processor.context that throw ParsingException

Modifier and Type	Method	Description
Predicate	AliasWrapper.getPremises(List<String> list, List<String> newNames, spoon.reflect.declaration.CtElement elem, ErrorEmitter ee)

Uses of ParsingException in liquidjava.processor.facade

Methods in liquidjava.processor.facade that throw ParsingException

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

Uses of ParsingException in liquidjava.processor.refinement_checker

Methods in liquidjava.processor.refinement_checker that throw ParsingException

Modifier and Type	Method	Description
void	TypeChecker.checkVariableRefinements(Predicate refinementFound, String simpleName, spoon.reflect.reference.CtTypeReference<?> type, spoon.reflect.declaration.CtElement usage, spoon.reflect.declaration.CtElement variable)
Optional<Predicate>	TypeChecker.getRefinementFromAnnotation(spoon.reflect.declaration.CtElement element)

Uses of ParsingException in liquidjava.processor.refinement_checker.general_checkers

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

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.getConstructorRefinements(spoon.reflect.declaration.CtConstructor<?> c)
<R> void	MethodsFunctionsChecker.getMethodRefinements(spoon.reflect.declaration.CtMethod<R> method)
<R> void	MethodsFunctionsChecker.getMethodRefinements(spoon.reflect.declaration.CtMethod<R> method, String prefix)
<T> void	OperationsChecker.getUnaryOpRefinements(spoon.reflect.code.CtUnaryOperator<T> operator)	Finds and adds refinement metadata to the unary operation

Uses of ParsingException in liquidjava.processor.refinement_checker.object_checkers

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

Modifier and Type	Method	Description
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

Uses of ParsingException in liquidjava.rj_language

Methods in liquidjava.rj_language that throw ParsingException

Modifier and Type	Method	Description
static BuiltinFunctionPredicate	BuiltinFunctionPredicate.builtin_addToIndex(String array, String index, String value, spoon.reflect.declaration.CtElement elem, ErrorEmitter ee)
static BuiltinFunctionPredicate	BuiltinFunctionPredicate.builtin_length(String param, spoon.reflect.declaration.CtElement elem, ErrorEmitter ee)
protected Expression	Predicate.parse(String ref, spoon.reflect.declaration.CtElement element, ErrorEmitter e)

Constructors in liquidjava.rj_language that throw ParsingException

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

Uses of ParsingException in liquidjava.rj_language.parsing

Methods in liquidjava.rj_language.parsing that throw ParsingException

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>>