public class ExposedState
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static boolean[] |
NO_ERRONEOUS_VARS |
Var[] |
vars |
Constructor and Description |
---|
ExposedState(int size) |
ExposedState(Member signature) |
Modifier and Type | Method and Description |
---|---|
Var |
get(int i) |
Expr |
getAspectInstance() |
ResolvedType |
getConcreteAspect() |
boolean |
isErroneousVar(int formalIndex) |
boolean |
isFullySetUp() |
void |
set(int i,
Var var) |
void |
setAspectInstance(Expr aspectInstance) |
void |
setConcreteAspect(ResolvedType concreteAspect) |
void |
setErroneousVar(int formalIndex) |
int |
size() |
java.lang.String |
toString() |
public static final boolean[] NO_ERRONEOUS_VARS
public Var[] vars
public ExposedState(int size)
public ExposedState(Member signature)
public boolean isFullySetUp()
public void set(int i, Var var)
public Var get(int i)
public int size()
public Expr getAspectInstance()
public void setAspectInstance(Expr aspectInstance)
public java.lang.String toString()
toString
in class java.lang.Object
public void setErroneousVar(int formalIndex)
public boolean isErroneousVar(int formalIndex)
public void setConcreteAspect(ResolvedType concreteAspect)
public ResolvedType getConcreteAspect()