| Modifier and Type | Field and Description |
|---|---|
| private Expr | |
| private ResolvedType | |
| private boolean[] | |
| private UnresolvedType[] | |
| public static final boolean[] | |
| public Var[] |
| Access | Constructor and Description |
|---|---|
| public | |
| public |
| Modifier and Type | Method and Description |
|---|---|
| public Var | |
| public Expr | |
| public ResolvedType | |
| public boolean | |
| public boolean | |
| public void | |
| public void | |
| public void | |
| public void | |
| public int | |
| public String |
| aspectInstance | back to summary |
|---|---|
| private Expr aspectInstance | |
| concreteAspect | back to summary |
|---|---|
| private ResolvedType concreteAspect | |
| erroneousVars | back to summary |
|---|---|
| private boolean[] erroneousVars | |
| expectedVarTypes | back to summary |
|---|---|
| private UnresolvedType[] expectedVarTypes | |
| NO_ERRONEOUS_VARS | back to summary |
|---|---|
| public static final boolean[] NO_ERRONEOUS_VARS | |
| vars | back to summary |
|---|---|
| public Var[] vars | |
| ExposedState | back to summary |
|---|---|
| public ExposedState(int size) | |
| ExposedState | back to summary |
|---|---|
| public ExposedState(Member signature) | |
| get | back to summary |
|---|---|
| public Var get(int i) | |
| getAspectInstance | back to summary |
|---|---|
| public Expr getAspectInstance() | |
| getConcreteAspect | back to summary |
|---|---|
| public ResolvedType getConcreteAspect() | |
| isErroneousVar | back to summary |
|---|---|
| public boolean isErroneousVar(int formalIndex) | |
| isFullySetUp | back to summary |
|---|---|
| public boolean isFullySetUp() | |
| set | back to summary |
|---|---|
| public void set(int i, Var var) | |
| setAspectInstance | back to summary |
|---|---|
| public void setAspectInstance(Expr aspectInstance) | |
| setConcreteAspect | back to summary |
|---|---|
| public void setConcreteAspect(ResolvedType concreteAspect) | |
| setErroneousVar | back to summary |
|---|---|
| public void setErroneousVar(int formalIndex) | |
| size | back to summary |
|---|---|
| public int size() | |
| toString | back to summary |
|---|---|
| public String toString() Overrides java. Doc from java. Returns a string representation of the object.
| |