Uses of Class
org.multijava.mjc.CVariableState

Packages that use CVariableState

org.multijava.mjc

Implements mjc, a MultiJava compiler.

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

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	CVariableInfoTable.getState(int pos) Returns the state of the variable at the given position in the local frame.
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.
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)

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)