Uses of Class
liquidjava.processor.context.RefinedVariable
Packages that use RefinedVariable
Package
Description
-
Uses of RefinedVariable in liquidjava.processor.context
Subclasses of RefinedVariable in liquidjava.processor.contextMethods in liquidjava.processor.context that return RefinedVariableModifier and TypeMethodDescriptionContext.addInstanceToContext(String simpleName, spoon.reflect.reference.CtTypeReference<?> type, Predicate c, spoon.reflect.declaration.CtElement placementInCode) Context.addVarToContext(String simpleName, spoon.reflect.reference.CtTypeReference<?> type, Predicate c, spoon.reflect.declaration.CtElement placementInCode) Context.getVariableByName(String name) Methods in liquidjava.processor.context that return types with arguments of type RefinedVariableModifier and TypeMethodDescriptionContext.getAllVariables()Lists all variables inside the stackContext.getAllVariablesWithSupertypes()Methods in liquidjava.processor.context with parameters of type RefinedVariableModifier and TypeMethodDescriptionvoidContext.addSpecificVariable(RefinedVariable vi) voidContext.addVarToContext(RefinedVariable var) -
Uses of RefinedVariable in liquidjava.processor.refinement_checker
Methods in liquidjava.processor.refinement_checker with parameters of type RefinedVariableModifier and TypeMethodDescriptionvoidVCChecker.addPathVariable(RefinedVariable rv) voidVCChecker.removePathVariable(RefinedVariable rv) -
Uses of RefinedVariable in liquidjava.smt
Method parameters in liquidjava.smt with type arguments of type RefinedVariableModifier and TypeMethodDescriptionstatic voidTranslatorContextToZ3.storeVariablesSubtypes(com.microsoft.z3.Context z3, List<RefinedVariable> variables, Map<String, List<com.microsoft.z3.Expr<?>>> varSuperTypes)