Uses of Class
liquidjava.processor.context.GhostState

Packages that use GhostState

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

Uses of GhostState in liquidjava.processor.context

Methods in liquidjava.processor.context that return GhostState

Modifier and Type	Method	Description
GhostState	GhostParentState.getFirstState()

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

Modifier and Type	Method	Description
List<GhostState>	Context.getGhostState()
List<GhostState>	Context.getGhostState(String s)
ArrayList<GhostState>	GhostParentState.getStates()

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

Modifier and Type	Method	Description
void	GhostParentState.addState(GhostState s)
void	Context.addToGhostClass(String klass, GhostState gs)

Uses of GhostState in liquidjava.processor.refinement_checker

Method parameters in liquidjava.processor.refinement_checker with type arguments of type GhostState

Modifier and Type	Method	Description
boolean	VCChecker.canProcessSubtyping(Predicate type, Predicate expectedType, List<GhostState> list, String wild_var, String this_var, spoon.reflect.cu.SourcePosition p, spoon.reflect.factory.Factory f)
void	VCChecker.processSubtyping(Predicate expectedType, List<GhostState> list, String wild_var, String this_var, spoon.reflect.declaration.CtElement element, spoon.reflect.factory.Factory f)
void	VCChecker.processSubtyping(Predicate type, Predicate expectedType, List<GhostState> list, String wild_var, String this_var, spoon.reflect.declaration.CtElement element, String string, spoon.reflect.factory.Factory f)

Uses of GhostState in liquidjava.rj_language

Methods in liquidjava.rj_language that return types with arguments of type GhostState

Modifier and Type	Method	Description
List<GhostState>	Predicate.getStateInvocations(List<GhostState> lgs)

Method parameters in liquidjava.rj_language with type arguments of type GhostState

Modifier and Type	Method	Description
Predicate	Predicate.changeStatesToRefinements(List<GhostState> ghostState, String[] toChange, ErrorEmitter ee)
List<GhostState>	Predicate.getStateInvocations(List<GhostState> lgs)

Uses of GhostState in liquidjava.smt

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

Modifier and Type	Method	Description
static void	TranslatorContextToZ3.addGhostStates(com.microsoft.z3.Context z3, List<GhostState> ghostState, Map<String, com.microsoft.z3.FuncDecl<?>> funcTranslation)