Uses of Class
at.dms.compiler.UnpositionedError

Packages that use UnpositionedError
at.dms.backend   
at.dms.compiler   
at.dms.kjc   
at.dms.optimize   
 

Uses of UnpositionedError in at.dms.backend
 

Methods in at.dms.backend that throw UnpositionedError
static void Main.optimizeClass(ClassInfo info, BackendOptions options)
          Reads, optimizes and writes a class file
 

Uses of UnpositionedError in at.dms.compiler
 

Methods in at.dms.compiler with parameters of type UnpositionedError
 void Compiler.inform(UnpositionedError error)
          Write a message to the diagnostic output.
 

Methods in at.dms.compiler that throw UnpositionedError
 File[] Compiler.verifyFiles(String[] names)
          Creates an array of files from the specified array of file names.
 Vector Compiler.verifyFiles(Vector names)
          Takes a vector of file names an checks that each exists.
 

Uses of UnpositionedError in at.dms.kjc
 

Methods in at.dms.kjc with parameters of type UnpositionedError
 void Main.reportTrouble(UnpositionedError trouble)
          Reports a trouble.
 

Methods in at.dms.kjc that throw UnpositionedError
 void CBlockContext.addClass(CClass clazz)
          addLocalClass
 void CSwitchGroupContext.addDefault()
          add a default label to this switch
 void CSwitchBodyContext.addDefault()
          add a default label to this switch
 void CSwitchGroupContext.addLabel(Integer value)
          add a label to this switch and check it is a new one
 void CSwitchBodyContext.addLabel(Integer value)
          add a label to this switch and check it is a new one
 void CBlockContext.addVariable(JLocalVariable var)
          addLocal variable
 void CContext.check(boolean assertion, MessageDescription description)
          Verifies an assertion.
 void CContext.check(boolean assertion, MessageDescription description, Object parameter1)
          Verifies an assertion.
 void CContext.check(boolean assertion, MessageDescription description, Object[] parameters)
          Verifies an assertion.
 void CContext.check(boolean assertion, MessageDescription description, Object parameter1, Object parameter2)
          Verifies an assertion.
 void CMethod.checkOverriding(CMethod superMethod)
          Checks that overriding/hiding is correct.
 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 CInterfaceContext.close(JTypeDeclaration decl, CBodyContext virtual)
          Verify all final fields are initialized
 void CClassContext.close(JTypeDeclaration decl, CVariableInfo staticC, CVariableInfo instanceC, CVariableInfo[] constructorsC)
          Verify all final fields are initialized
static CType JShiftExpression.computeType(CType leftType, CType rightType)
          compute the type of this expression according to operands
static CType JMultExpression.computeType(CType leftType, CType rightType)
          compute the type of this expression according to operands
static CType JModuloExpression.computeType(CType leftType, CType rightType)
          compute the type of this expression according to operands
static CType JMinusExpression.computeType(CType leftType, CType rightType)
          compute the type of this expression according to operands
static CType JDivideExpression.computeType(CType leftType, CType rightType)
          compute the type of this expression according to operands
static CType JBitwiseExpression.computeType(CType leftType, CType rightType)
          compute the type of this expression according to operands
static CType JAddExpression.computeType(CType leftType, CType rightType)
          compute the type of this expression according to operands
static CType JBinaryArithmeticExpression.computeType(String operator, CType left, CType right)
          compute the type of this expression according to operands
 void CContext.fail(MessageDescription description, Object[] parameters)
          Throws a semantic error detected during analysis.
 void CContext.fail(MessageDescription description, Object parameter1, Object parameter2)
          Signals a semantic error detected during analysis.
 CClassType CContext.lookupClass(CClass caller, String name)
          lookupClass search for a class with the provided type parameters
 CClassType CCompilationUnitContext.lookupClass(CClass caller, String name)
           
 CClassType CCompilationUnit.lookupClass(CClass caller, String name)
           
 CClassType CClassContext.lookupClass(CClass caller, String name)
          lookupClass search for a class with the provided type parameters
 CClass CClass.lookupClass(CClass caller, String name)
          This can be used to see if a given class name is visible inside of this file.
 CClassType CBlockContext.lookupClass(CClass caller, String ident)
          lookupClass search for a class with the provided type parameters
 CField CContext.lookupField(CClass caller, String ident)
          Searches the class or interface to locate declarations of fields that are accessible.
 CField CClassContext.lookupField(CClass caller, String ident)
          Searches the class or interface to locate declarations of fields that are accessible.
 CField CClass.lookupField(CClass caller, String ident)
          Searches the class or interface to locate declarations of fields that are accessible.
 CMethod CContext.lookupMethod(CClass caller, String ident, CType[] actuals)
          JLS 15.12.2 : Searches the class or interface to locate method declarations that are both applicable and accessible, that is, declarations that can be correctly invoked on the given arguments.
 CMethod CClassContext.lookupMethod(CClass caller, String ident, CType[] actuals)
          JLS 15.12.2 : Searches the class or interface to locate method declarations that are both applicable and accessible, that is, declarations that can be correctly invoked on the given arguments.
 CMethod CClass.lookupMethod(CClass caller, String ident, CType[] actuals)
          JLS 15.12.2 : Searches the class or interface to locate method declarations that are both applicable and accessible, that is, declarations that can be correctly invoked on the given arguments.
 CField CClassContext.lookupOuterField(CClass caller, String ident)
          Searches the class or interface to locate declarations of fields that are accessible.
 CField CClass.lookupSuperField(CClass caller, String ident)
          Searches the class or interface to locate declarations of fields that are accessible.
 CMethod[] CClass.lookupSuperMethod(String ident, CType[] actuals)
          Searches the superclass and superinterfaces to locate method declarations that are applicable.
 void JExpression.setInitialized(CExpressionContext context)
          Declares this variable to be initialized.
 

Uses of UnpositionedError in at.dms.optimize
 

Methods in at.dms.optimize that throw UnpositionedError
static void Main.optimizeClass(ClassInfo info, int level, boolean verbose)
          Reads, optimizes and writes a class file