Uses of Interface
org.multijava.mjc.CFlowControlContextType

Packages that use CFlowControlContextType

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CFlowControlContextType in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement CFlowControlContextType

(package private) class	JmlFieldDeclaration.JmlFieldSpecsContext A special flow control context class for typechecking JML data group clauses.
class	JmlFlowControlContext 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).

Methods in org.jmlspecs.checker that return CFlowControlContextType

protected CFlowControlContextType	JmlDeclaration.createContextHelper(CContextType context) Returns a flow control context object that can be used to create an expression context objec to typecheck this JML declaration.
CFlowControlContextType	JmlContext.getFlowControlContext() Returns the nearest control flow context (where control flow information is stored.)
static CFlowControlContextType	JmlContext.createDummyContext(JmlSourceClass self)
CFlowControlContextType	JmlCompilationUnitContext.getFlowControlContext() Returns the nearest control flow context (where control flow information is stored.)
CFlowControlContextType	JmlMethodContext.createFlowControlContext(int localVars, TokenReference where)
CFlowControlContextType	JmlMethodContext.createFlowControlContext(int localVars, boolean isInExternalGF, TokenReference where)
CFlowControlContextType	JmlFlowControlContext.createFlowControlContext(TokenReference where)
CFlowControlContextType	JmlFlowControlContext.createFlowControlContext(int params, TokenReference where)
CFlowControlContextType	JmlFlowControlContext.createFinallyContext(CFlowControlContextType tryContext, TokenReference where)
CFlowControlContextType	JmlFlowControlContext.cloneContext() Create a clone of this context to handle divergent paths in the control flow.
CFlowControlContextType[]	JmlFlowControlContext.createParallelContexts(int count, TokenReference where) Creates a set of child contexts for typechecking parallel control flows.
CFlowControlContextType	JmlFlowControlContext.getFlowControlContext() Returns the nearest control flow context (where control flow information is stored.)

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

void	JConstructorBlockWrapper.typecheck(CFlowControlContextType context)
void	JmlSpecBody.typecheck(CFlowControlContextType context, long privacy) Typechecks this spec body in the context in which it appears.
abstract void	JmlSpecBodyClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this specification body clause in the context in which it appears.
abstract void	JmlSpecCase.typecheck(CFlowControlContextType context) Typechecks this specification case in the context in which it appears.
void	JmlGeneralSpecCase.typecheck(CFlowControlContextType context, long privacy, boolean isNestedSpecCase) Typechecks this specification case with the privacy, privacy, in the context in which it appears.
void	JmlGeneralSpecCase.typecheck(CFlowControlContextType context) Typechecks this specification case in the context in which it appears.
protected long	JmlGeneralSpecCase.privacy(CFlowControlContextType context) Returns the privacy of this specification case.
abstract void	JmlSpecVarDecl.typecheck(CFlowControlContextType context, long privacy) Typechecks the specification variable declarations in the context in which it appears.
void	JmlPredicateClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this clause with the privacy, privacy, in the context in which it appears.
protected abstract JmlExpressionContext	JmlPredicateClause.createContext(CFlowControlContextType context) Returns an appropriate context for checking this clause.
protected JmlExpressionContext	JmlRequiresClause.createContext(CFlowControlContextType context) Returns an appropriate context for checking this clause.
void	JmlAccessibleClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this accessible clause in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
void	JmlAssertOrAssumeStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JmlAssignableClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this assignable clause in the context in which it appears.
void	JmlHeavyweightSpec.typecheck(CFlowControlContextType context) Typechecks this heavyweight-spec in the context in which it appears.
private boolean	JmlHeavyweightSpec.isCurrentMethodPure(CFlowControlContextType context) Returns true if the current method being type checked has a pure annotation.
protected JmlExpressionContext	JmlSpecStatementClause.createContext(CFlowControlContextType context) Returns an appropriate context for checking this clause.
void	JmlCallableClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this callable clause in the context in which it appears.
void	JmlCapturesClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this captures clause in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
void	JmlClassBlock.typecheck(CFlowControlContextType context) Typechecks this initializer in the context in which it appears.
void	JmlCodeContract.typecheck(CFlowControlContextType context) Typechecks this CodeContract in the context in which it appears.
private long	JmlCodeContract.privacy(CFlowControlContextType context) Returns the privacy, access modifier, of the current method being typechecked.
void	JmlMethodName.typecheck(CFlowControlContextType context, long privacy, boolean checkPurity) Typechecks this method name in the context in which it appears.
private void	JmlMethodName.checkForExactArgumentTypes(CFlowControlContextType context)
void	JmlConstructorName.typecheck(CFlowControlContextType context, long privacy, boolean checkPurity) Typechecks this constructor name in the context in which it appears.
void	JmlDebugStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
protected JmlExpressionContext	JmlDivergesClause.createContext(CFlowControlContextType context) Returns an appropriate context for checking this clause.
void	JmlDurationClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this duration clause in the context in which it appears.
protected JmlExpressionContext	JmlDurationClause.createContext(CFlowControlContextType context) Returns an appropriate context for checking this clause.
protected JmlExpressionContext	JmlEnsuresClause.createContext(CFlowControlContextType context) Returns an appropriate context for checking this clause.
void	JmlExample.typecheck(CFlowControlContextType context) Typechecks the example the context in which it appears.
protected long	JmlExample.privacy(CFlowControlContextType context) Returns the privacy of this node.
void	JmlMethodSpecification.typecheck(CFlowControlContextType context) Typechecks this methodSpecification in the context in which it appears.
abstract void	JmlMethodSpecification.typecheckModelPrograms(CFlowControlContextType context) Typechecks the model programs in this extendingSpecification in the context in which they appear.
private long	JmlMethodSpecification.privacy(CFlowControlContextType context) Returns the privacy, access modifier, of the current method being typechecked.
void	JmlSpecification.typecheck(CFlowControlContextType context) Typechecks this extendingSpecification in the context in which it appears.
void	JmlSpecification.typecheckModelPrograms(CFlowControlContextType context) Typechecks the model programs in this extendingSpecification in the context in which they appear.
void	JmlFieldDeclaration.typecheck(CFlowControlContextType context) Checks whether this field declaration includes a field initializer and mutates the context to store this information about the field.
void	JmlFieldDeclaration.checkFieldSpecs(CFlowControlContextType context, JmlSourceField self) Typechecks the specifications associated with this field, i.e., data group specifications.
void	JmlForAllVarDecl.typecheck(CFlowControlContextType context, long privacy) Typechecks the specification variable declarations in the context in which it appears.
protected long	JmlGenericSpecCase.privacy(CFlowControlContextType context) Returns the privacy of this node.
void	JmlGuardedStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JmlHenceByStatement.typecheck(CFlowControlContextType context)
void	JmlDataGroupClause.typecheck(CFlowControlContextType context, long privacy) Typecheck this variable assertion and mutates the context to store the information obtained during the checking.
JmlSourceField	JmlDataGroupClause.checkDataGroup(CFlowControlContextType context, JExpression groupNameExpr, String ident, long privacy)
void	JmlInGroupClause.typecheck(CFlowControlContextType context, long privacy) Typecheck this variable assertion and mutates the context to store the information obtained during the checking.
abstract void	JmlModelProgStatement.typecheck(CFlowControlContextType context)
void	JmlInvariantStatement.typecheck(CFlowControlContextType context)
void	JmlLetVarDecl.typecheck(CFlowControlContextType context, long privacy) Typechecks the specification variable declarations in the context in which it appears.
void	JmlLoopStatement.typecheck(CFlowControlContextType context) Typechecks this JML loop statement in the context in which it appears.
void	JmlMapsIntoClause.typecheck(CFlowControlContextType context, long privacy) Typecheck this variable assertion and mutates the context to store the information obtained during the checking.
void	JmlMeasuredClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this measured_by clause in the context in which it appears.
protected JmlExpressionContext	JmlMeasuredClause.createContext(CFlowControlContextType context) Returns an appropriate context for checking this clause.
void	JmlMethodNameList.typecheck(CFlowControlContextType context, long privacy) Typechecks this callable clause in the context in which it appears.
void	JmlModelProgram.typecheck(CFlowControlContextType context) Typechecks this model program specification in the context in which it appears.
void	JmlAssignmentStatement.typecheck(CFlowControlContextType context)
void	JmlNondetChoiceStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JmlNondetIfStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JmlRedundantSpec.typecheck(CFlowControlContextType context) Typechecks this redudant-spec in the context in which it appears.
protected JmlExpressionContext	JmlReturnsClause.createContext(CFlowControlContextType context) Returns an appropriate context for checking this clause.
void	JmlSetStatement.typecheck(CFlowControlContextType context)
void	JmlSignalsOnlyClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this JML clause in the context in which it appears.
protected JmlExpressionContext	JmlSignalsOnlyClause.createContext(CFlowControlContextType context) Returns an appropriate context for checking this clause.
void	JmlSignalsClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this JML clause in the context in which it appears.
protected JmlExpressionContext	JmlSignalsClause.createContext(CFlowControlContextType context) Returns an appropriate context for checking this clause.
void	JmlSpecStatement.typecheck(CFlowControlContextType context)
void	JmlSpecStatement.typecheck(CFlowControlContextType context, long privacy)
protected JmlExpressionContext	JmlSpecStatement.createContext(CFlowControlContextType context) Returns an appropriate context for checking this clause.
void	JmlUnreachableStatement.typecheck(CFlowControlContextType context)
void	JmlVariableDefinition.typecheck(CFlowControlContextType context) Typechecks the statement and mutates the context to record information gathered during typechecking.
protected JmlExpressionContext	JmlWhenClause.createContext(CFlowControlContextType context) Returns an appropriate context for checking this clause.
void	JmlWorkingSpaceClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this working_space clause in the context in which it appears.
protected JmlExpressionContext	JmlWorkingSpaceClause.createContext(CFlowControlContextType context) Returns an appropriate context for checking this clause.
static JmlExpressionContext	JmlExpressionContext.createPrecondition(CFlowControlContextType parent) Create and return a precondition context.
static JmlExpressionContext	JmlExpressionContext.createPostcondition(CFlowControlContextType parent) Create and return a normal postcondition context.
static JmlExpressionContext	JmlExpressionContext.createExceptionalPostcondition(CFlowControlContextType parent) Create and return an exceptional postcondition context.
static JmlExpressionContext	JmlExpressionContext.createWorkingSpace(CFlowControlContextType parent) Create and return a working_space context.
static JmlExpressionContext	JmlExpressionContext.createDuration(CFlowControlContextType parent) Create and return a duration context.
static JmlExpressionContext	JmlExpressionContext.createInternalCondition(CFlowControlContextType parent) Create and return an internal condition context.
static JmlExpressionContext	JmlExpressionContext.createOldExpression(CFlowControlContextType parent) Create and return an old expression context.
static JmlExpressionContext	JmlExpressionContext.createIntracondition(CFlowControlContextType parent) Create and return an intracondition context.
static JmlExpressionContext	JmlExpressionContext.createIntercondition(CFlowControlContextType parent) Create and return an intercondition context.
static JmlExpressionContext	JmlExpressionContext.createSameKind(CFlowControlContextType parent, JmlExpressionContext ctx) Return a new JmlExpressionContext of the same kind as the given argument ctx.
CFlowControlContextType	JmlFlowControlContext.createFinallyContext(CFlowControlContextType tryContext, TokenReference where)
void	JmlFlowControlContext.adoptParallelContexts(CFlowControlContextType[] contexts) Adopts the information from the given contexts.
void	JmlFlowControlContext.merge(CFlowControlContextType context)
void	JmlFlowControlContext.adopt(CFlowControlContextType context)

Constructors in org.jmlspecs.checker with parameters of type CFlowControlContextType

JmlExpressionContext(CFlowControlContextType parent, int kind)

JmlFieldDeclaration.JmlFieldSpecsContext(CFlowControlContextType parent)

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

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

JmlFlowControlContext(CFlowControlContextType parent, CFlowControlContextType clone)
Used to clone this flow control context.

Uses of CFlowControlContextType in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac with parameters of type CFlowControlContextType

void	RacParser.RacStatement.typecheck(CFlowControlContextType context)

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

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.
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.
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
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	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	JLoopStatement.getBreakContextSummary() Returns a summary of all break context
abstract CFlowControlContextType	CMethodContextType.createFlowControlContext(int localVars, TokenReference where)
abstract CFlowControlContextType	CMethodContextType.createFlowControlContext(int localVars, boolean isInExternalGF, TokenReference where)
abstract CFlowControlContextType	CCompilationUnitContextType.getFlowControlContext() Returns the nearest control flow context (where control flow information is stored.)
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	CCompilationUnitContext.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)

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.
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.
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	JBlock.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.
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)
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.
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	JVariableDefinition.typecheck(CFlowControlContextType context) Typechecks the definition and mutates the context to record information gathered during typechecking.
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	JWhileStatement.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	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	JThrowStatement.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	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	JAssertStatement.typecheck(CFlowControlContextType context)
private void	JAssertStatement.createSyntheticFieldsAndMethods(CClass currCls, CFlowControlContextType context)
void	JReturnStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
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	JIfStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JForStatement.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	JExpressionStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JExpressionListStatement.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	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	JContinueStatement.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	JTypeDeclarationStatement.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.
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)
void	JClassFieldDeclarator.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.

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

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.

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

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

CFinallyContext(CFlowControlContextType beforeTryContext, CFlowControlContextType afterTryContext, TokenReference where)