Uses of Class
liquidjava.rj_language.Predicate

Packages that use Predicate

Package	Description
liquidjava.diagnostics
liquidjava.diagnostics.errors
liquidjava.processor
liquidjava.processor.context
liquidjava.processor.refinement_checker
liquidjava.rj_language
liquidjava.smt

Uses of Predicate in liquidjava.diagnostics

Methods in liquidjava.diagnostics with parameters of type Predicate

Modifier and Type	Method	Description
static <T> void	ErrorHandler.printError(spoon.reflect.declaration.CtElement var, String moreInfo, Predicate expectedType, Predicate cSMT, HashMap<String, PlacementInCode> map, ErrorEmitter ee)
static <T> void	ErrorHandler.printError(spoon.reflect.declaration.CtElement var, Predicate expectedType, Predicate cSMT, HashMap<String, PlacementInCode> map, ErrorEmitter ee)	Prints the error message
static <T> void	ErrorHandler.printErrorArgs(spoon.reflect.declaration.CtElement var, Predicate expectedType, String msg, HashMap<String, PlacementInCode> map, ErrorEmitter ee)
static void	ErrorHandler.printErrorTypeMismatch(spoon.reflect.declaration.CtElement element, Predicate expectedType, String message, HashMap<String, PlacementInCode> map, ErrorEmitter ee)
static <T> void	ErrorHandler.printNotFound(spoon.reflect.declaration.CtElement var, Predicate constraint, Predicate constraint2, String msg, HashMap<String, PlacementInCode> map, ErrorEmitter ee)
static void	ErrorHandler.printSameStateSetError(spoon.reflect.declaration.CtElement element, Predicate p, String name, HashMap<String, PlacementInCode> map, ErrorEmitter ee)

Uses of Predicate in liquidjava.diagnostics.errors

Methods in liquidjava.diagnostics.errors that return Predicate

Modifier and Type	Method	Description
Predicate	GhostInvocationError.getExpected()
Predicate	StateConflictError.getPredicate()

Constructors in liquidjava.diagnostics.errors with parameters of type Predicate

Modifier	Constructor	Description
	GhostInvocationError(spoon.reflect.declaration.CtElement element, Predicate expected)
	RefinementError(spoon.reflect.declaration.CtElement element, Predicate expected, ValDerivationNode found)
	StateConflictError(spoon.reflect.declaration.CtElement element, Predicate predicate, String className)

Uses of Predicate in liquidjava.processor

Methods in liquidjava.processor that return Predicate

Modifier and Type	Method	Description
Predicate	VCImplication.toConjunctions()

Constructors in liquidjava.processor with parameters of type Predicate

Modifier	Constructor	Description
	VCImplication(String name, spoon.reflect.reference.CtTypeReference<?> type, Predicate ref)
	VCImplication(Predicate ref)

Uses of Predicate in liquidjava.processor.context

Methods in liquidjava.processor.context that return Predicate

Modifier and Type	Method	Description
Predicate	RefinedFunction.getAllRefinements()
Predicate	AliasWrapper.getClonedPredicate()
Predicate	ObjectState.getFrom()
abstract Predicate	RefinedVariable.getMainRefinement()
Predicate	Variable.getMainRefinement()
Predicate	VariableInstance.getMainRefinement()
Predicate	AliasWrapper.getPremises(List<String> list, List<String> newNames, spoon.reflect.declaration.CtElement elem, ErrorEmitter ee)
Predicate	GhostState.getRefinement()
Predicate	Refined.getRefinement()
Predicate	Variable.getRefinement()
Predicate	RefinedFunction.getRefinementsForParamIndex(int index)	Gives the Predicate for a certain parameter index and regards all the previous parameters' Predicates
Predicate	RefinedFunction.getRefReturn()
Predicate	Refined.getRenamedRefinements(String toReplace)
Predicate	RefinedFunction.getRenamedRefinements(Context c, spoon.reflect.declaration.CtElement element)
Predicate	ObjectState.getTo()
Predicate	Context.getVariableRefinements(String varName)

Methods in liquidjava.processor.context that return types with arguments of type Predicate

Modifier and Type	Method	Description
List<Predicate>	RefinedFunction.getFromStates()
List<Predicate>	RefinedFunction.getToStates()

Methods in liquidjava.processor.context with parameters of type Predicate

Modifier and Type	Method	Description
void	RefinedFunction.addArgRefinements(String varName, spoon.reflect.reference.CtTypeReference<?> type, Predicate refinement)
void	Context.addGlobalVariableToContext(String simpleName, String location, spoon.reflect.reference.CtTypeReference<?> type, Predicate c)
void	Context.addGlobalVariableToContext(String simpleName, spoon.reflect.reference.CtTypeReference<?> type, Predicate c)
RefinedVariable	Context.addInstanceToContext(String simpleName, spoon.reflect.reference.CtTypeReference<?> type, Predicate c, spoon.reflect.declaration.CtElement placementInCode)
void	Context.addRefinementToVariableInContext(String name, spoon.reflect.reference.CtTypeReference<?> type, Predicate et, spoon.reflect.declaration.CtElement placementInCode)
RefinedVariable	Context.addVarToContext(String simpleName, spoon.reflect.reference.CtTypeReference<?> type, Predicate c, spoon.reflect.declaration.CtElement placementInCode)
void	Context.newRefinementToVariableInContext(String variableName, Predicate expectedType)	The variable with name variableName will have a new refinement
void	ObjectState.setFrom(Predicate from)
void	GhostState.setRefinement(Predicate c)
void	Refined.setRefinement(Predicate c)
void	RefinedFunction.setRefReturn(Predicate ref)
void	ObjectState.setTo(Predicate to)
void	Context.variablesCombineFromIf(Predicate cond)

Constructors in liquidjava.processor.context with parameters of type Predicate

Modifier	Constructor	Description
	ObjectState(Predicate from, Predicate to)
	Refined(String name, spoon.reflect.reference.CtTypeReference<?> type, Predicate refinement)
	RefinedVariable(String name, spoon.reflect.reference.CtTypeReference<?> type, Predicate c)
	Variable(String name, String location, spoon.reflect.reference.CtTypeReference<?> type, Predicate ref)
	Variable(String name, spoon.reflect.reference.CtTypeReference<?> type, Predicate ref)
	VariableInstance(String name, spoon.reflect.reference.CtTypeReference<?> type, Predicate c)
	VariableInstance(String name, spoon.reflect.reference.CtTypeReference<?> type, Predicate c, Variable parent)

Uses of Predicate in liquidjava.processor.refinement_checker

Methods in liquidjava.processor.refinement_checker that return Predicate

Modifier and Type	Method	Description
Predicate	TypeChecker.getRefinement(spoon.reflect.declaration.CtElement elem)

Methods in liquidjava.processor.refinement_checker that return types with arguments of type Predicate

Modifier and Type	Method	Description
Optional<Predicate>	TypeChecker.getRefinementFromAnnotation(spoon.reflect.declaration.CtElement element)

Methods in liquidjava.processor.refinement_checker with parameters of type Predicate

Modifier and Type	Method	Description
boolean	VCChecker.canProcessSubtyping(Predicate type, Predicate expectedType, List<GhostState> list, String wild_var, String this_var, spoon.reflect.cu.SourcePosition p, 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 string)
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.declaration.CtElement element, Predicate expectedType, Predicate foundType, String customeMessage)
void	TypeChecker.createSameStateError(spoon.reflect.declaration.CtElement element, Predicate expectedType, String klass)
void	TypeChecker.createStateMismatchError(spoon.reflect.declaration.CtElement element, String method, Predicate c, String states)
void	VCChecker.printSameStateError(spoon.reflect.declaration.CtElement element, Predicate expectedType, String klass)
void	VCChecker.printStateMismatchError(spoon.reflect.declaration.CtElement element, String method, Predicate c, String states)
protected void	VCChecker.printSubtypingError(spoon.reflect.declaration.CtElement element, Predicate expectedType, Predicate foundType, String customeMsg)
void	VCChecker.processSubtyping(Predicate expectedType, List<GhostState> list, String wild_var, String this_var, spoon.reflect.declaration.CtElement element, spoon.reflect.factory.Factory f)
void	VCChecker.processSubtyping(Predicate type, Predicate expectedType, List<GhostState> list, String wild_var, String this_var, spoon.reflect.declaration.CtElement element, String string, spoon.reflect.factory.Factory f)
boolean	VCChecker.smtChecks(Predicate cSMT, Predicate expectedType, spoon.reflect.cu.SourcePosition p)

Uses of Predicate in liquidjava.rj_language

Subclasses of Predicate in liquidjava.rj_language

Modifier and Type	Class	Description
class	BuiltinFunctionPredicate

Methods in liquidjava.rj_language that return Predicate

Modifier and Type	Method	Description
Predicate	Predicate.changeAliasToRefinement(Context context, spoon.reflect.factory.Factory f)
Predicate	Predicate.changeOldMentions(String previousName, String newName, ErrorEmitter ee)	Change old mentions of previous name to the new name e.g., old(previousName) -> newName
Predicate	Predicate.changeStatesToRefinements(List<GhostState> ghostState, String[] toChange, ErrorEmitter ee)
Predicate	Predicate.clone()
static Predicate	Predicate.createConjunction(Predicate c1, Predicate c2)
static Predicate	Predicate.createDisjunction(Predicate c1, Predicate c2)
static Predicate	Predicate.createEquals(Predicate c1, Predicate c2)
static Predicate	Predicate.createInvocation(String name, Predicate... Predicates)
static Predicate	Predicate.createITE(Predicate c1, Predicate c2, Predicate c3)
static Predicate	Predicate.createLit(String value, String type)
static Predicate	Predicate.createOperation(Predicate c1, String op, Predicate c2)
static Predicate	Predicate.createVar(String name)
Predicate	Predicate.negate()
Predicate	Predicate.substituteVariable(String from, String to)

Methods in liquidjava.rj_language with parameters of type Predicate

Modifier and Type	Method	Description
static Predicate	Predicate.createConjunction(Predicate c1, Predicate c2)
static Predicate	Predicate.createDisjunction(Predicate c1, Predicate c2)
static Predicate	Predicate.createEquals(Predicate c1, Predicate c2)
static Predicate	Predicate.createInvocation(String name, Predicate... Predicates)
static Predicate	Predicate.createITE(Predicate c1, Predicate c2, Predicate c3)
static Predicate	Predicate.createOperation(Predicate c1, String op, Predicate c2)

Uses of Predicate in liquidjava.smt

Methods in liquidjava.smt with parameters of type Predicate

Modifier and Type	Method	Description
void	SMTEvaluator.verifySubtype(Predicate subRef, Predicate supRef, Context c)