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

Packages that use PositionedError

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
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.jmlspecs.checker

Methods in org.jmlspecs.checker that return PositionedError

PositionedError

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

Methods in org.jmlspecs.checker that throw PositionedError

abstract void	JmlDeclaration.typecheck(CContextType context) Typechecks this invariant clause in the context in which it appears.
protected void	JmlDeclaration.checkModifiers(CContextType context) Checks the modifiers of this JML declaration.
CSpecializedType	JmlFormalParameter.checkInterface(CContextType context)
private void	JmlFormalParameter.checkNullityAdjustType(CContextType context) Ensures that at most one nullity modifier is used and that it is applied to a reference type.
void	JmlInvariant.typecheck(CContextType context) Typechecks this invariant clause in the context in which it appears.
void	JmlConstraint.typecheck(CContextType context) Typechecks this invariant clause in the context in which it appears.
void	JmlRepresentsDecl.typecheck(CContextType context) Typechecks this depends/represents clause in the context in which it appears.
protected void	JmlRepresentsDecl.checkStoreRef(JmlExpressionContext context) Checks the store ref of this depends/represents clause.
protected void	JmlRepresentsDecl.checkRightHandSide(JmlExpressionContext context) Performs type-checking of right-hand side of the represents clause.
void	JmlAxiom.typecheck(CContextType context) Typechecks this invariant clause in the context in which it appears.
abstract void	JmlVarAssertion.typecheck(CContextType context) Typecheck this variable assertion and mutates the context to store the information obtained during the checking.
void	CTypeType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
void	JConstructorBlockWrapper.typecheck(CFlowControlContextType context)
CMember	JConstructorDeclarationWrapper.checkInterface(CContextType context)
void	JInterfaceDeclarationWrapper.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
void	JInterfaceDeclarationWrapper.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	JMethodDeclarationWrapper.checkOverriding(CContextType context, CMethodSet superMethods) Checks that this method appropriately overrides the given superclass methods.
void	JMethodDeclarationWrapper.typecheck(CContextType context)
void	JmlSpecBody.typecheck(CFlowControlContextType context, long privacy) Typechecks this spec body in the context in which it appears.
abstract void	JmlSpecBodyClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this specification body clause in the context in which it appears.
abstract void	JmlSpecCase.typecheck(CFlowControlContextType context) Typechecks this specification case in the context in which it appears.
void	JmlGeneralSpecCase.typecheck(CFlowControlContextType context, long privacy, boolean isNestedSpecCase) Typechecks this specification case with the privacy, privacy, in the context in which it appears.
void	JmlGeneralSpecCase.typecheck(CFlowControlContextType context) Typechecks this specification case in the context in which it appears.
abstract void	JmlSpecVarDecl.typecheck(CFlowControlContextType context, long privacy) Typechecks the specification variable declarations in the context in which it appears.
void	JmlPredicateClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this clause with the privacy, privacy, in the context in which it appears.
void	JmlAccessibleClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this accessible clause in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
void	JmlAssertOrAssumeStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JmlAssignableClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this assignable clause in the context in which it appears.
void	JmlHeavyweightSpec.typecheck(CFlowControlContextType context) Typechecks this heavyweight-spec in the context in which it appears.
void	JmlCallableClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this callable clause in the context in which it appears.
void	JmlCapturesClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this captures clause in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
void	JmlClassBlock.typecheck(CFlowControlContextType context) Typechecks this initializer in the context in which it appears.
void	JmlMemberDeclaration.checkRefinedModifiers(CContextType context, JmlMemberDeclaration member) Makes the general modifier consistency checks between refined declarations that are required of all refining members.
void	JmlTypeDeclaration.preprocessDependencies(CContextType context) Performs preliminary processing on compilation units and types.
void	JmlTypeDeclaration.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
void	JmlTypeDeclaration.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	JmlTypeDeclaration.resolveSpecializers(CContextType context) Computes the values of specializer expressions used to dispatch on compile-time constants.
void	JmlTypeDeclaration.resolveTopMethods() Finds the top method of every declared method.
void	JmlTypeDeclaration.typecheck(CContextType context) Typechecks this type declaration in the context in which it appears.
void	JmlTypeDeclaration.preprocessDependencies() Performs preliminary processing on compilation units and types.
void	JmlTypeDeclaration.checkInterface()
void	JmlTypeDeclaration.checkInitializers()
void	JmlTypeDeclaration.resolveSpecializers()
void	JmlTypeDeclaration.typecheck()
void	JmlTypeDeclaration.setRefinedType(JmlTypeDeclaration refinedType) Registers that the given type declaration, refinedType, is refined by this type declaration.
private void	JmlTypeDeclaration.checkForCycles(JmlTypeDeclaration refinedType) Sets the refinedType field of this JmlTypeDeclaration object.
void	JmlTypeDeclaration.checkAssignableClauses()
private void	JmlTypeDeclaration.linkInnerTypeRefinements() Links the inner types of a refinement chain of this JmlTypeDeclaration object.
void	JmlClassDeclaration.resolveSpecializers(CContextType context) Computes the values of specializer expressions used to dispatch on compile-time constants.
void	JmlClassOrGFImport.setImportKind(FileFinder finder) Registers whether this imports a type or an external generic function.
void	JmlCompilationUnit.preprocessDependencies(Main compiler) Performs preliminary processing on compilation units and types.
void	JmlCompilationUnit.checkInterface(Main compiler)
void	JmlCompilationUnit.checkInitializers(Main compiler)
(package private) void	JmlCompilationUnit.resolveSpecializers(Main compiler) Resolves value specializer expressions to the compile-time constants they represent.
void	JmlCompilationUnit.resolveTopMethods() Finds the top method of every declared method.
void	JmlCompilationUnit.typecheck(Main compiler)
void	JmlCompilationUnit.checkAssignableClauses()
void	JmlCompilationUnit.preprocessDependencies() Performs preliminary processing on compilation units and types.
void	JmlCompilationUnit.checkInterface()
void	JmlCompilationUnit.checkInitializers()
void	JmlCompilationUnit.resolveSpecializers()
void	JmlCompilationUnit.typecheck()
void	JmlCodeContract.typecheck(CFlowControlContextType context) Typechecks this CodeContract in the context in which it appears.
CMember	JmlMethodDeclaration.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
CSourceMethod	JmlMethodDeclaration.checkInterfaceType(CContextType context, MemberAccess access, String ident) Performs the interface checks that are common to all sorts of methods.
void	JmlMethodDeclaration.resolveTopMethods() Finds the top method of every declared method.
void	JmlMethodDeclaration.resolveSpecializers(CContextType context) Computes the values of specializer expressions used to dispatch on compile-time constants.
void	JmlMethodDeclaration.typecheck(CContextType context) Typechecks this method declaration.
private void	JmlMethodDeclaration.checkNullityAdjustType(CContextType context) Ensures that at most one nullity modifier is used and that it is applied to a reference type.
private void	JmlMethodDeclaration.checkNullityForOverriddenMethods(CContextType context, JmlSourceMethod self)
private void	JmlMethodDeclaration.checkParamNullity(CContextType context, JmlSourceMethod self, JmlSourceMethod overriddenMeth) Ensure that nullity modifiers of the parameter(s) of self exactly match with the corresponding parameter(s) of overriddenMeth, a method that it overrides.
private void	JmlMethodDeclaration.checkResultNullity(CContextType context, JmlSourceMethod self, JmlSourceMethod overriddenMeth) Ensure that nullity modifiers of the (return type of) self are consistent with overriddenMeth, a method that it overrides.
private void	JmlMethodDeclaration.checkMathModes(CContextType context)
private void	JmlMethodDeclaration.checkMethodSpecification(CClassContextType cContext, JmlSourceMethod self)
void	JmlMethodDeclaration.jmlchecks(CContextType context, JmlSourceMethod self)
void	JmlMethodDeclaration.checkOverriding(CContextType context, CMethodSet superMethods) Checks that this method appropriately overrides the given superclass methods.
void	JmlMethodDeclaration.checkRefinementConsistency(CContextType context)
private void	JmlMethodDeclaration.accumulateNonNullStats(JmlContext context)
void	JmlConstructorDeclaration.typecheck(CClassContextType cContext, CVariableInfoTable instanceInfo) Typechecks this method declaration.
protected CMethod	JmlMethodName.lookupMethod(CType[] argTypes, CExpressionContextType context)
void	JmlMethodName.typecheck(CFlowControlContextType context, long privacy, boolean checkPurity) Typechecks this method name in the context in which it appears.
void	JmlConstructorName.typecheck(CFlowControlContextType context, long privacy, boolean checkPurity) Typechecks this constructor name in the context in which it appears.
void	JmlDebugStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JmlDurationClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this duration clause in the context in which it appears.
JExpression	JmlExpression.typecheck(CExpressionContextType context)
JExpression	JmlDurationExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlElemTypeExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JmlExample.typecheck(CFlowControlContextType context) Typechecks the example the context in which it appears.
void	JmlMethodSpecification.typecheck(CFlowControlContextType context) Typechecks this methodSpecification in the context in which it appears.
abstract void	JmlMethodSpecification.typecheckModelPrograms(CFlowControlContextType context) Typechecks the model programs in this extendingSpecification in the context in which they appear.
void	JmlSpecification.typecheck(CFlowControlContextType context) Typechecks this extendingSpecification in the context in which it appears.
void	JmlSpecification.typecheckModelPrograms(CFlowControlContextType context) Typechecks the model programs in this extendingSpecification in the context in which they appear.
CSourceField	JmlFieldDeclaration.checkInterface(CClassContextType context) Checks the basic interfaces to make sure things generally look OK.
void	JmlFieldDeclaration.typecheck(CFlowControlContextType context) Checks whether this field declaration includes a field initializer and mutates the context to store this information about the field.
private void	JmlFieldDeclaration.checkNullityAdjustType(CContextType context) Ensures that at most one nullity modifier is used and that it is applied to a reference type.
private void	JmlFieldDeclaration.checkAdmissibility(CContextType context) Admissibility check: if ownership admissibility checks are enabled, one must check that if a non-model field is not declared private, then its type is not declared as rep, i.e. a non-model rep field must be private.
void	JmlFieldDeclaration.checkFieldSpecs(CFlowControlContextType context, JmlSourceField self) Typechecks the specifications associated with this field, i.e., data group specifications.
private void	JmlFieldDeclaration.accumulateNonNullStats(CContextType context)
void	JmlFieldDeclaration.checkRefinementConsistency(CContextType context)
void	JmlForAllVarDecl.typecheck(CFlowControlContextType context, long privacy) Typechecks the specification variable declarations in the context in which it appears.
JExpression	JmlFreshExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JmlGuardedStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JmlHenceByStatement.typecheck(CFlowControlContextType context)
void	JmlDataGroupClause.typecheck(CFlowControlContextType context, long privacy) Typecheck this variable assertion and mutates the context to store the information obtained during the checking.
void	JmlInGroupClause.typecheck(CFlowControlContextType context, long privacy) Typecheck this variable assertion and mutates the context to store the information obtained during the checking.
JExpression	JmlInformalExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
abstract JmlStoreRef	JmlStoreRef.typecheck(CExpressionContextType context, long privacy) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
JmlStoreRef	JmlInformalStoreRef.typecheck(CExpressionContextType context, long privacy) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
void	JmlInitiallyVarAssertion.typecheck(CContextType context) Typecheck this variable assertion and mutates the context to store the information obtained during the checking.
void	JmlInterfaceDeclaration.resolveSpecializers(CContextType context) Computes the values of specializer expressions used to dispatch on compile-time constants.
JExpression	JmlInvariantForExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
abstract void	JmlModelProgStatement.typecheck(CFlowControlContextType context)
void	JmlInvariantStatement.typecheck(CFlowControlContextType context)
JExpression	JmlIsInitializedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlLabelExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JmlLetVarDecl.typecheck(CFlowControlContextType context, long privacy) Typechecks the specification variable declarations in the context in which it appears.
JExpression	JmlLockSetExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JmlLoopInvariant.typecheck(CExpressionContextType context)
void	JmlLoopStatement.typecheck(CFlowControlContextType context) Typechecks this JML loop statement in the context in which it appears.
void	JmlMapsIntoClause.typecheck(CFlowControlContextType context, long privacy) Typecheck this variable assertion and mutates the context to store the information obtained during the checking.
JExpression	JmlMaxExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JmlMeasuredClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this measured_by clause in the context in which it appears.
void	JmlMethodNameList.typecheck(CFlowControlContextType context, long privacy) Typechecks this callable clause in the context in which it appears.
void	JmlModelProgram.typecheck(CFlowControlContextType context) Typechecks this model program specification in the context in which it appears.
void	JmlMonitorsForVarAssertion.typecheck(CContextType context) Typecheck this variable assertion and mutates the context to store the information obtained during the checking.
JmlName	JmlName.typecheck(CExpressionContextType context) Typechecks the store reference and mutates the context to record information gathered during typechecking.
JExpression	JmlNonNullElementsExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JmlAssignmentStatement.typecheck(CFlowControlContextType context)
void	JmlNondetChoiceStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JmlNondetIfStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
JExpression	JmlStoreRefListWrapper.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlNotAssignedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlNotModifiedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlOnlyAccessedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlOnlyAssignedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlOnlyCalledExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlOnlyCapturedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlOldExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlPredicate.typecheck(CExpressionContextType context, long privacy) Typechecks this JML predicate in the context of the given context, context.
JExpression	JmlPredicate.typecheck(CExpressionContextType context) Typechecks this JML predicate in the context of the given context, context.
JExpression	JmlPreExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlReachExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JmlReadableIfVarAssertion.typecheck(CContextType context) Typecheck this variable assertion and mutates the context to store the information obtained during the checking.
void	JmlWritableIfVarAssertion.typecheck(CContextType context) Typecheck this variable assertion and mutates the context to store the information obtained during the checking.
void	JmlRedundantSpec.typecheck(CFlowControlContextType context) Typechecks this redudant-spec in the context in which it appears.
void	JmlRefinePrefix.preprocessDependencies(Main compiler) Performs preliminary processing on compilation units and types.
static JmlBinaryType	JmlRefinePrefix.buildBinaryType(TokenReference where, String prefix)
void	JmlRefinePrefix.checkLevelNumber(int prevLevel)
void	JmlRefinePrefix.preprocessRefinedTypes(JmlCompilationUnit surroundingCUnit)
void	JmlRefinePrefix.checkInterface()
JExpression	JmlRelationalExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlResultExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlSetComprehension.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JmlSetStatement.typecheck(CFlowControlContextType context)
void	JmlSignalsOnlyClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this JML clause in the context in which it appears.
void	JmlSignalsClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this JML clause in the context in which it appears.
JExpression	JmlSpaceExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlSpecExpression.typecheck(CExpressionContextType context) Checks this JML predicate in the given context and return the expression that results.
JExpression	JmlSpecExpression.typecheck(CExpressionContextType context, long privacy) Checks this JML predicate in the given context and return the expression that results.
JExpression	JmlSpecQuantifiedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JmlSpecStatement.typecheck(CFlowControlContextType context)
void	JmlSpecStatement.typecheck(CFlowControlContextType context, long privacy)
JmlStoreRef	JmlStoreRefExpression.typecheck(CExpressionContextType context, long privacy) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
JmlStoreRef	JmlStoreRefExpression.typecheck(CExpressionContextType context, long privacy, CType type) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
JmlStoreRef	JmlStoreRefKeyword.typecheck(CExpressionContextType context, long privacy) Typechecks this store reference in the given visibility, privacy, and mutates the context, context, to record information gathered during typechecking.
JExpression	JmlTypeExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlTypeOfExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JmlVariantFunction.typecheck(CExpressionContextType context)
void	JmlVariableDefinition.typecheck(CFlowControlContextType context) Typechecks the statement and mutates the context to record information gathered during typechecking.
private void	JmlVariableDefinition.checkNullityAdjustType(CContextType context) Ensures that at most one nullity modifier is used and that it is applied to a reference type.
void	JmlWorkingSpaceClause.typecheck(CFlowControlContextType context, long privacy) Typechecks this working_space clause in the context in which it appears.
JExpression	JmlWorkingSpaceExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlAddExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
CType	JmlArrayDimsAndInits.typecheck(CExpressionContextType context, CType type) Typechecks this array dimension and initialization instruction in the given context.
static JExpression[]	JmlBinaryArithmeticExpressionHelper.typecheck(JExpression left, JExpression right, TokenReference where, CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JmlMemberAccess.checkAccessModifiers(CContextType context, JMemberDeclaration member) Check illegal combinations of modifiers common to classes, interfaces, fields, and methods.
void	JmlMemberAccess.checkClassModifiers(CContextType context, JTypeDeclaration member) Check for illegal combinations of modifiers specific to classes and interfaces.
void	JmlMemberAccess.checkFieldModifiers(CContextType context, JFieldDeclaration member) Check for illegal combinations of modifiers specific to field declarations.
long	JmlMemberAccess.checkInterfaceFieldModifiers(CContextType context, JFieldDeclaration member) Check for illegal combinations of modifiers disallowed in interface field declarations.
void	JmlMemberAccess.checkMethodModifiers(CContextType context, JMethodDeclaration member) Check for illegal combinations of modifiers specific to method declarations.
long	JmlMemberAccess.checkInterfaceMethodModifiers(CContextType context, JMethodDeclaration member) Check for illegal combinations of modifiers disallowed in interface method declarations.
JExpression	JmlBitwiseExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlCastExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
void	JmlMethodContext.verifyExceptions(TokenReference ref) Verifies that all checked exceptions are defined in the throw list.
void	JmlConstructorContext.verifyExceptions(TokenReference ref) Verifies that all checked exceptions are defined in the throw list.
JExpression	JmlDivideExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlMinusExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlModuloExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlMultExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlOrdinalLiteral.convertType(CType dest, CExpressionContextType context) convertType changes the type of this expression to another
JExpression	JmlShiftExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JmlUnaryExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JExpression	JmlUnaryExpression.noFolding(JExpression expr, CExpressionContextType context) Override of super class method to issue warning if needed
protected JExpression	JmlUnaryExpression.plusMinusConstantFolding(CExpressionContextType context) Override of super class method to prevent constant folding
static void	NonNullStatistics.checkExpression(JExpression j, JmlContext context, String fn, int clause, boolean ifNot, boolean ifInvStatic)
static void	NonNullStatistics.checkSpecification(JmlMethodDeclaration jmd, Object[] jscArr, JmlContext context, String fn)
static void	NonNullStatistics.checkSpecCase(JmlSpecCase jsc, JmlContext context, String fn, boolean fromHeavy)
static void	NonNullStatistics.checkSpecBody(JmlSpecBody jsb, JmlContext context, String fn)
static void	NonNullStatistics.checkSpecBodyClause(JmlSpecBodyClause jsbc, JmlContext context, String fn)
static boolean	NonNullStatistics.getSuperParam(JmlSourceMethod sm, int i)

Constructors in org.jmlspecs.checker that throw PositionedError

JmlBinaryType(TokenReference where, JmlBinarySourceClass member, String prefix)
Constructs a class export from file.

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	ParserUtility.beautifyParserError(antlr.ANTLRException e) Returns an exception from our exception hierarchy by wrapping the ANTLR excepton.
PositionedError	MjcParser.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.
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.
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.
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	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.
protected static void	CBinaryMethod.resolveTops() Resolves the top methods of all binary methods.
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)
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	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.
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	JBlock.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JConstructorBlock.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
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	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.
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.
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	JVariableDefinition.typecheck(CFlowControlContextType context) Typechecks the definition 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.
void	JInitializerDeclaration.checkInitializer(CClassContextType context) Checks the static initializers and informs the context that it has a valid initializer.
abstract void	JClassOrGFImportType.setImportKind(FileFinder finder) Registers whether this imports a type or an external generic function.
CType	JBinaryExpression.promote(CExpressionContextType context) Apply binary numeric promotion (JLS 5.6.2)
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.
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.
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	JWhileStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JVariableDeclarationStatement.typecheck(CFlowControlContextType context) Typechecks the statement and mutates the context to record information gathered during typechecking.
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	JThrowStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JSynchronizedStatement.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	JAssertStatement.typecheck(CFlowControlContextType context)
void	JReturnStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JReturnStatement.checkNullity(CContextType context)
void	JLabeledStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JIfStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JForStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JCompoundStatement.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.
void	JExpressionListStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JDoStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JContinueStatement.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
void	JBreakStatement.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	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	JTypeNameExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JSuperExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
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	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.
JExpression	JPrefixExpression.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	JParenthesedExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
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	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	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	JConditionalAndExpression.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.
JExpression	JDivideExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JMinusExpression.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	JMultExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JInstanceofExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
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	JConditionalExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JAssignmentExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JCompoundAssignmentExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
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.
JExpression	JClassExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JCastExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
protected JExpression	JCastExpression.typecheckHelper(CExpressionContextType context)
JExpression	JUnaryPromote.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JBitwiseExpression.typecheckBinaryArith(CExpressionContextType context) Typechecks a binary arithmetic expression and handles simple optimizations like constant folding.
JExpression	JArrayLengthExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JArrayLengthExpression.typecheckNullity(CExpressionContextType context)
JExpression	JArrayAccessExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
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.
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	JSwitchGroup.typecheck(CSwitchGroupContext context) Typechecks the group and mutates the context to record information gathered during typechecking.
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.
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
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
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
void	JClassOrGFImport.setImportKind(FileFinder finder) Registers whether this imports a type or an external generic function.
JExpression	JExplicitConstructorInvocation.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
JExpression	JArrayInitializer.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.
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.
void	CNumericType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
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.
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.
void	CVoidType.resolveValueType(CExpressionContextType context) Compute the value of a specializer expression used to dispatch on a compile-time constant.
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.
void	JClassFieldDeclarator.typecheck(CFlowControlContextType context) Typechecks this statement in the context in which it appears.
JExpression	JOuterLocalVariableExpression.typecheck(CExpressionContextType context) Typechecks the expression and mutates the context to record information gathered during typechecking.
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.
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.