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

Fields in liquidjava.processor.refinement_checker declared as Context

Modifier and Type	Field	Description
protected final Context	TypeChecker.context

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)
void	Expression.validateGhostInvocations(Context ctx, spoon.reflect.factory.Factory f)	Validates all ghost function invocations within this expression against the provided context This method supports overloading by iterating through all ghost functions with the matching name If a valid signature is found, no error is thrown If the invocation name exists but no overload matches the argument types, an ArgumentMismatchError is thrown.

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)