Uses of Class
org.multijava.mjc.CVariableInfoTable

Packages that use CVariableInfoTable

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 CVariableInfoTable in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as CVariableInfoTable

private CVariableInfoTable

JmlConstructorDeclaration.instanceInfo Temporarily stores the final field definite assignment information while typechecking the constructor.

Methods in org.jmlspecs.checker that return CVariableInfoTable

CVariableInfoTable	JmlClassContext.fieldInfo() Returns a duplicate copy of fieldInfo table.
CVariableInfoTable	JmlClassContext.fieldInfoTable() Returns the current field information for the most recently checked member of this context.
CVariableInfoTable	JmlFlowControlContext.variableInfo()
CVariableInfoTable	JmlFlowControlContext.fieldInfo()

Methods in org.jmlspecs.checker with parameters of type CVariableInfoTable

void	JmlConstructorDeclaration.typecheck(CClassContextType cContext, CVariableInfoTable instanceInfo) Typechecks this method declaration.
void	JmlContext.replaceFieldInfoUpTo(int pos, CVariableInfoTable replacement) Replaces the local field info for fields in positions 0 up to pos with the info in replacement.
void	JmlClassContext.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies that all final fields are initialized and all abstract methods are appropriately implemented.
void	JmlClassContext.replaceFieldInfoUpTo(int pos, CVariableInfoTable replacement) Replaces the local field info for fields in positions 0 up to pos with the info in replacement.
void	JmlClassContext.setFieldInfoTable(CVariableInfoTable fieldInfo) Sets the field information for this to match that given by fieldInfo.
void	JmlFlowControlContext.replaceFieldInfoUpTo(int pos, CVariableInfoTable replacement) Replaces the local field info for fields in positions 0 up to pos with the info in replacement.
void	JmlFlowControlContext.replaceVariableInfoUpTo(int pos, CVariableInfoTable replacement) Replaces the local variable info in positions 0 up to pos with the info in replacement.
void	JmlInterfaceContext.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies all final fields are initialized. !

Uses of CVariableInfoTable in org.multijava.mjc

Fields in org.multijava.mjc declared as CVariableInfoTable

protected CVariableInfoTable	CClassContext.fieldInfo
private CVariableInfoTable	JClassDeclaration.staticInfo
private CVariableInfoTable	JInterfaceDeclaration.staticInfo
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.

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.
abstract CVariableInfoTable	CFlowControlContextType.variableInfo() Returns the variable info table
abstract CVariableInfoTable	CFlowControlContextType.fieldInfo() Returns the field info table
CVariableInfoTable	CVariableInfoTable.duplicate()
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 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.
abstract void	JConstructorDeclarationType.typecheck(CClassContextType context, CVariableInfoTable instanceInfo) Typechecks this method declaration.
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.
void	JConstructorDeclaration.typecheck(CClassContextType cContext, CVariableInfoTable instanceInfo) Typechecks this method declaration.
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	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.