Uses of Class
at.dms.kjc.CBodyContext

Packages that use CBodyContext

at.dms.kjc
at.dms.kjc.lir	Provides a set of low-level stubs (LIR stands for Low-level IR) for compiling to the original (and mostly obsolete) uniprocessor backend.
at.dms.kjc.sir	Contains the heart of the StreamIt Intermediate Representation, or SIR for short.

Uses of CBodyContext in at.dms.kjc

Subclasses of CBodyContext in at.dms.kjc

class	CBlockContext This class represents a local context during checkBody It follows the control flow and maintain informations about variable (initialized, used, allocated), exceptions (thrown, catched) It also verify that context is still reachable There is a set of utilities method to access fields, methods and class with the name by clamping the parsing tree
class	CCatchContext This class holds the contextual information for the semantic analysis of a catch clause.
class	CLabeledContext This class provides the contextual information for the semantic analysis of a labeled statement.
class	CLoopContext This class provides the contextual information for the semantic analysis loop statements.
class	CSimpleBodyContext This class represents a local context during checkBody It follows the control flow and maintain informations about variable (initialized, used, allocated), exceptions (thrown, catched) It also verify that context is still reachable There is a set of utilities method to access fields, methods and class with the name by clamping the parsing tree
class	CSwitchBodyContext This class represents a local context during checkBody It follows the control flow and maintain informations about variable (initialised, used, allocated), exceptions (thrown, catched) It also verify that context is still reachable There is a set of utilities method to access fields, methods and class with the name by clamping the parsing tree
class	CSwitchGroupContext This class represents a local context during checkBody It follows the control flow and maintain informations about variable (initialised, used, allocated), exceptions (thrown, catched) It also verify that context is still reachable There is a set of utilities method to access fields, methods and class with the name by clamping the parsing tree
class	CTryContext This class represents a local context during checkBody It follows the control flow and maintain informations about variable (initialised, used, allocated), exceptions (thrown, catched) It also verify that context is still reachable There is a set of utilities method to access fields, methods and class with the name by clamping the parsing tree
class	CTryFinallyContext This class represents a local context during checkBody It follows the control flow and maintain informations about variable (initialised, used, allocated), exceptions (thrown, catched) It also verify that context is still reachable There is a set of utilities method to access fields, methods and class with the name by clamping the parsing tree

Methods in at.dms.kjc that return CBodyContext

CBodyContext	CExpressionContext.getBodyContext() Returns the parent context.
CBodyContext	CLoopContext.getBreakContextSummary() Returns the context state after break statements.
CBodyContext	CLoopContext.getContinueContextSummary() Returns the context state after continue statements.

Methods in at.dms.kjc with parameters of type CBodyContext

void	JSwitchStatement.addBreak(CBodyContext context) Prevent statement that there is at least one break
protected void	CTryFinallyContext.addBreak(JStatement target, CBodyContext context)
protected void	CSwitchBodyContext.addBreak(JStatement target, CBodyContext context)
protected void	CLoopContext.addBreak(JStatement target, CBodyContext context)
protected void	CLabeledContext.addBreak(JStatement target, CBodyContext context)
protected void	CBodyContext.addBreak(JStatement target, CBodyContext context)
protected void	CTryFinallyContext.addContinue(JStatement target, CBodyContext context)
protected void	CLoopContext.addContinue(JStatement target, CBodyContext context)
protected void	CBodyContext.addContinue(JStatement target, CBodyContext context)
void	CBodyContext.adopt(CBodyContext source)
void	CBodyContext.adoptFlowState(CBodyContext source)
void	CBodyContext.adoptThrowables(CBodyContext source)
void	CBodyContext.adoptVariableInfos(CBodyContext source)
void	JWhileStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JVariableDefinition.analyse(CBodyContext context) Check expression and evaluate and alter context
void	JVariableDeclarationStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JTypeDeclarationStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JTryFinallyStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JTryCatchStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JThrowStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JSynchronizedStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JSwitchStatement.analyse(CBodyContext context) Analyses the statement (semantically).
abstract void	JStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JReturnStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JLabeledStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JIfStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JForStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JFormalParameter.analyse(CBodyContext context) Analyses the node (semantically).
void	JFieldDeclaration.analyse(CBodyContext context) Analyses the statement (semantically).
void	JExpressionStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JExpressionListStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JEmptyStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JDoStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JContinueStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JConstructorBlock.analyse(CBodyContext context) Analyses the constructor body (semantically).
void	JCompoundStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JClassFieldDeclarator.analyse(CBodyContext context) Analyses the statement (semantically).
void	JCatchClause.analyse(CBodyContext context) Analyses the node (semantically).
void	JBreakStatement.analyse(CBodyContext context) Analyses the statement (semantically).
void	JBlock.analyse(CBodyContext context) Analyses the statement (semantically).
void	CInterfaceContext.close(JTypeDeclaration decl, CBodyContext virtual) Verify all final fields are initialized
protected void	CBodyContext.deepCloneInto(CBodyContext other) Clones all fields of this into
void	CBodyContext.merge(CBodyContext source)
void	CBodyContext.mergeFieldInfos(CBodyContext source)
void	CBodyContext.mergeFlowState(CBodyContext source)
void	CBodyContext.mergeThrowables(CBodyContext source)
void	CBodyContext.mergeVariableInfos(CBodyContext source)
void	JLocalVariable.setAssigned(TokenReference ref, CBodyContext context)

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

CBodyContext(CBodyContext parent)
Construct a block context, it supports local variable allocation throw statement and return statement This starts a new context in a method

CBodyContext(CBodyContext parent, CBodyContext source)

CExpressionContext(CBodyContext parent)
Constructs the context to analyse an expression semantically.

CExpressionContext(CBodyContext parent, boolean isLeftSide, boolean discardValue)
Constructs the context to analyse an expression semantically.

CSimpleBodyContext(CBodyContext parent, CBodyContext source)
Constructs a simple body context from a source context.

CSwitchBodyContext(CBodyContext parent, JSwitchStatement stmt)
Construct a block context, it supports local variable allocation throw statement and return statement

Uses of CBodyContext in at.dms.kjc.lir

Methods in at.dms.kjc.lir with parameters of type CBodyContext

void	LIRNode.analyse(CBodyContext context) Analyses the statement (semantically) - NOT SUPPORTED YET.

Uses of CBodyContext in at.dms.kjc.sir

Methods in at.dms.kjc.sir with parameters of type CBodyContext

void	SIRRegSenderStatement.analyse(CBodyContext context) Analyses the statement (semantically) - NOT SUPPORTED YET.
void	SIRRegReceiverStatement.analyse(CBodyContext context) Analyses the statement (semantically) - NOT SUPPORTED YET.
void	SIRPrintStatement.analyse(CBodyContext context) Analyses the statement (semantically) - NOT IMPLEMENTED YET.
void	SIRMessageStatement.analyse(CBodyContext context) Analyses the statement (semantically) - NOT SUPPORTED YET.
void	SIRMarker.analyse(CBodyContext context) Analyses the statement (semantically) - NOT SUPPORTED YET.
void	SIRInitStatement.analyse(CBodyContext context) Analyses the statement (semantically) - NOT SUPPORTED YET.
void	InlineAssembly.analyse(CBodyContext context) Dummy method for analyse(CBodyContext context).