Uses of Class
liquidjava.processor.refinement_checker.TypeChecker

Packages that use TypeChecker

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

Uses of TypeChecker in liquidjava.processor.refinement_checker

Subclasses of TypeChecker in liquidjava.processor.refinement_checker

Modifier and Type	Class	Description
class	ExternalRefinementTypeChecker
class	MethodsFirstChecker	First visit to Spoon AST to get the method's refinements
class	RefinementTypeChecker

Uses of TypeChecker in liquidjava.processor.refinement_checker.general_checkers

Constructors in liquidjava.processor.refinement_checker.general_checkers with parameters of type TypeChecker

Modifier	Constructor	Description
	MethodsFunctionsChecker(TypeChecker rtc)
	OperationsChecker(TypeChecker rtc)

Uses of TypeChecker in liquidjava.processor.refinement_checker.object_checkers

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

Modifier and Type	Method	Description
static void	AuxStateHandler.addStateRefinements(TypeChecker tc, String varName, spoon.reflect.code.CtExpression<?> e)	If an expression has a state in metadata, then its state is passed to the last instance of the variable with varName
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.setDefaultState(RefinedFunction f, TypeChecker tc)	Sets a default state where all ghost states are initialized to their default values
static void	AuxStateHandler.updateGhostField(spoon.reflect.code.CtFieldWrite<?> fw, TypeChecker tc)	Updates the ghost field after a write