|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CContext | |
at.dms.kjc |
Uses of CContext in at.dms.kjc |
Subclasses of CContext in at.dms.kjc | |
class |
CAbstractBodyContext
Abstract base class for different BodyContexts. |
class |
CBlockContext
This class represents a local context during checkBody. |
class |
CBodyContext
This class represents a local context during checkBody. |
class |
CClassContext
This class represents a class context during check. |
class |
CCompilationUnitContext
This class represents a local context during checkBody. |
class |
CConstructorContext
This class represents a constructor method context during check. |
class |
CEmptyTopLevelContext
Dummy class to satisfy a not-so-handy class hierarchy. |
class |
CExpressionContext
The context in which an expression is used; it is used to check many of the rules of the JLS, and to resolve ambiguities according to the scoping rules of the JLS. |
class |
CInitializerContext
This class represents an initializer-method context during check. |
class |
CInterfaceContext
This class represents an interface context during check. |
class |
CLabeledContext
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 |
CLoopContext
Special local context for code inside a loop. |
class |
CMethodContext
This class represents a method context during check. |
class |
CSwitchBodyContext
Specialized local context during checkBody inside a switch self. |
class |
CTryContext
Special local context for checking code inside a try/catch statement. |
class |
CTryFinallyContext
Special local context for checking code inside a try/finally statement. |
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 |
CContext |
CEmptyTopLevelContext.getParentContext()
|
Methods in at.dms.kjc with parameters of type CContext | |
abstract void |
CType.checkType(CContext context)
check that type is valid. |
void |
CClassType.checkType(CContext context)
Check that type is valid. |
void |
CVoidType.checkType(CContext context)
check that type is valid necessary to resolve String into java/lang/String |
protected void |
JPhylum.fail(CContext context,
MessageDescription description,
java.lang.Object[] params)
Adds a compiler error. |
void |
JPhylum.check(CContext context,
boolean cond,
MessageDescription description,
java.lang.Object[] params)
Verifies that the condition is true; otherwise adds an error. |
void |
JPhylum.check(CContext context,
boolean cond,
MessageDescription description,
java.lang.Object param1,
java.lang.Object param2)
Verifies that the condition is true; otherwise adds an error. |
void |
JPhylum.check(CContext context,
boolean cond,
MessageDescription description,
java.lang.Object param)
Verifies that the condition is true; otherwise adds an error. |
void |
JPhylum.check(CContext context,
boolean cond,
MessageDescription description)
Verifies that the condition is true; otherwise adds an error. |
protected void |
JExpression.fail(CContext context,
MessageDescription key,
java.lang.Object[] params)
Adds a compiler error. |
protected void |
JSwitchLabel.fail(CContext context,
MessageDescription key,
java.lang.Object[] params)
Adds a compiler error. |
protected void |
JStatement.fail(CContext context,
MessageDescription key,
java.lang.Object[] params)
Adds a compiler error. |
void |
CClassNameType.checkType(CContext context)
Check that type is valid. |
void |
COuterThisType.checkType(CContext context)
Check that type is valid. |
void |
CArrayType.checkType(CContext context)
Check that type is valid. |
abstract void |
JTypeDeclaration.transformType(CContext context)
Transforms this type before code generation. |
abstract void |
JTypeDeclaration.checkInterface(CContext context)
Second pass (quick), check interface looks good |
protected void |
JTypeDeclaration.checkInterface(CContext context,
CClassType superClass)
Second pass (quick), check interface looks good |
void |
JTypeDeclaration.checkInitializers(CContext context)
Checks that same interface is not specified more than once. |
abstract CClassContext |
JTypeDeclaration.createContext(CContext parent)
createContext. |
void |
JTypeDeclaration.checkTypeBody(CContext context)
Check expression and evaluate and alter context. |
void |
JClassDeclaration.transformType(CContext context)
Transforms this type before code generation. |
void |
JClassDeclaration.checkInterface(CContext context)
Second pass (quick), check interface looks good. |
void |
JClassDeclaration.checkInitializers(CContext context)
Check that initializers are correct. |
void |
JClassDeclaration.checkTransformedInterface(CContext context)
Checks interface again after transformations have been applied. |
void |
JClassDeclaration.checkTransformedTypeBody(CContext context)
Check only the parts of the class that have changed because of the transformations. |
void |
JClassDeclaration.checkTypeBody(CContext context)
Check expression and evaluate and alter context. |
CClassContext |
JClassDeclaration.createContext(CContext parent)
Creates a CClassContext that takes this class as its class context. |
void |
CNumericType.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 |
CType |
JFormalParameter.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 sub classes must check modifiers and call checkInterface(super) |
void |
JInterfaceDeclaration.transformType(CContext context)
Transforms this type before code generation. |
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 |
JInterfaceDeclaration.checkInitializers(CContext context)
Check that initializers are correct. |
void |
JInterfaceDeclaration.checkTypeBody(CContext context)
Check expression and evaluate and alter context. |
CClassContext |
JInterfaceDeclaration.createContext(CContext parent)
createContext. |
Constructors in at.dms.kjc with parameters of type CContext | |
CContext(CContext parent)
Construct a non-specifick context. |
|
CClassContext(CContext parent,
CSourceClass clazz,
JTypeDeclaration decl)
Constructs a class context. |
|
CInterfaceContext(CContext parent,
CSourceClass clazz)
Construct instance. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |