Class GhostState

java.lang.Object

liquidjava.processor.context.GhostFunction

liquidjava.processor.context.GhostState

public class GhostState
extends GhostFunction

Constructor Summary

Constructors

Constructor	Description
GhostState(String name, List<spoon.reflect.reference.CtTypeReference<?>> list, spoon.reflect.reference.CtTypeReference<?> returnType, String prefix)

Method Summary

Modifier and Type	Method	Description
GhostFunction	getParent()
Predicate	getRefinement()
void	setGhostParent(GhostFunction parent)
void	setRefinement(Predicate c)

Methods inherited from class liquidjava.processor.context.GhostFunction

getName, getParametersTypes, getParentClassName, getPrefix, getQualifiedName, getReturnType, matches, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

GhostState

public GhostState(String name,
 List<spoon.reflect.reference.CtTypeReference<?>> list,
 spoon.reflect.reference.CtTypeReference<?> returnType,
 String prefix)

Method Details

setGhostParent

public void setGhostParent(GhostFunction parent)

setRefinement

public void setRefinement(Predicate c)

getParent

public GhostFunction getParent()

getRefinement

public Predicate getRefinement()