Uses of Class
liquidjava.processor.context.Context

Packages that use Context

Package	Description
liquidjava.processor.ann_generation
liquidjava.processor.context
liquidjava.processor.refinement_checker
liquidjava.rj_language
liquidjava.rj_language.ast
liquidjava.rj_language.ast.typing
liquidjava.smt

Uses of Context in liquidjava.processor.ann_generation

Methods in liquidjava.processor.ann_generation that return Context

Modifier and Type	Method	Description
Context	FieldGhostsGeneration.getContext()

Constructors in liquidjava.processor.ann_generation with parameters of type Context

Modifier	Constructor	Description
	FieldGhostsGeneration(Context context, spoon.reflect.factory.Factory factory)

Uses of Context in liquidjava.processor.context

Methods in liquidjava.processor.context that return Context

Modifier and Type	Method	Description
static Context	Context.getInstance()

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

Modifier and Type	Method	Description
Predicate	RefinedFunction.getRenamedRefinements(Context c, spoon.reflect.declaration.CtElement element)

Uses of Context in liquidjava.processor.refinement_checker

Methods in liquidjava.processor.refinement_checker that return Context

Modifier and Type	Method	Description
Context	TypeChecker.getContext()

Constructors in liquidjava.processor.refinement_checker with parameters of type Context

Modifier	Constructor	Description
	ExternalRefinementTypeChecker(Context context, spoon.reflect.factory.Factory factory)
	MethodsFirstChecker(Context context, spoon.reflect.factory.Factory factory)
	RefinementTypeChecker(Context context, spoon.reflect.factory.Factory factory)
	TypeChecker(Context context, spoon.reflect.factory.Factory factory)

Uses of Context in liquidjava.rj_language

Methods in liquidjava.rj_language with parameters of type Context

Modifier and Type	Method	Description
Predicate	Predicate.changeAliasToRefinement(Context context, spoon.reflect.factory.Factory f)

Uses of Context in liquidjava.rj_language.ast

Methods in liquidjava.rj_language.ast with parameters of type Context

Modifier and Type	Method	Description
Expression	Expression.changeAlias(Map<String,AliasDTO> alias, Context ctx, spoon.reflect.factory.Factory f)

Uses of Context in liquidjava.rj_language.ast.typing

Methods in liquidjava.rj_language.ast.typing with parameters of type Context

Modifier and Type	Method	Description
static boolean	TypeInfer.checkCompatibleType(String type, Expression e, Context ctx, spoon.reflect.factory.Factory factory)
static Optional<spoon.reflect.reference.CtTypeReference<?>>	TypeInfer.getType(Context ctx, spoon.reflect.factory.Factory factory, Expression e)

Uses of Context in liquidjava.smt

Methods in liquidjava.smt with parameters of type Context

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

Constructors in liquidjava.smt with parameters of type Context

Modifier	Constructor	Description
	TranslatorToZ3(Context c)