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 types with arguments of type GhostState

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

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

Modifier and Type	Method	Description
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, spoon.reflect.cu.SourcePosition position, spoon.reflect.factory.Factory f)
void	VCChecker.processSubtyping(Predicate expectedType, List<GhostState> list, spoon.reflect.declaration.CtElement element, spoon.reflect.factory.Factory f)
void	VCChecker.processSubtyping(Predicate type, Predicate expectedType, List<GhostState> list, spoon.reflect.declaration.CtElement element, 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)
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)