Uses of Class
at.dms.kjc.CContext

Packages that use CContext

at.dms.kjc

Uses of CContext in at.dms.kjc

Subclasses of CContext 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	CBodyContext 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	CClassContext This class represents a class context during check
class	CCompilationUnitContext 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	CConstructorContext This class represents a method context during check
class	CExpressionContext This class provides the contextual information for the semantic analysis of an expression.
class	CInitializerContext This class represents a method context during check
class	CInterfaceContext This class represents an interface context during check
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	CMethodContext This class represents a method context during check
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

Fields in at.dms.kjc declared as CContext

protected CContext

CContext.parent

Methods in at.dms.kjc that return CContext

CContext	CContext.getParentContext() getParentContext
CContext	CCompilationUnitContext.getParentContext() getParentContext

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

void	CBodyContext.adoptFieldInfos(CContext source)
void	JPhylum.check(CContext context, boolean cond, MessageDescription description) Verifies that the condition is true; otherwise adds an error.
void	JPhylum.check(CContext context, boolean cond, MessageDescription description, Object param) Verifies that the condition is true; otherwise adds an error.
void	JPhylum.check(CContext context, boolean cond, MessageDescription description, Object[] params) Verifies that the condition is true; otherwise adds an error.
void	JPhylum.check(CContext context, boolean cond, MessageDescription description, Object param1, Object param2) Verifies that the condition is true; otherwise adds an error.
void	JTypeDeclaration.checkInitializers(CContext context) Checks that same interface is not specified more than once
void	JInterfaceDeclaration.checkInitializers(CContext context) Check that initializers are correct
void	JClassDeclaration.checkInitializers(CContext context) Check that initializers are correct
abstract void	JTypeDeclaration.checkInterface(CContext context) Second pass (quick), check interface looks good
void	JInterfaceDeclaration.checkInterface(CContext context) Second pass (quick), check interface looks good Exceptions are not allowed here, this pass is just a tuning pass in order to create informations about exported elements such as Classes, Interfaces, Methods, Constructors and Fields
void	JClassDeclaration.checkInterface(CContext context) Second pass (quick), check interface looks good Exceptions are not allowed here, this pass is just a tuning pass in order to create informations about exported elements such as Classes, Interfaces, Methods, Constructors and Fields
protected void	JTypeDeclaration.checkInterface(CContext context, CClassType superClass) Second pass (quick), check interface looks good
void	CVectorTypeLow.checkType(CContext context)
void	CVectorType.checkType(CContext context)
abstract void	CType.checkType(CContext context) check that type is valid necessary to resolve String into java/lang/String
void	CNumericType.checkType(CContext context) check that type is valid necessary to resolve String into java/lang/String
void	CEmittedTextType.checkType(CContext context)
void	CClassType.checkType(CContext context) check that type is valid necessary to resolve String into java/lang/String
void	CClassNameType.checkType(CContext context) check that type is valid necessary to resolve String into java/lang/String
void	CBooleanType.checkType(CContext context) check that type is valid necessary to resolve String into java/lang/String
void	CArrayType.checkType(CContext context) check that type is valid necessary to resolve String into java/lang/String
void	JTypeDeclaration.checkTypeBody(CContext context) checkTypeBody Check expression and evaluate and alter context
void	JInterfaceDeclaration.checkTypeBody(CContext context) checkTypeBody Check expression and evaluate and alter context
void	JClassDeclaration.checkTypeBody(CContext context) checkTypeBody Check expression and evaluate and alter context
protected void	CContext.deepCloneInto(CContext other) Clones all fields of this into
protected void	JSwitchLabel.fail(CContext context, MessageDescription key, Object[] params) Adds a compiler error.
protected void	JStatement.fail(CContext context, MessageDescription key, Object[] params) Adds a compiler error.
protected void	JPhylum.fail(CContext context, MessageDescription description, Object[] params) Adds a compiler error.
protected void	JExpression.fail(CContext context, MessageDescription key, Object[] params) Adds a compiler error.

Constructors in at.dms.kjc with parameters of type CContext

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

CInterfaceContext(CContext parent, CSourceClass clazz)