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 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.