Uses of Class
org.multijava.mjc.CVariableState

Packages that use CVariableState

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CVariableState in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return CVariableState

CVariableState

JmlCompilationUnitContext.fieldInfo(int pos) Fields cannot be declared in the context of a compilation unit (yet), consequently we do not expect to invoke this method on a compilation unit context.

Uses of CVariableState in org.multijava.mjc

Fields in org.multijava.mjc declared as CVariableState

private CVariableState[]

CVariableInfoTable.states The states of the variables represented by this information table.

Methods in org.multijava.mjc that return CVariableState

CVariableState	CVariableInfoTable.getState(int pos) Returns the state of the variable at the given position in the local frame.
abstract CVariableState	CCompilationUnitContextType.fieldInfo(int pos) Fields cannot be declared in the context of a compilation unit (yet), consequently we do not expect to invoke this method on a compilation unit context.
CVariableState	CVariableState.duplicate() Returns a duplicate of this.
CVariableState	CVariableState.mergeWith(CVariableState other) Mutates the state of this to indicate the result of merging with the given variable state.
private CVariableState	CFlowControlContext.varAt(int pos)
private CVariableState	CFlowControlContext.fieldAt(int pos)
CVariableState	CCompilationUnitContext.fieldInfo(int pos) Fields cannot be declared in the context of a compilation unit (yet), consequently we do not expect to invoke this method on a compilation unit context.

Methods in org.multijava.mjc with parameters of type CVariableState

void	CVariableInfoTable.mergeState(int pos, CVariableState state) Merges the given state information with the stored information in the given position.
private void	CVariableInfoTable.tryFinallyMergeState(int pos, CVariableState tryVariableState)
void	CVariableInfoTable.replaceState(int pos, CVariableState state) Replaces the state information for the variable at the given position with the given state information.
CVariableState	CVariableState.mergeWith(CVariableState other) Mutates the state of this to indicate the result of merging with the given variable state.
void	CVariableState.tryFinallyMergeWith(CVariableState tryVariableState) Sets the definite assignment state of this using the special merge logic appropriate for combining the definite assignment information from a finally block (as represented by this) with the definite assignment information from a try-block.

Constructors in org.multijava.mjc with parameters of type CVariableState

CVariableInfoTable(CVariableState[] states)