Uses of Class
liquidjava.processor.context.RefinedFunction

Packages that use RefinedFunction

Package	Description
liquidjava.processor.context
liquidjava.processor.refinement_checker.general_checkers
liquidjava.processor.refinement_checker.object_checkers

Uses of RefinedFunction in liquidjava.processor.context

Methods in liquidjava.processor.context that return RefinedFunction

Modifier and Type	Method	Description
RefinedFunction	Context.getFunction(String name, String target, int size)

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

Modifier and Type	Method	Description
List<RefinedFunction>	Context.getAllMethodsWithNameSize(String name, int size)

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

Modifier and Type	Method	Description
void	Context.addFunctionToContext(RefinedFunction f)

Uses of RefinedFunction in liquidjava.processor.refinement_checker.general_checkers

Methods in liquidjava.processor.refinement_checker.general_checkers that return RefinedFunction

Modifier and Type	Method	Description
RefinedFunction	MethodsFunctionsChecker.getRefinementFunction(String methodName, String className, int size)

Uses of RefinedFunction in liquidjava.processor.refinement_checker.object_checkers

Methods in liquidjava.processor.refinement_checker.object_checkers with parameters of type RefinedFunction

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.constructorStateMetadata(String refKey, RefinedFunction f, Map<String,String> map, spoon.reflect.code.CtConstructorCall<?> ctConstructorCall)	Sets the new state acquired from the constructor call
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.setDefaultState(RefinedFunction f, TypeChecker tc)	Sets a default state where all ghost states are initialized to their default values