|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |