Uses of Class
at.dms.compiler.PositionedError

Packages that use PositionedError
at.dms.compiler   
at.dms.kjc   
 

Uses of PositionedError in at.dms.compiler
 

Subclasses of PositionedError in at.dms.compiler
 class CWarning
          This class represents warnings in the compiler error hierarchy.
 

Methods in at.dms.compiler that return PositionedError
 PositionedError Parser.beautifyParseError(antlr.RecognitionException e)
          Generate an human readable error message
 PositionedError UnpositionedError.addPosition(TokenReference where)
          Returns an error with a reference to the source file.
 

Methods in at.dms.compiler with parameters of type PositionedError
protected  void Parser.reportTrouble(PositionedError trouble)
          Reports that an error has been detected in the lexical analyser.
abstract  void Compiler.reportTrouble(PositionedError trouble)
          Reports a trouble (error or warning).
 void Compiler.inform(PositionedError trouble)
          Write a message to the diagnostic output.
protected  void Scanner.reportTrouble(PositionedError trouble)
          Reports that an error has been detected in the lexical analyzer.
 

Methods in at.dms.compiler that throw PositionedError
protected abstract  antlr.Token Scanner.getToken()
          Returns the next token in the input.
protected  char Scanner.scanEscapeSequence()
          Scans an escape sequence.
protected  boolean Scanner.readJavaComment()
          Reads a Java style comment (with leading // or * or **).
 

Uses of PositionedError in at.dms.kjc
 

Subclasses of PositionedError in at.dms.kjc
 class CBlockError
          This class represents block errors in the error hierarchy.
 class CExpressionError
          This class represents Expression errors in error hierarchy.
 class CLineError
          This class represents Line errors in error hierarchy.
 class CMethodNotFoundError
          This error display all parameters of method call.
 

Methods in at.dms.kjc that return PositionedError
 PositionedError KjcParser.beautifyParseError(antlr.RecognitionException e)
          Generate an human readable error message.
 

Methods in at.dms.kjc with parameters of type PositionedError
 void CContext.reportTrouble(PositionedError trouble)
          Add an error into the list and eat it.
protected  void KjcParser.reportTrouble(PositionedError trouble)
          Reports that an error has been detected in the lexical analyser.
 void CCompilationUnitContext.reportTrouble(PositionedError trouble)
          Add an error into the list and eat it This method should be called after a try catch block after catching exception or directly without exception thrown.
 void Main.reportTrouble(PositionedError trouble)
          Reports a trouble (error or warning).
 

Methods in at.dms.kjc that throw PositionedError
 void CAbstractBodyContext.addBreak(JStatement breakTo, CBodyContext from)
          Adds a break from within this context to the specified statement.
 void CAbstractBodyContext.addContinue(JStatement continueTo, CBodyContext from)
          Adds a continue from within this context to the specified statement.
protected  void CAbstractBodyContext.addForwardedBreak(JStatement breakTo, CBodyContext from)
          Adds a break from within this context to the specified statement.
protected  void CAbstractBodyContext.addForwardedContinue(JStatement continueTo, CBodyContext from)
          Adds a continue from within this context to the specified statement.
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.
abstract  JExpression JExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 JExpression JExpression.checkExpression(CExpressionContext context, boolean isLeftSide, boolean discardValue)
          Check expression and evaluate and alter context
protected  void JExpression.fail(CContext context, MessageDescription key, java.lang.Object[] params)
          Adds a compiler error.
 JExpression JExpression.convertType(CType dest, CExpressionContext context)
          Changes the type of this expression to an other type.
 CType JBinaryExpression.promote(CExpressionContext context)
          Apply binary numeric promotion (JLS2 5.6.2)
 JExpression JBinaryArithmeticExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
abstract  JExpression JBinaryArithmeticExpression.checkBinaryBody(CExpressionContext context)
          Check expression and evaluate and alter context
 JExpression JModuloExpression.checkBinaryBody(CExpressionContext context)
          Check expression and evaluate and alter context.
 void JSwitchLabel.checkBody(CSwitchBodyContext switchContext, CBodyContext context)
          Check body.
protected  void JSwitchLabel.fail(CContext context, MessageDescription key, java.lang.Object[] params)
          Adds a compiler error.
 void JStatement.checkBody(CBodyContext context)
          Check statement.
abstract  void JStatement.checkStatement(CBodyContext context)
          Check statement.
protected  void JStatement.fail(CContext context, MessageDescription key, java.lang.Object[] params)
          Adds a compiler error.
 void JTypeDeclarationStatement.checkStatement(CBodyContext context)
          Check statement.
 JExpression JUnaryPromote.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 void JTryCatchStatement.checkStatement(CBodyContext context)
          Check statement.
 JExpression JShiftExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context
 JExpression JShiftExpression.checkBinaryBody(CExpressionContext context)
          Check expression and evaluate and alter context
 JExpression JBitwiseExpression.checkBinaryBody(CExpressionContext context)
          Check expression and evaluate and alter context.
 void CTryFinallyContext.passBreakAndContinuesToParent()
          Forward breaks from this try context to the parent context.
protected  void CTryFinallyContext.addForwardedBreak(JStatement breakTo, CBodyContext from)
          Adds a break from within this context to the specified statement.
protected  void CTryFinallyContext.addForwardedContinue(JStatement continueTo, CBodyContext from)
          Adds a continue from within this context to the specified statement.
 void JBlock.checkStatement(CBodyContext context)
          Check statement.
 void JContinueStatement.checkStatement(CBodyContext context)
          Check statement.
 JExpression JClassFieldExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
protected  void JClassFieldExpression.findPrefix(CClass local, CExpressionContext context)
          Find the type of the prefix.
 void JClassFieldExpression.checkAccess(CClass local, CExpressionContext context)
          Checks is access to prefix is okay.
 CSourceMethod JMethodDeclaration.checkInterface(CClassContext context)
          Second pass (quick), check interface looks good.
 void JMethodDeclaration.checkStatement(CClassContext context)
          Check expression and evaluate and alter context.
protected  void JMethodDeclaration.checkOverriding(CClassContext context, CMethod superMethod)
           
protected  void JMethodDeclaration.checkAccess(CClassContext context, CMethod superMethod)
          Checks whether access modifiers are valid with resprect to the method that it overrides; an overridden method cannot be more strict than the method that it overries.
protected  void JMethodDeclaration.checkBody(CClassContext context)
          Checks if the method is valid; if it has a body, it cannot occur in an interface, unless it is an initializer.
 CSourceMethod JConstructorDeclaration.checkInterface(CClassContext 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 JConstructorDeclaration.checkStatement(CClassContext context)
          Check expression and evaluate and alter context
 JExpression JOrdinalLiteral.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 JExpression JOrdinalLiteral.convertType(CType dest, CExpressionContext context)
          Changes the type of this expression to an other.
 JExpression JCharLiteral.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 JExpression JCharLiteral.convertType(CType dest, CExpressionContext context)
          Changes the type of this expression to an other.
 JExpression JMethodCallExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 void JExpressionListStatement.checkStatement(CBodyContext context)
          Check statement.
 JExpression JMultExpression.checkBinaryBody(CExpressionContext context)
          Check expression and evaluate and alter context.
 void JCatchClause.checkInterface(CBodyContext context)
          Check statement.
 void JCatchClause.checkBody(CBodyContext context)
          Check statement.
 JExpression JThisExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context
 JExpression JSuperExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 void JVariableDefinition.checkBody(CBodyContext context)
          Check expression and evaluate and alter context.
 JExpression JPrefixExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context
 JExpression JEqualityExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context
 JExpression JNameExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 JExpression JInstanceofExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
protected  antlr.Token KjcScanner.getToken()
           
protected  antlr.Token KjcScanner.getIdentifier()
          Returns next token as identifier.
protected  boolean KjcScanner.readIdentifier()
           
protected  antlr.Token KjcScanner.getCharLiteral()
          Parses a character literal.
protected  antlr.Token KjcScanner.getStringLiteral()
           
 void JWhileStatement.checkStatement(CBodyContext context)
          Check statement.
 void JExpressionStatement.checkStatement(CBodyContext context)
          Check statement.
 JExpression JMinusExpression.checkBinaryBody(CExpressionContext context)
          Check expression and evaluate and alter context.
 JExpression JNewObjectExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
protected  JExpression JNewObjectExpression.checkCall(CExpressionContext context, CType[] argsType)
          ...
protected  CType[] JNewObjectExpression.checkTypes(CExpressionContext context)
          ...
protected  CType[] JNewAnonymousClassExpression.checkTypes(CExpressionContext context)
          Checks types of this expression.
 void JForStatement.checkStatement(CBodyContext context)
          Check statement.
 void JSwitchStatement.checkStatement(CBodyContext context)
          Check statement.
 void JCompoundStatement.checkStatement(CBodyContext context)
          Check statement.
 JExpression JUnaryExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context
 JExpression JArrayInitializer.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 void JReturnStatement.checkStatement(CBodyContext context)
          Check statement.
 void JClassFieldDeclarator.checkStatement(CBodyContext context)
          Check statement.
 JExpression JNewArrayExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 void JConstructorBlock.checkStatement(CBodyContext context)
          Check statement.
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.
 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.
 JExpression JTypeNameExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context
 void CMethodContext.close(TokenReference ref)
          Verify that all checked exceptions are defined in the throw list and return types are valid.
protected  void CSwitchBodyContext.addForwardedBreak(JStatement breakTo, CBodyContext from)
          Adds a break from within this context to the specified self.
 JExpression JDivideExpression.checkBinaryBody(CExpressionContext context)
          Check expression and evaluate and alter context.
 JExpression JParenthesedExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context
 CSourceMethod JInitializerDeclaration.checkInterface(CClassContext 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 JInitializerDeclaration.checkOverriding(CClassContext context, CMethod superMethod)
           
 void JInitializerDeclaration.checkInitializer(CClassContext context)
          Check expression and evaluate and alter context
 JExpression JAssignmentExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 JExpression JCompoundAssignmentExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 void CConstructorContext.close(TokenReference ref)
          Verify that all checked exceptions are defined in the throw list.
 JExpression JLocalVariableExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 JExpression JOuterLocalVariableExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 CSourceMethod CSourceField.getGetterAccessor()
           
 CSourceMethod CSourceField.getSetterAccessor()
           
 JExpression JCastExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
protected  void CLabeledContext.addForwardedBreak(JStatement breakTo, CBodyContext from)
          Adds a break from within this context to the specified statement.
protected  void CLabeledContext.addForwardedContinue(JStatement continueTo, CBodyContext from)
          Adds a continue from within this context to the specified statement.
 JExpression JPostfixExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context
 CSourceField JFieldDeclaration.checkInterface(CClassContext 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 JFieldDeclaration.checkStatement(CBodyContext context)
          Check expression and evaluate and alter context.
 void JTryFinallyStatement.checkStatement(CBodyContext context)
          Check statement.
 JExpression JExplicitConstructorInvocation.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 JExpression JArrayAccessExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 CSourceMethod CSourceClass.addJMethod(JMethodDeclaration method)
           
 void JLabeledStatement.checkStatement(CBodyContext context)
          Check statement.
 CType JArrayDimsAndInits.checkExpression(CExpressionContext context, CType type)
          Check expression and evaluate and alter context
 void JSwitchGroup.checkBody(CSwitchBodyContext context, CBodyContext body)
          Check statement.
 void JFormalParameter.checkBody(CBodyContext context)
          Check expression and evaluate and alter context.
 void JThrowStatement.checkStatement(CBodyContext context)
          Check statement.
 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.
 void JDoStatement.checkStatement(CBodyContext context)
          Check statement.
 void JBreakStatement.checkStatement(CBodyContext context)
          Check statement.
 JExpression JRelationalExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context
 void JVariableDeclarationStatement.checkStatement(CBodyContext context)
          Check statement.
 CSourceMethod CSourceMethod.getAccessor()
          Generates or returns an already-generated method that can access this method from classes that should be able to access this method per the JLS, but can't because the JVM doesn't allow it.
 CSourceMethod CSourceMethod.getSuperAccessor()
          Generates or returns an already-generated method that can access the super-method of this method from classes that should be able to access this method per the JLS, but can't because the JVM doesn't implement it.
 JExpression JClassExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context
 JExpression JRealLiteral.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context
 JExpression JRealLiteral.convertType(CType dest, CExpressionContext context)
          Changes the type of this expression to an other type.
 JExpression JArrayLengthExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 JExpression JAddExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context.
 JExpression JAddExpression.checkBinaryBody(CExpressionContext context)
          Check expression and evaluate and alter context.
protected  void CLoopContext.addForwardedBreak(JStatement breakTo, CBodyContext from)
          Adds a break from within this context to the specified statement.
protected  void CLoopContext.addForwardedContinue(JStatement continueTo, CBodyContext from)
          Adds a continue from within this context to the specified statement.
 JExpression JConditionalAndExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context
 JExpression JConditionalExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context
 void JIfStatement.checkStatement(CBodyContext context)
          Check statement.
 void JCompilationUnit.checkInterface(Compiler compiler)
          Second pass (quick), check interface looks good
 void JCompilationUnit.checkTransformedInterfaces(Compiler compiler)
          Second pass (quick), check interface looks good
 void JCompilationUnit.transformTypes(Compiler compiler)
          Transform types before code generation.
 void JCompilationUnit.checkInitializers(Compiler compiler, java.util.List classes)
          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 JCompilationUnit.checkBody(Compiler compiler, java.util.List classes)
          Check expression and evaluate and alter context
 void JCompilationUnit.checkTransformedTypesBody(Compiler compiler, java.util.List classes)
          Check expression and evaluate and alter context
 JExpression JConditionalOrExpression.checkExpression(CExpressionContext context)
          Check expression and evaluate and alter context
 void JSynchronizedStatement.checkStatement(CBodyContext context)
          Check statement.