Uses of Interface
org.multijava.mjc.CFlowControlContextType

Packages that use CFlowControlContextType

org.multijava.mjc

Implements mjc, a MultiJava compiler.

Uses of CFlowControlContextType in org.multijava.mjc

Classes in org.multijava.mjc that implement CFlowControlContextType

class	CFinallyContext This class implements the special definite assignment and reachability calculations for combining try and finally blocks in a try-finally statement.
class	CFlowControlContext This class is used during typechecking for control flow analysis that maintains local variable definite assignment (JLS2, 16), throwable, and reachability information (JLS2, 14.20).
class	CLabeledContext This class represents a labeled context during checking passes (checkInterface, checkInitializers, typecheck).
class	CLoopContext This class represents the context for a loop statement during checking passes (checkInterface, checkInitializers, typecheck).
class	CSwitchBodyContext This class represents the context for the body of a switch statement during checking passes (checkInterface, checkInitializers, typecheck).
class	CSwitchGroupContext This class represents the context for a switch group during checking passes.
class	CTryContext This class represents the context for a try statement during checking passes (checkInterface, checkInitializers, typecheck).

Fields in org.multijava.mjc declared as CFlowControlContextType

protected CFlowControlContextType	CFlowControlContext.cachedParent This is an alias of the inherited parent field but stored as a subtype to avoid casts.
private CFlowControlContextType	CFinallyContext.afterTryContext
private CFlowControlContextType	JLabeledStatement.breakContext The control flow context representing paths in this statement that can jump to the end of the statement via a break.
private CFlowControlContextType	JLoopStatement.breakContextSummary
protected CFlowControlContextType	JLoopStatement.continueContext Tracks the flow control analysis information for all control paths that may exist the body of the loop via a continue statement.
private CFlowControlContextType	JSwitchStatement.breakContext Stores the definite assignment information for control flow paths that reach the end of the switch via a break statement.
protected CFlowControlContextType	TestCContext.methodBlock
protected CFlowControlContextType	TestCContext.loopBody

Methods in org.multijava.mjc that return CFlowControlContextType

abstract CFlowControlContextType	CContextType.getFlowControlContext() Returns the nearest expression context.
CFlowControlContextType	CContext.getFlowControlContext() Returns the nearest control flow context (where control flow information is stored.)
abstract CFlowControlContextType	CCompilationUnitContextType.getFlowControlContext() Returns the nearest control flow context (where control flow information is stored.)
abstract CFlowControlContextType	CMethodContextType.createFlowControlContext(int localVars, TokenReference where)
abstract CFlowControlContextType	CMethodContextType.createFlowControlContext(int localVars, boolean isInExternalGF, TokenReference where)
CFlowControlContextType	CCompilationUnitContext.getFlowControlContext() Returns the nearest control flow context (where control flow information is stored.)
abstract CFlowControlContextType	CFlowControlContextType.createFlowControlContext(TokenReference where)
abstract CFlowControlContextType	CFlowControlContextType.createFlowControlContext(int params, TokenReference where)
abstract CFlowControlContextType	CFlowControlContextType.createFinallyContext(CFlowControlContextType tryContext, TokenReference where)
abstract CFlowControlContextType	CFlowControlContextType.cloneContext() Create a clone of this context to handle divergent paths in the control flow.
abstract CFlowControlContextType[]	CFlowControlContextType.createParallelContexts(int count, TokenReference where) Creates a set of child contexts for typechecking parallel control flows.
abstract CFlowControlContextType	CFlowControlContextType.getFlowControlContext() Returns the nearest control flow context (where control flow information is stored.)
CFlowControlContextType	CMethodContext.createFlowControlContext(int localVars, TokenReference where)
CFlowControlContextType	CMethodContext.createFlowControlContext(int localVars, boolean isInExternalGF, TokenReference where)
CFlowControlContextType	CFlowControlContext.createFlowControlContext(TokenReference where)
CFlowControlContextType	CFlowControlContext.createFlowControlContext(int params, TokenReference where)
CFlowControlContextType	CFlowControlContext.createFinallyContext(CFlowControlContextType tryContext, TokenReference where)
CFlowControlContextType	CFlowControlContext.cloneContext() Create a clone of this context to handle divergent paths in the control flow.
CFlowControlContextType[]	CFlowControlContext.createParallelContexts(int count, TokenReference where) Creates a set of child contexts for typechecking parallel control flows.
CFlowControlContextType	CFlowControlContext.getFlowControlContext() Returns the nearest control flow context (where control flow information is stored.)
CFlowControlContextType	CFlowControlContext.cachedParent()
CFlowControlContextType	CLabeledContext.cloneContext() Create a clone of this context to handle divergent paths in the control flow.
CFlowControlContextType	CLoopContext.cloneContext() Create a clone of this context to handle divergent paths in the control flow.
CFlowControlContextType	JLoopStatement.getBreakContextSummary() Returns a summary of all break context

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

void	JLocalVariable.typecheck(CFlowControlContextType context) Typechecks the local variable and mutates the context to record information gathered during typechecking.
abstract CFlowControlContextType	CFlowControlContextType.createFinallyContext(CFlowControlContextType tryContext, TokenReference where)
abstract void	CFlowControlContextType.adoptParallelContexts(CFlowControlContextType[] contexts) Adopts the information from the given contexts.
abstract void	CFlowControlContextType.merge(CFlowControlContextType context)
abstract void	CFlowControlContextType.adopt(CFlowControlContextType context)
CFlowControlContextType	CFlowControlContext.createFinallyContext(CFlowControlContextType tryContext, TokenReference where)
void	CFlowControlContext.adoptParallelContexts(CFlowControlContextType[] contexts) Adopts the information from the given contexts.
void	CFlowControlContext.merge(CFlowControlContextType context)
void	CFlowControlContext.adopt(CFlowControlContextType context)
abstract void	JStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JStatement.addBreak(CFlowControlContextType context) Registers that this statement is the target of a break statement.
void	JStatement.addContinue(CFlowControlContextType context) Registers that this statement is the target of a continue statement.
void	JLabeledStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JLabeledStatement.addBreak(CFlowControlContextType context) Registers that this statement is the target of a break statement.
void	JLabeledStatement.addContinue(CFlowControlContextType context) Registers that this statement is the target of a continue statement.
void	JLoopStatement.addBreak(CFlowControlContextType context) Registers that there is a break statement within this loop.
void	JLoopStatement.addContinue(CFlowControlContextType context) Registers that there is a continue statement within this loop.
void	JSwitchStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JSwitchStatement.addBreak(CFlowControlContextType context) Registers that this statement is the target of a break statement.
void	JReturnStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
abstract void	JFieldDeclarationType.typecheck(CFlowControlContextType context) Checks whether this field declaration includes a field initializer and mutates the context to store this information about the field.
void	JBlock.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JAssertStatement.typecheck(CFlowControlContextType context)
private void	JAssertStatement.createSyntheticFieldsAndMethods(CClass currCls, CFlowControlContextType context)
void	JIfStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JBreakStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JCatchClause.checkInterface(CFlowControlContextType context) Checks the type of the caught exception.
void	JCatchClause.typecheck(CFlowControlContextType context) Typechecks this catch clause and modifies the context to indicate that this catch clause is reachable.
void	JFormalParameter.resolveSpecializer(CFlowControlContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
void	JFormalParameter.typecheck(CFlowControlContextType context) Typechecks the parameter and mutates the context to record information gathered during typechecking.
void	JClassFieldDeclarator.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JCompoundStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JConstructorBlock.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JContinueStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JDoStatement.addContinue(CFlowControlContextType context) Registers that there is a continue statement within this loop.
void	JDoStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JEmptyStatement.typecheck(CFlowControlContextType context) Does nothing, since the empty statement has nothing to check.
void	JExpressionListStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JExpressionStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JFieldDeclaration.typecheck(CFlowControlContextType context) Checks whether this field declaration includes a field initializer and mutates the context to store this information about the field.
void	JVariableDefinition.typecheck(CFlowControlContextType context) Typechecks the definition and mutates the context to record information gathered during typechecking.
void	JForStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JSynchronizedStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JThrowStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JTryCatchStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
private boolean	JTryCatchStatement.checkClause(CFlowControlContextType entryContext, CFlowControlContextType exitContext, JCatchClause clause) Checks the given catch-block, clause, using the definite assignment information from entryContext.
void	JTryFinallyStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JTypeDeclarationStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JVariableDeclarationStatement.typecheck(CFlowControlContextType context) Typechecks the statement and mutates the context to record information gathered during typechecking.
void	JWhileStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.

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

CExpressionContext(CFlowControlContextType parent)
Construct a block context, it supports local variable allocation throw statement and return statement.

CFlowControlContext(CFlowControlContextType parent, TokenReference where)
Construct a nested flow control context.

CFlowControlContext(CFlowControlContextType parent, int varEstimate, TokenReference where)
Construct a nested flow control context.

CFlowControlContext(CFlowControlContextType parent, CFlowControlContextType clone)
Used to clone this flow control context in subclasses.

CFinallyContext(CFlowControlContextType beforeTryContext, CFlowControlContextType afterTryContext, TokenReference where)

CLabeledContext(CFlowControlContextType parent, JLabeledStatement self)
Construct a block context, it supports local variable allocation throw statement and return statement

CLabeledContext(CFlowControlContextType cachedParent, CLabeledContext clone)
Used by cloneContext.

CLoopContext(CFlowControlContextType parent, JLoopStatement self)
Construct a block context, it supports local variable allocation throw statement and return statement

CLoopContext(CFlowControlContextType cachedParent, CLoopContext clone)
Used by cloneContext.

CSwitchBodyContext(CFlowControlContextType parent, JSwitchStatement stmt, CType switchType)
Construct a context for a switch statement.

CTryContext(CFlowControlContextType parent, TokenReference where)
Construct a block context, it supports local variable allocation throw statement and return statement