Uses of Class
liquidjava.processor.context.RefinedVariable

Packages that use RefinedVariable

Package	Description
liquidjava.processor.context
liquidjava.processor.refinement_checker
liquidjava.smt

Uses of RefinedVariable in liquidjava.processor.context

Subclasses of RefinedVariable in liquidjava.processor.context

Modifier and Type	Class	Description
class	Variable
class	VariableInstance

Methods in liquidjava.processor.context that return RefinedVariable

Modifier and Type	Method	Description
RefinedVariable	Context.addInstanceToContext(String simpleName, spoon.reflect.reference.CtTypeReference<?> type, Predicate c, spoon.reflect.declaration.CtElement placementInCode)
RefinedVariable	Context.addVarToContext(String simpleName, spoon.reflect.reference.CtTypeReference<?> type, Predicate c, spoon.reflect.declaration.CtElement placementInCode)
RefinedVariable	Context.getVariableByName(String name)

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

Modifier and Type	Method	Description
List<RefinedVariable>	Context.getAllVariables()	Lists all variables inside the stack
List<RefinedVariable>	Context.getAllVariablesWithSupertypes()

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

Modifier and Type	Method	Description
void	Context.addSpecificVariable(RefinedVariable vi)
void	Context.addVarToContext(RefinedVariable var)

Uses of RefinedVariable in liquidjava.processor.refinement_checker

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

Modifier and Type	Method	Description
void	VCChecker.addPathVariable(RefinedVariable rv)
void	VCChecker.removePathVariable(RefinedVariable rv)

Uses of RefinedVariable in liquidjava.smt

Method parameters in liquidjava.smt with type arguments of type RefinedVariable

Modifier and Type	Method	Description
static void	TranslatorContextToZ3.storeVariablesSubtypes(com.microsoft.z3.Context z3, List<RefinedVariable> variables, Map<String, List<com.microsoft.z3.Expr<?>>> varSuperTypes)