Uses of Class
org.multijava.util.compiler.PositionedError

Packages that use PositionedError

org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.util.compiler	Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language.

Uses of PositionedError in org.multijava.mjc

Subclasses of PositionedError in org.multijava.mjc

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 org.multijava.mjc that return PositionedError

PositionedError	MjcParser.beautifyParserError(antlr.ANTLRException e) Returns an exception from our exception hierarchy by wrapping the ANTLR excepton.
PositionedError	ParserUtility.beautifyParserError(antlr.ANTLRException e) Returns an exception from our exception hierarchy by wrapping the ANTLR excepton.

Methods in org.multijava.mjc that throw PositionedError

abstract void	JTypeDeclarationType.preprocessDependencies(CContextType context) Performs preliminary processing on compilation units and types.
abstract void	JTypeDeclarationType.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
abstract void	JTypeDeclarationType.checkInitializers(CContextType context) Checks the static initializers created during the checkInterface pass and performs some other checks that can be performed simply before full blown typechecking.
abstract void	JTypeDeclarationType.resolveSpecializers(CContextType context) Computes the values of specializer expressions used to dispatch on compile-time constants.
abstract void	JTypeDeclarationType.resolveTopMethods() Finds the top method of every declared method.
abstract void	JTypeDeclarationType.typecheck(CContextType context) Typechecks this type declaration in the context in which it appears.
abstract void	CompilerPassEnterable.preprocessDependencies() Invokes the preprocessDependencies method of the implementing class using previously cached arguments.
abstract void	CompilerPassEnterable.checkInterface() Invokes the checkInterface method of the implementing class using previously cached arguments.
abstract void	CompilerPassEnterable.checkInitializers() Invokes the checkInitializers method of the implementing class using previously cached arguments.
abstract void	CompilerPassEnterable.resolveSpecializers() Resolves value specializer expressions to the compile-time constants they represent.
abstract void	CompilerPassEnterable.resolveTopMethods() Finds the top method of every declared method.
abstract void	CompilerPassEnterable.typecheck() Invokes the typecheck method of the implementing class using previously cached arguments.
protected void	JPhylum.fail(CContextType context, MessageDescription description, Object[] params) Adds a compiler error.
protected void	JPhylum.fail(CContextType context, MessageDescription description) Adds a compiler error.
protected void	JPhylum.fail(CContextType context, MessageDescription description, Object param) Adds a compiler error.
void	JPhylum.check(CContextType context, boolean cond, MessageDescription description, Object[] params) Verifies that the condition is true; otherwise adds an error.
void	JPhylum.check(CContextType context, boolean cond, MessageDescription description, Object param1, Object param2) Verifies that the condition is true; otherwise adds an error.
void	JPhylum.check(CContextType context, boolean cond, MessageDescription description, Object param) Verifies that the condition is true; otherwise adds an error.
void	JPhylum.check(CContextType context, boolean cond, MessageDescription description) Verifies that the condition is true; otherwise adds an error.
void	JPhylum.warn(CContextType context, MessageDescription description, Object[] params) Gives a warning message.
void	JPhylum.warn(CContextType context, MessageDescription description) Gives a warning message.
void	JPhylum.warn(CContextType context, MessageDescription description, Object param) Gives a warning message.
void	JPhylum.warn(CContextType context, MessageDescription description, Object param1, Object param2) Gives a warning message.
private void	JCompilationUnit.separateImports() Separates the import statements into those for classes and those for generic functions.
void	JCompilationUnit.preprocessDependencies(Main compiler) Performs preliminary processing on compilation units and types.
private void	JCompilationUnit.groupByAnchor(Main compiler, CCompilationUnitContextType context) Groups top-level methods into collections (of type MJGenericFunctionDecl) that correspond to the anchor classes.
void	JCompilationUnit.checkInterface(Main compiler) Checks the basic interfaces to make sure things generally look OK.
void	JCompilationUnit.checkInitializers(Main compiler) Checks the static initializers created during the checkInterface pass and performs some other checks that can be performed simply before full blown typechecking.
void	JCompilationUnit.resolveSpecializers(Main compiler) Resolves value specializer expressions to the compile-time constants they represent.
void	JCompilationUnit.resolveTopMethods() Finds the top method of every declared method.
void	JCompilationUnit.typecheck(Main compiler) Typechecks this compilation unit.
private CMethod[]	JCompilationUnit.calcVisibleGenericFunctions() Finds the top methods of every generic function visible in this compilation unit.
void	JCompilationUnit.preprocessDependencies() Performs preliminary processing on compilation units and types.
void	JCompilationUnit.checkInterface()
void	JCompilationUnit.checkInitializers()
void	JCompilationUnit.resolveSpecializers()
void	JCompilationUnit.typecheck()
abstract void	JCompilationUnitType.preprocessDependencies(Main compiler) Performs preliminary processing on compilation units and types.
abstract void	JCompilationUnitType.checkInterface(Main compiler) Checks the basic interfaces to make sure things generally look OK.
abstract void	JCompilationUnitType.checkInitializers(Main compiler) Checks the static initializers created during the checkInterface pass and performs some other checks that can be performed simply before full blown typechecking.
abstract void	JCompilationUnitType.resolveSpecializers() Resolves value specializer expressions to the compile-time constants they represent.
abstract void	JCompilationUnitType.resolveTopMethods() Finds the top method of every declared method.
abstract void	JCompilationUnitType.typecheck(Main compiler) Typechecks this compilation unit.
protected static void	CBinaryMethod.resolveTops() Resolves the top methods of all binary methods.
abstract void	CType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
void	CClassType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
void	JLocalVariable.typecheck(CFlowControlContextType context) Typechecks the local variable and mutates the context to record information gathered during typechecking.
CMember	JMethodDeclaration.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
CSourceMethod	JMethodDeclaration.checkInterfaceType(CContextType context, MemberAccess access, String ident) Performs the interface checks that are common to all sorts of methods.
void	JMethodDeclaration.resolveSpecializers(CContextType context) Computes the values of specializer expressions used to dispatch on compile-time constants.
void	JMethodDeclaration.resolveTopMethods() Finds the top method of every declared method.
private void	JMethodDeclaration.changeParametersToReadonly(CContextType context, CType[] params)
private void	JMethodDeclaration.checkUniverses(CContextType context)
private void	JMethodDeclaration.checkUniverseOverriding(CContextType context, CType[] thisparams, CMethod superMethod)
void	JMethodDeclaration.typecheck(CContextType context) Typechecks this method declaration.
void	JMethodDeclaration.addBridge(CContextType context, CMethod method)
void	JMethodDeclaration.checkOverriding(CContextType context, CMethodSet superMethods) Checks that this method appropriately overrides the given superclass methods.
abstract CMember	JMethodDeclarationType.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
abstract CSourceMethod	JMethodDeclarationType.checkInterfaceType(CContextType context, MemberAccess access, String ident) Performs the interface checks that are common to all sorts of methods.
abstract void	JMethodDeclarationType.resolveSpecializers(CContextType context) Computes the values of specializer expressions used to dispatch on compile-time constants.
abstract void	JMethodDeclarationType.resolveTopMethods() Finds the top method of every declared method.
abstract void	JMethodDeclarationType.typecheck(CContextType context) Typechecks this method declaration.
abstract void	JMethodDeclarationType.checkOverriding(CContextType context, CMethodSet superMethods) Checks that this method appropriately overrides the given superclass methods.
protected void	JMethodDeclaration.JMethodDeclaration$1.checkOverriding(CClassContext contxt)
abstract JExpression	JExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JExpression.typecheck(CExpressionContextType context, boolean isIncDec, boolean isLeftSide, boolean discardValue) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected void	JExpression.fail(CContextType context, MessageDescription key, Object[] params) Adds a compiler error.
JExpression	JExpression.convertType(CType dest, CExpressionContextType context) Changes the type of this expression to the given type.
void	JExpression.buildUniverseDynChecks(CExpressionContextType context, JExpression var) Creates the expressions for the dynamic universe typechecks.
JExpression	JThisExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JLocalVariableExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
abstract void	JTypeDeclaration.preprocessDependencies(CContextType context) Performs preliminary processing on compilation units and types.
void	JTypeDeclaration.preprocessDependencies(CContextType context, CClassType superClassType) Performs preliminary processing on compilation units and types.
void	JTypeDeclaration.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
void	JTypeDeclaration.checkInitializers(CContextType context) Checks the static initializers created during the checkInterface pass and performs some other checks that can be performed simply before full blown typechecking.
void	JTypeDeclaration.resolveTopMethods() Finds the top method of every declared method.
abstract void	JTypeDeclaration.resolveSpecializers(CContextType context) Computes the values of specializer expressions used to dispatch on compile-time constants.
void	JTypeDeclaration.typecheck(CContextType context) Typechecks this type declaration in the context in which it appears.
void	JTypeDeclaration.preprocessDependencies() Performs preliminary processing on compilation units and types.
void	JTypeDeclaration.checkInterface()
void	JTypeDeclaration.checkInitializers()
void	JTypeDeclaration.resolveSpecializers()
void	JTypeDeclaration.typecheck()
void	MemberAccess.checkAccessModifiers(CContextType context, JMemberDeclaration member) Check illegal combinations of modifiers common to classes, interfaces, fields, and methods.
void	MemberAccess.checkClassModifiers(CContextType context, JTypeDeclaration member) Check for illegal combinations of modifiers disallowed in classes and interfaces.
void	MemberAccess.checkFieldModifiers(CContextType context, JFieldDeclaration member) Check for illegal combinations of modifiers disallowed in field declarations.
long	MemberAccess.checkInterfaceFieldModifiers(CContextType context, JFieldDeclaration member) Check for illegal combinations of modifiers disallowed in interface field declarations.
void	MemberAccess.checkMethodModifiers(CContextType context, JMethodDeclaration member) Check for illegal combinations of modifiers disallowed in method declarations.
void	MemberAccess.checkExternalMethodModifiers(CContextType context, JMethodDeclaration member) Check for illegal combinations of modifiers disallowed in external method declarations.
long	MemberAccess.checkInterfaceMethodModifiers(CContextType context, JMethodDeclaration member) Check for illegal combinations of modifiers disallowed in interface method declarations.
void	CBooleanType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
void	CValueType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
abstract void	CMethodContextType.verifyExceptions(TokenReference ref) Verifies that all checked exceptions are defined in the throw list.
abstract void	CConstructorContextType.verifyExceptions(TokenReference ref) Verifies that all checked exceptions are defined in the throw list.
abstract void	JClassOrGFImportType.setImportKind(FileFinder finder) Registers whether this imports a type or an external generic function.
void	CMethodContext.verifyExceptions(TokenReference ref) Verifies that all checked exceptions are defined in the throw list.
void	CConstructorContext.verifyExceptions(TokenReference ref) Verifies that all checked exceptions are defined in the throw list.
abstract void	JStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
protected void	JStatement.fail(CContextType context, MessageDescription key, Object[] params) Adds a compiler error.
void	JLabeledStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JSwitchStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	CNumericType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
void	JReturnStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JReturnStatement.checkNullity(CContextType context)
abstract CSourceField	JFieldDeclarationType.checkInterface(CClassContextType context) Checks the basic interfaces to make sure things generally look OK.
abstract void	JFieldDeclarationType.typecheck(CFlowControlContextType context) Checks whether this field declaration includes a field initializer and mutates the context to store this information about the field.
void	JBlock.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
CMember	MJTopLevelMethodDeclaration.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
abstract CMember	MJTopLevelDeclaration.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
void	CVoidType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
JExpression	JLiteral.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JOrdinalLiteral.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JOrdinalLiteral.convertType(CType dest, CExpressionContextType context) convertType changes the type of this expression to another
static JLocalVariable	CUniverseRuntimeHelper.getTmpVariable(CExpressionContextType context, JExpression currentNode, CType type) Get a reference to a temporary variable to store expressions that are used more than once, but should not be evaluated more than once of course.
JExpression	JNameExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
private JExpression	JNameExpression.convertToPackageName(CExpressionContextType context) Called if the prefix doesn't typecheck, this tries to use the prefix as a package name to be prepended to the identifier hopefully yielding a fully qualified name.
JExpression	JMethodCallExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
private void	JMethodCallExpression.typecheckUncheckedWarnings(CType[] actuals, CExpressionContextType context) Issues unchecked warnings for the actual parameters which need unchecked conversion (JLS3 5.1.9) to conform to their corresponding formal parameters.
private void	JMethodCallExpression.handlePossibleRawTypeAccess(CExpressionContextType context) If a non-static method is accessed as a member of a raw type, the following actions are performed (see JLS3 4.8): Replace the type of the method return value by its erasure.
private void	JMethodCallExpression.typecheckNullity(CExpressionContextType context)
protected CType[]	JMethodCallExpression.checkArgumentTypes(CExpressionContextType context) Typechecks args and returns an array of the argument types.
protected CMethod	JMethodCallExpression.lookupMethod(CType[] argTypes, CExpressionContextType context) Returns the apparent target method for this call.
protected void	JMethodCallExpression.handleSuperPrefix(CType[] argTypes, CExpressionContextType context) Handles processing of cases where prefix is a super expression, including various hacks for MultiJava super sends and for super sends to inner and outer classes.
private void	JMethodCallExpression.ensurePrefixIsInitialized(CExpressionContextType context) Ensures that, if the target method is not static, then the prefix field contains an appropriate expression that evaluates to the method's receiver.
private void	JMethodCallExpression.typecheckUniverse(CExpressionContextType context) Typecheck the universe properties of the method call.
private CUniverse	JMethodCallExpression.typecheckUniverseNonPureOnPivot(CExpressionContextType context, CUniverse prefix_universe) Check the properties of a non-pure method call that is performed through a pivot, i.e. not on this.
private CUniverse	JMethodCallExpression.typecheckUniversePureOnPivot(CExpressionContextType context, CUniverse prefix_universe) Check the properties of a pure method call that is performed through a pivot, i.e. not on this.
private CUniverse	JMethodCallExpression.typecheckUniverseMethodOnThis(CExpressionContextType context, CUniverse prefix_universe) Check the properties of a method call that is performed on this, the current object, regardless of whether the call is pure or not.
private void	JMethodCallExpression.checkParameterUniverses(CExpressionContextType context, CUniverse prefix_universe, boolean non_pure_through_pivot) Check the universe types of the parameters.
CType	JBinaryExpression.promote(CExpressionContextType context) Apply binary numeric promotion (JLS 5.6.2)
JExpression	JBinaryArithmeticExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
abstract JExpression	JBinaryArithmeticExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JAddExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JAddExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JArrayAccessExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
CType	JArrayDimsAndInits.typecheck(CExpressionContextType context, CType type) Typechecks this array dimension and initialization instruction in the given context.
JExpression	JArrayInitializer.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JArrayLengthExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JArrayLengthExpression.typecheckNullity(CExpressionContextType context)
void	JAssertStatement.typecheck(CFlowControlContextType context)
JExpression	JAssignmentExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JIfStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
JExpression	JBitwiseExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
void	JBreakStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
JExpression	JCastExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JExpression	JCastExpression.typecheckHelper(CExpressionContextType context)
void	JCatchClause.checkInterface(CFlowControlContextType context) Checks the type of the caught exception.
void	JCatchClause.typecheck(CFlowControlContextType context) Typechecks this catch clause and modifies the context to indicate that this catch clause is reachable.
CSpecializedType	JFormalParameter.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
void	JFormalParameter.resolveSpecializer(CFlowControlContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
void	JFormalParameter.typecheck(CFlowControlContextType context) Typechecks the parameter and mutates the context to record information gathered during typechecking.
JExpression	JCharLiteral.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JCharLiteral.convertType(CType dest, CExpressionContextType context) convertType changes the type of this expression to an other
void	JClassDeclaration.preprocessDependencies(CContextType context) Performs preliminary processing on compilation units and types.
void	JClassDeclaration.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
void	JClassDeclaration.checkInitializers(CContextType context) Checks the static initializers created during the checkInterface pass and performs some other checks that can be performed simply before full blown typechecking.
void	JClassDeclaration.resolveSpecializers(CContextType context) Computes the values of specializer expressions used to dispatch on compile-time constants.
void	JClassDeclaration.typecheck(CContextType context) Typechecks this type declaration in the context in which it appears.
abstract void	JConstructorDeclarationType.typecheck(CClassContextType context, CVariableInfoTable instanceInfo) Typechecks this method declaration.
void	JInitializerDeclaration.checkInitializer(CClassContextType context) Checks the static initializers and informs the context that it has a valid initializer.
JExpression	JClassExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JClassFieldDeclarator.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
JExpression	JClassFieldExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
private void	JClassFieldExpression.findPrefixAndField(CMemberHost localHost, CExpressionContextType context) Finds the type of the prefix as part of typechecking.
private void	JClassFieldExpression.handlePossibleRawTypeAccess(CExpressionContextType context) If a non-static field is accessed as a member of a raw type, the following actions are performed (see JLS3 4.8): Replace the type of the field access expression by its erasure.
private void	JClassFieldExpression.checkAccess(CMemberHost localHost, CExpressionContextType context) Verifies that the field is accessible in this context.
private void	JClassFieldExpression.typecheckUniverse(CExpressionContextType context) Performs all the checks whether the class field expression is valid according to the universe type system.
void	JClassOrGFImport.setImportKind(FileFinder finder) Registers whether this imports a type or an external generic function.
void	MJGenericFunctionDecl.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
void	MJGenericFunctionDecl.resolveSpecializers(CContextType context) Computes the values of specializer expressions used to dispatch on compile-time constants.
void	MJGenericFunctionDecl.resolveTopMethods() Finds the top method of every declared method.
void	MJGenericFunctionDecl.typecheck(CContextType context) Typechecks this generic function declaration in the context in which it appears.
JExpression	JCompoundAssignmentExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JCompoundStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
JExpression	JConditionalAndExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JConditionalExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JConditionalOrExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JConstructorBlock.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
JExpression	JExplicitConstructorInvocation.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
CMember	JConstructorDeclaration.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
void	JConstructorDeclaration.typecheck(CContextType context) Typechecks this method declaration.
void	JConstructorDeclaration.typecheck(CClassContextType cContext, CVariableInfoTable instanceInfo) Typechecks this method declaration.
void	JContinueStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
JExpression	JDivideExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
void	JDoStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
JExpression	JEqualityExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JExpression	JEqualityExpression.typecheckHelper(CExpressionContextType context, CType leftType, CType rightType)
JExpression	JRealLiteral.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JRealLiteral.convertType(CType dest, CExpressionContextType context) convertType changes the type of this expression to an other
JExpression	JUnaryExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JExpression	JUnaryExpression.noFolding(JExpression expr, CExpressionContextType context) No Constant Folding (to be overridden in JML)
protected JExpression	JUnaryExpression.plusMinusConstantFolding(CExpressionContextType context) Constant Folding (+, -)
JExpression	JMinusExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JMultExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JModuloExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JShiftExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JShiftExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
void	JExpressionListStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JExpressionStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
CSourceField	JFieldDeclaration.checkInterface(CClassContextType context) Checks the basic interfaces to make sure things generally look OK.
void	JFieldDeclaration.typecheck(CFlowControlContextType context) Checks whether this field declaration includes a field initializer and mutates the context to store this information about the field.
void	JVariableDefinition.typecheck(CFlowControlContextType context) Typechecks the definition and mutates the context to record information gathered during typechecking.
void	JForStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
JExpression	JInstanceofExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JInterfaceDeclaration.preprocessDependencies(CContextType context) Performs preliminary processing on compilation units and types.
void	JInterfaceDeclaration.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
void	JInterfaceDeclaration.checkInitializers(CContextType context) Checks the static initializers created during the checkInterface pass and performs some other checks that can be performed simply before full blown typechecking.
void	JInterfaceDeclaration.resolveSpecializers(CContextType context) Computes the values of specializer expressions used to dispatch on compile-time constants.
void	JInterfaceDeclaration.typecheck(CContextType context) Typechecks this type declaration in the context in which it appears.
JExpression	JNewObjectExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JNewObjectExpression.ArgTypes	JNewObjectExpression.checkTypes(CExpressionContextType context) Resolves and checks the types of the actual parameters to the constructor.
protected JExpression	JNewObjectExpression.checkCall(CExpressionContextType context, JNewObjectExpression.ArgTypes argTypes) Typechecks the invocation of the actual constructor of the object instantiated.
private void	JNewObjectExpression.checkForUncheckedWarnings(JNewObjectExpression.ArgTypes argTypes, CExpressionContextType context) Issues unchecked warnings for the actual parameters which need unchecked conversion (JLS3 5.1.9) to conform to their corresponding formal parameters.
void	JNewObjectExpression.buildUniverseDynChecks(CExpressionContextType context, JExpression var) Creates the expressions for the dynamic universe typechecks.
private static JMethodCallExpression[]	JNewObjectExpression.buildNewObjectUniverseDynChecks(CExpressionContextType context, CClassType type, JExpression var) Creates the expressions for the dynamic universe typechecks.
protected JNewObjectExpression.ArgTypes	JNewAnonymousClassExpression.checkTypes(CExpressionContextType context) Resolves and checks the types of the actual parameters to the constructor.
JExpression	JNewArrayExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JNewArrayExpression.buildUniverseDynChecks(CExpressionContextType context, JExpression var) Creates the expressions for the dynamic universe typechecks.
private static JMethodCallExpression	JNewArrayExpression.buildNewArrayUniverseDynChecks(CExpressionContextType context, CArrayType type, JExpression var) Creates the method call for the dynamic universe typechecks.
JExpression	JOuterLocalVariableExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JParenthesedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JPostfixExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JPrefixExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JRelationalExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JExpression	JRelationalExpression.typecheck_helper(CExpressionContextType context) This is just used by subclasses to call super class type checking when the arguments are already typechecked.
protected CType[]	JResendExpression.checkArgumentTypes(CExpressionContextType context) Typechecks args and returns an array of the argument types.
protected CMethod	JResendExpression.lookupMethod(CType[] argTypes, CExpressionContextType context) Returns the apparent target method for this call.
JExpression	JSuperExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JSwitchGroup.typecheck(CSwitchGroupContext context) Typechecks the group and mutates the context to record information gathered during typechecking.
void	JSwitchLabel.typecheck(CSwitchGroupContext context) Typechecks the group and mutates the context to record information gathered during typechecking.
protected void	JSwitchLabel.fail(CContextType context, MessageDescription key, Object[] params) Adds a compiler error.
void	JSynchronizedStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JThrowStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JTryCatchStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
private boolean	JTryCatchStatement.checkClause(CFlowControlContextType entryContext, CFlowControlContextType exitContext, JCatchClause clause) Checks the given catch-block, clause, using the definite assignment information from entryContext.
void	JTryFinallyStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JTypeDeclarationStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
JExpression	JTypeNameExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JUnaryPromote.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JVariableDeclarationStatement.typecheck(CFlowControlContextType context) Typechecks the statement and mutates the context to record information gathered during typechecking.
void	JWhileStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
JExpression	MJWarnExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
private void	MJWarnExpression.partly_desugar(CExpressionContextType context) Requires this.scope_is_one_op.
JExpression	MJMathModeExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
CMember	MJTopLevelAbstractMethodDeclaration.checkInterface(CContextType context)

Uses of PositionedError in org.multijava.util.compiler

Subclasses of PositionedError in org.multijava.util.compiler

class

CWarning This class represents warnings in the compiler error hierarchy

Methods in org.multijava.util.compiler that return PositionedError

PositionedError

UnpositionedError.addPosition(TokenReference where) Returns an error with a reference to the source file.