Uses of Class
org.multijava.mjc.CVariableInfoTable

Packages that use CVariableInfoTable

org.multijava.mjc

Implements mjc, a MultiJava compiler.

Uses of CVariableInfoTable in org.multijava.mjc

Fields in org.multijava.mjc declared as CVariableInfoTable

protected CVariableInfoTable	CClassContext.fieldInfo
protected CVariableInfoTable	CFlowControlContext.variableInfo The definite assignment state of the variables in this context.
protected CVariableInfoTable	CFlowControlContext.fieldInfo The definite assignment state of the fields in this context.
private CVariableInfoTable	JClassDeclaration.staticInfo
private CVariableInfoTable	JInterfaceDeclaration.staticInfo

Methods in org.multijava.mjc that return CVariableInfoTable

CVariableInfoTable	CClassContext.fieldInfo() Returns the fieldInfo table.
CVariableInfoTable	CClassContext.fieldInfoTable() Returns the current field information for the most recently checked member of this context.
abstract CVariableInfoTable	CClassContextType.fieldInfo() Returns the fieldInfo table.
abstract CVariableInfoTable	CClassContextType.fieldInfoTable() Returns the current field information for the most recently checked member of this context.
CVariableInfoTable	CVariableInfoTable.duplicate()
abstract CVariableInfoTable	CFlowControlContextType.variableInfo() Returns the variable info table
abstract CVariableInfoTable	CFlowControlContextType.fieldInfo() Returns the field info table
CVariableInfoTable	CFlowControlContext.variableInfo()
CVariableInfoTable	CFlowControlContext.fieldInfo()

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

abstract void	CContextType.replaceFieldInfoUpTo(int pos, CVariableInfoTable replacement) Replaces the local field info for fields in positions 0 up to pos with the info in replacement.
void	CContext.replaceFieldInfoUpTo(int pos, CVariableInfoTable replacement) Replaces the local field info for fields in positions 0 up to pos with the info in replacement.
void	CClassContext.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies that all final and all non-null fields are initialized and all abstract methods are appropriately implemented.
void	CClassContext.replaceFieldInfoUpTo(int pos, CVariableInfoTable replacement) Replaces the local field info for fields in positions 0 up to pos with the info in replacement.
void	CClassContext.setFieldInfoTable(CVariableInfoTable fieldInfo) Sets the field information for this to match that given by fieldInfo.
abstract void	CClassContextType.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies that all final fields are initialized and all abstract methods are appropriately implemented.
abstract void	CClassContextType.replaceFieldInfoUpTo(int pos, CVariableInfoTable replacement) Replaces the local field info for fields in positions 0 up to pos with the info in replacement.
abstract void	CClassContextType.setFieldInfoTable(CVariableInfoTable fieldInfo) Sets the field information for this to match that given by fieldInfo.
void	CVariableInfoTable.mergeUpTo(int numberOfPos, CVariableInfoTable other) Merges the state information from other into this for positions from 0 to numberOfPos - 1.
void	CVariableInfoTable.tryFinallyMergeUpTo(int numberOfPos, CVariableInfoTable tryInfoTable) Merges the state information from other into this for positions from 0 to numberOfPos - 1 using the function for merging a finally block (this) with a try block.
void	CVariableInfoTable.replaceUpTo(int numberOfPos, CVariableInfoTable other) Replaces the state information of this with information from other for positions from 0 to numberOfPos - 1.
abstract void	CFlowControlContextType.replaceFieldInfoUpTo(int pos, CVariableInfoTable replacement) Replaces the local field info for fields in positions 0 up to pos with the info in replacement.
abstract void	CFlowControlContextType.replaceVariableInfoUpTo(int pos, CVariableInfoTable replacement) Replaces the local variable info in positions 0 up to pos with the info in replacement.
abstract void	CInterfaceContextType.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies all final fields are initialized.
void	CFlowControlContext.replaceFieldInfoUpTo(int pos, CVariableInfoTable replacement) Replaces the local field info for fields in positions 0 up to pos with the info in replacement.
void	CFlowControlContext.replaceVariableInfoUpTo(int pos, CVariableInfoTable replacement) Replaces the local variable info in positions 0 up to pos with the info in replacement.
void	CInterfaceContext.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies all final fields are initialized.
abstract void	JConstructorDeclarationType.typecheck(CClassContextType context, CVariableInfoTable instanceInfo) Typechecks this method declaration.
void	JConstructorDeclaration.typecheck(CClassContextType cContext, CVariableInfoTable instanceInfo) Typechecks this method declaration.