Class GhostParentState

java.lang.Object

liquidjava.processor.context.GhostFunction

liquidjava.processor.context.GhostParentState

public class GhostParentState
extends GhostFunction

Constructor Summary

Constructors

Constructor	Description
GhostParentState(String name, List<String> params, spoon.reflect.reference.CtTypeReference<?> ret, spoon.reflect.factory.Factory factory, String prefix)

Method Summary

Modifier and Type	Method	Description
void	addState(GhostState s)
GhostState	getFirstState()
ArrayList<GhostState>	getStates()

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

GhostParentState

public GhostParentState(String name,
 List<String> params,
 spoon.reflect.reference.CtTypeReference<?> ret,
 spoon.reflect.factory.Factory factory,
 String prefix)

Method Details

addState

public void addState(GhostState s)

getFirstState

public GhostState getFirstState()

getStates

public ArrayList<GhostState> getStates()