Uses of Class
at.dms.kjc.CBodyContext

Packages that use CBodyContext
at.dms.kjc   
 

Uses of CBodyContext in at.dms.kjc
 

Methods in at.dms.kjc that return CBodyContext
 CBodyContext CBlockContext.createBodyContext()
          Creates a new body context with this block context as its parent.
 CBodyContext CBlockContext.cloneContext()
           
 CBodyContext CExpressionContext.getBodyContext()
          Returns the parent context.
 CBodyContext CTryContext.createBodyContext()
          Creates a BodyContext with this TryContext as its parent.
 CBodyContext CThrowableInfo.getContext()
          Return the context where this throw occurs.
 CBodyContext JLoopStatement.getBreakContextSummary()
          Returns a summary of all break context
 CBodyContext CBodyContext.cloneContext()
          Returns a clone of this body context.
 CBodyContext CBodyContext.makeSnapshot()
          Creates a snapshot.
 CBodyContext CLabeledContext.createBodyContext()
          Creates a body context with this context as its parent.
 CBodyContext CLoopContext.createBodyContext()
          Creates a BodyContext with this LoopContext as its parent.
 

Methods in at.dms.kjc with parameters of type CBodyContext
 void CAbstractBodyContext.addBreak(JStatement breakTo, CBodyContext from)
          Adds a break from within this context to the specified statement.
 void CAbstractBodyContext.addContinue(JStatement continueTo, CBodyContext from)
          Adds a continue from within this context to the specified statement.
protected  void CAbstractBodyContext.addForwardedBreak(JStatement breakTo, CBodyContext from)
          Adds a break from within this context to the specified statement.
protected  void CAbstractBodyContext.addForwardedContinue(JStatement continueTo, CBodyContext from)
          Adds a continue from within this context to the specified statement.
 void JSwitchLabel.checkBody(CSwitchBodyContext switchContext, CBodyContext context)
          Check body.
 void JStatement.checkBody(CBodyContext context)
          Check statement.
abstract  void JStatement.checkStatement(CBodyContext context)
          Check statement.
 void JStatement.addBreak(CBodyContext context)
          Informs statement that there is at least one break to it.
 void JStatement.addContinue(CBodyContext context)
          Informs statement that there is at least one continue to it.
 void JTypeDeclarationStatement.checkStatement(CBodyContext context)
          Check statement.
 void JTryCatchStatement.checkStatement(CBodyContext context)
          Check statement.
protected  void CTryFinallyContext.addForwardedBreak(JStatement breakTo, CBodyContext from)
          Adds a break from within this context to the specified statement.
protected  void CTryFinallyContext.addForwardedContinue(JStatement continueTo, CBodyContext from)
          Adds a continue from within this context to the specified statement.
 void JBlock.checkStatement(CBodyContext context)
          Check statement.
 void JEmptyStatement.checkStatement(CBodyContext context)
          Check statement.
 void JContinueStatement.checkStatement(CBodyContext context)
          Check statement.
 void JClassFieldExpression.initialize(CBodyContext context)
          Signals that this field will receive a value.
 void JExpressionListStatement.checkStatement(CBodyContext context)
          Check statement.
 void JCatchClause.checkInterface(CBodyContext context)
          Check statement.
 void JCatchClause.checkBody(CBodyContext context)
          Check statement.
 void JLocalVariable.setAssigned(TokenReference ref, CBodyContext context)
           
 void JVariableDefinition.checkBody(CBodyContext context)
          Check expression and evaluate and alter context.
 void JLoopStatement.addBreak(CBodyContext context)
          Informs statement that there is at least one break to it.
 void JLoopStatement.addContinue(CBodyContext context)
          Informs statement that there is at least one continue to it.
 void JWhileStatement.checkStatement(CBodyContext context)
          Check statement.
 void JExpressionStatement.checkStatement(CBodyContext context)
          Check statement.
 void JForStatement.checkStatement(CBodyContext context)
          Check statement.
 void JSwitchStatement.checkStatement(CBodyContext context)
          Check statement.
 void JSwitchStatement.addBreak(CBodyContext context)
          Prevent statement that there is at least one break
 void JCompoundStatement.checkStatement(CBodyContext context)
          Check statement.
 void JReturnStatement.checkStatement(CBodyContext context)
          Check statement.
 void JClassFieldDeclarator.checkStatement(CBodyContext context)
          Check statement.
 void JConstructorBlock.checkStatement(CBodyContext context)
          Check statement.
protected  void CSwitchBodyContext.addForwardedBreak(JStatement breakTo, CBodyContext from)
          Adds a break from within this context to the specified self.
 void JLocalVariableExpression.initialize(CBodyContext context)
          Marks this local variable as 'definately assigned' in this context.
 void CBodyContext.merge(CBodyContext context)
          Merge variable and field assignment information from another context with this one.
 void CBodyContext.adopt(CBodyContext context)
          Adopt variable and field assignment information from another context.
protected  void CLabeledContext.addForwardedBreak(JStatement breakTo, CBodyContext from)
          Adds a break from within this context to the specified statement.
protected  void CLabeledContext.addForwardedContinue(JStatement continueTo, CBodyContext from)
          Adds a continue from within this context to the specified statement.
 void JFieldDeclaration.checkStatement(CBodyContext context)
          Check expression and evaluate and alter context.
 void JTryFinallyStatement.checkStatement(CBodyContext context)
          Check statement.
 void CInitializable.initialize(CBodyContext ctxt)
          Initialize this object.
 void JArrayAccessExpression.initialize(CBodyContext ctxt)
          Initialize this object
 void JLabeledStatement.checkStatement(CBodyContext context)
          Check statement.
 void JLabeledStatement.addBreak(CBodyContext context)
          Inform statement that there is at least one break.
 void JLabeledStatement.addContinue(CBodyContext context)
          Inform statement that there is at least one continue.
 void JSwitchGroup.checkBody(CSwitchBodyContext context, CBodyContext body)
          Check statement.
 void JFormalParameter.checkBody(CBodyContext context)
          Check expression and evaluate and alter context.
 void JThrowStatement.checkStatement(CBodyContext context)
          Check statement.
 void JDoStatement.checkStatement(CBodyContext context)
          Check statement.
 void JBreakStatement.checkStatement(CBodyContext context)
          Check statement.
 void JVariableDeclarationStatement.checkStatement(CBodyContext context)
          Check statement.
 void JVariableDeclarationStatement.dereferenceVariable(CBodyContext context)
          Derefence all vars.
 void CInterfaceContext.close(JTypeDeclaration decl, CBodyContext virtual)
          Verify all final fields are initialized.
protected  void CLoopContext.addForwardedBreak(JStatement breakTo, CBodyContext from)
          Adds a break from within this context to the specified statement.
protected  void CLoopContext.addForwardedContinue(JStatement continueTo, CBodyContext from)
          Adds a continue from within this context to the specified statement.
 void JIfStatement.checkStatement(CBodyContext context)
          Check statement.
 void JSynchronizedStatement.checkStatement(CBodyContext context)
          Check statement.
 

Constructors in at.dms.kjc with parameters of type CBodyContext
CBlockContext(CBodyContext parent)
          Construct a block context, it supports local variable allocation throw statement and return statement.
CBlockContext(CBodyContext parent, int predictedVars)
          Construct a block context, it supports local variable allocation throw statement and return statement.
CExpressionContext(CBodyContext parent)
           
CTryContext(CBodyContext parent)
          Construct a block context, it supports local variable allocation throw statement and return statement.
CTryFinallyContext(CBodyContext parent)
          Construct a specialized context for try/finally statement bodies.
CThrowableInfo(CClassType throwable, JPhylum location, CBodyContext context, boolean subTypePossible)
          Constructs a throwable-information handler.
CSwitchBodyContext(JSwitchStatement self, CBodyContext parent, CType switchType)
          Construct a block context, it supports local variable allocation throw self and return self.
CLabeledContext(CBodyContext parent, JLabeledStatement self)
          Construct a block context, it supports local variable allocation throw statement and return statement
CLoopContext(CBodyContext parent, JLoopStatement self)
          Construct a block context, it supports local variable allocation throw statement and return statement.