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

Packages that use UnpositionedError

org.multijava.dis
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.util.backend	Provides an optimizer for methods for the compilers in MultiJava and the Java Modeling Language.
org.multijava.util.compiler	Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language.
org.multijava.util.optimize	Provides an optimizer for classfiles used by MultiJava and the Java Modeling Language.

Uses of UnpositionedError in org.multijava.dis

Methods in org.multijava.dis that throw UnpositionedError

static void	Disassembler.disassemble(String sourceFile, String destination, DisOptions options) Disassembles a class file.
protected static void	Disassembler.disassemble(String sourceFile, String destination, DisOptions options, Disassembler.DisassemblerHelper helper) Disassembles a class file by using the given helper.
private static void	Disassembler.writeAssemblerFile(ClassInfo classInfo, String destination, DisOptions options, Disassembler.DisassemblerHelper helper) Creates a class file from class info
protected void	Main.disassembleClass(String fileName) Reads, and disassembles a class file

Uses of UnpositionedError in org.multijava.mjc

Methods in org.multijava.mjc that throw UnpositionedError

abstract CClass	CContextType.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
abstract CTypeVariable	CContextType.lookupTypeVariable(String Ident) search for type variable that are accessible
abstract CMethod	CContextType.lookupMethod(String name, CType[] params) Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
abstract CMethod	CContextType.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
abstract CMethodSet	CContextType.lookupMethodOrSet(String name, CType[] params) Searches for the most specific method(s) in the current context that is applicable to the given identifier and argument type tuple.
abstract CMethodSet	CContextType.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) in the current context that is applicable to the given identifier and argument type tuple.
abstract CFieldAccessor	CContextType.lookupField(String ident) searches for a field with the given identifier
abstract CFieldAccessor	CContextType.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
abstract CFieldAccessor	CContextType.lookupOuterField(String ident) Searches for a field of the given name in the context surrounding the current lexical contour.
abstract CFieldAccessor	CContextType.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
abstract void	CContextType.fail(MessageDescription mess, Object param1, Object param2) Generates an UnpositionedError with a given message.
abstract void	CContextType.fail(MessageDescription mess, Object[] params)
abstract boolean	CContextType.check(boolean expr, MessageDescription mess) Verifies an expression and if false signals an error.
abstract boolean	CContextType.check(boolean expr, MessageDescription mess, Object[] params)
abstract boolean	CContextType.check(boolean expr, MessageDescription mess, Object param1) Verifies an expression and if false signals an error.
abstract boolean	CContextType.check(boolean expr, MessageDescription mess, Object param1, Object param2) Verifies an expression and if false signals an error.
boolean	CMethod.isInExternalGF() Indicates whether this method belongs to an external generic function.
CMethod	CMethod.topConcreteMethod() Finds the top concrete method of the generic function to which this belongs.
boolean	CMethod.specializes(CMethod other) Checks whether this method specializes a given method.
CMethodSet	CMethod.setOverriddenMethodSet() A version that uses default parameters.
protected CMethodSet	CMethod.setOverriddenMethodSet(CClassType[] args, ArrayList needbridge, CContextType context) Calculates and returns the set of methods overridden by this method.
void	CBinaryMethod.checkTypes(CContextType context)
CType	CType.getErasure(CContextType context)
CType	CType.getCapture(CContextType context) Returns the result of applying capture conversion (JLS3 5.1.10) to this type.
abstract CType	CType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
CType	CClassType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
CClass	CClass.lookupClass(String name, CContextType context) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
void	CClass.checkTypeVariables(CContextType context) Performs the typechecking for the type variables of this class.
CFieldAccessor	CClass.lookupField(String name, CExpressionContextType context) Searches a field in current class and parent hierarchy as needed Creates an appropriate getter or setter method (or both) if necessary for privileged access to the field.
protected CField	CClass.lookupFieldHelper(String name, CExpressionContextType context) Searches a field in current class and parent hierarchy as needed
CField	CClass.lookupSuperField(String name, CExpressionContextType context) Searches a field in current class and parent hierarchy as needed
protected boolean	CClass.isFieldRedefined(String ident, CExpressionContextType dummyContext) Returns true iff a field with same name is already defined in a superclass or an implemented interface.
CMethod	CClass.lookupMethod(String name, CType[] params, CClassType[] args, CContextType context) Searches for the generic function applicable to the given identifier and argument type tuple, in the given context, looking in parent hierarchy and augmentation map as needed.
CMethodSet	CClass.lookupMethodOrSet(String name, CType[] params, CClassType[] argss, CContextType context) Searches for the generic function applicable to the given identifier and argument type tuple, in the given context, looking in parent hierarchy and augmentation map as needed.
CMethodSet	CClass.lookupMethodsSpecializedByMethod(CMethod specMethod, CClassType[] args, ArrayList needbridge, CContextType context) Searches for the methods specialized by a given method, in the given context, looking in parent hierarchy and augmentation map as needed.
CMethod	CClass.lookupTopConcreteMethod(CMethod method, CClassType[] args, CContextType context) Searches for the top concrete method of the generic function to which the given method belongs, in the given context, looking in the parent hierarchy and augmentation map as needed.
CMethodSet	CClass.lookupMSAMethod(CMethod top, CType[] argTuple, CClassType[] argss, CContextType context) Searches for the most specific applicable method for the given argument tuple in the generic function to which the given method belongs in the given context, looking in parent hierarchy and augmentation map as needed.
CMethodSet	CClass.lookupAllMethods(CMethod m, CClassType[] args, CContextType context) Collects all the methods in the same GF as the argument method, visible in the given context, looking in parent hierarchy and augmentation map as needed.
CMethod	CClass.lookupOverloadedMethod(CMethod overloader, CClassType[] args, CContextType context) If overloader could be rewritten to dynamically specialize a method instead of statically overloading it, then this return said method.
protected void	CClass.accumMostSpecificMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args, CContextType context) Accumulates the set of methods with identifier name declared in the type represented by this, or added to the type by external methods, using the strategy actor.
protected void	CClass.accumLocalInternalMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args) Accumulates the set of methods with identifier name declared in the type represented by this, using the strategy actor.
protected void	CClass.accumLocalExtAndInheritedMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args, CContextType context) Accumulates the set of methods with identifier name declared in the type represented by this, or added to the type by external methods, using the strategy actor.
void	CClass.addBridgeMethod(CMethod me, CContextType context)
void	CClass.checkBridgeMethod(CMethod me, CClassType[] args, CContextType context)
CMethod	CClass.wrapSuperCallTo(CMethod method) Returns a wrapper method for forwarding qualified super method invocations from an inner class to the super class of this.
private CMethod	CClass.wrapCallTo(CMethod method, boolean isSuper) Returns a package-protected wrapper method for forwarding calls to the given method.
void	CMethodSet.accumMethodSet(CMethodSet.Strategy actor, String ident, CMethodSet accum, CClassType[] args) Processes the methods in this set using the given strategy and mutates the accumulator according to the strategy.
abstract boolean	CMethodSet.Strategy.maybeInclude(CMethod candidate, CClassType[] args) Indicates whether the given candidate method should be checked against the methods already in the accumulator for possible inclusion in the accumulator.
abstract byte	CMethodSet.Strategy.resultFor(CMethod candidate, CMethod accumMethod) Checks the given candidate method against a single method in the accumulator and decides whether the candidate should be added to the accumulator, whether the method from the accumulator should be removed, and whether additional checks against the remaining methods in the accumulator are necessary.
byte	CClass.CClass$1.resultFor(CMethod candidate, CMethod accumMethod)
boolean	CClass.CClass$2.maybeInclude(CMethod candidate, CClassType[] args)
byte	CClass.CClass$2.resultFor(CMethod candidate, CMethod accumMethod)
byte	CClass.CClass$3.resultFor(CMethod candidate, CMethod accumMethod)
boolean	CClass.CClass$4.maybeInclude(CMethod candidate, CClassType[] arg1)
byte	CClass.CClass$4.resultFor(CMethod candidate, CMethod accumMethod)
boolean	CClass.CClass$5.maybeInclude(CMethod candidate, CClassType[] args)
boolean	CClass.CClass$6.maybeInclude(CMethod candidate, CClassType[] args)
CMethodSet	CSourceClass.lookupMethodOrSet(String name, CType[] params, CClassType[] args, CContextType context)
CClass	CSourceClass.lookupClass(String name, CContextType context)
CClass	CContext.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CTypeVariable	CContext.lookupTypeVariable(String ident)
CMethod	CContext.lookupMethod(String name, CType[] params) Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
CMethod	CContext.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
CMethodSet	CContext.lookupMethodOrSet(String name, CType[] params) Searches for the most specific method(s) in the current context that is applicable to the given identifier and argument type tuple.
CMethodSet	CContext.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) in the current context that are applicable to the given identifier and argument type tuple.
CFieldAccessor	CContext.lookupField(String ident) searches for a field with the given identifier
CFieldAccessor	CContext.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
CFieldAccessor	CContext.lookupOuterField(String ident) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	CContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
void	CContext.fail(MessageDescription mess, Object param1, Object param2) Generates an UnpositionedError with a given message.
void	CContext.fail(MessageDescription mess, Object[] params) Generates an UnpositionedError with a given message.
boolean	CContext.check(boolean expr, MessageDescription mess) Verifies an expression and if false signals an error.
boolean	CContext.check(boolean expr, MessageDescription mess, Object param1) Verifies an expression and if false signals an error.
boolean	CContext.check(boolean expr, MessageDescription mess, Object param1, Object param2) Verifies an expression and if false signals an error.
boolean	CContext.check(boolean expr, MessageDescription mess, Object[] params)
void	CClassContext.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies that all final and all non-null fields are initialized and all abstract methods are appropriately implemented.
CClass	CClassContext.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CTypeVariable	CClassContext.lookupTypeVariable(String ident)
CMethod	CClassContext.lookupMethod(String ident, CType[] params, CClassContextType context) Searches for the most specific method when no receiver is explicit at the call site.
CMethodSet	CClassContext.lookupMethodOrSet(String ident, CType[] params, CClassContextType context) Searches for the most specific method(s) when no receiver is explicit at the call site.
CFieldAccessor	CClassContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CFieldAccessor	CClassContext.lookupField(String ident, CExpressionContextType context) lookupField
abstract void	CClassContextType.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies that all final fields are initialized and all abstract methods are appropriately implemented.
abstract CClass	CClassContextType.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
abstract CTypeVariable	CClassContextType.lookupTypeVariable(String ident) search for the type variable that are accessible
abstract CMethod	CClassContextType.lookupMethod(String ident, CType[] params, CClassContextType context) Searches for the most specific method when no receiver is explicit at the call site.
abstract CMethodSet	CClassContextType.lookupMethodOrSet(String ident, CType[] params, CClassContextType context) Searches for the most specific method(s) when no receiver is explicit at the call site.
abstract CFieldAccessor	CClassContextType.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
abstract CFieldAccessor	CClassContextType.lookupField(String ident, CExpressionContextType context) lookupField
void	JLocalVariableExpression.initialize(CContextType context) Records that this variable is initialized in the given context.
abstract void	CInitializable.initialize(CContextType ctxt) Initialize this object
protected void	JTypeDeclaration.annotateInternalInterfaceMethods(CContextType context)
private void	JTypeDeclaration.recordInternalTopMethod(CMethod methodSig, CMethodSet topConcreteMethods)
private void	JTypeDeclaration.annotateInternalInterfaceMethodsFor(CMethod topConcreteMethod, CContextType context)
CType	CArrayType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
abstract CClass	CCompilationUnitContextType.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
abstract CMethod	CCompilationUnitContextType.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method applicable to the given identifier and argument type tuple, in the current context.
abstract CMethodSet	CCompilationUnitContextType.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) applicable to the given identifier and argument type tuple, in the current context.
abstract CFieldAccessor	CCompilationUnitContextType.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
abstract CFieldAccessor	CCompilationUnitContextType.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
void	CBinaryClass.checkTypes(CMethod method, CContextType context)
void	CBinaryClass.checkTypes(CField field, CType fieldtype, CContextType context)
CTypeVariable	CExtendedClassContext.lookupTypeVariable(String ident)
CType	CTypeVariable.checkType(CContextType context)
void	CBinaryField.checkTypes(CContextType context)
CType	CBooleanType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
CType	CValueType.checkType(CContextType context) Register this type as visible, so it can be checked during ITC on the compilation unit
CType	CWildcardType.checkType(CContextType context) During type checking, the wildcard's optional bound is type checked, too.
CType	CClassNameType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
protected void	CClassNameType.checkInstantiation(CContextType context) Checks the instantiation of a generic type by performing the following checks on this type's CClass and all its owners: Type check the type variables of the class.
private void	CClassNameType.checkPossibleRawType(CContextType context) Performs the necessary type checking for a raw type.
private static void	CClassNameType.checkTypeArguments(CTypeVariable[] typeVariables, CClassType[] typeArguments, CContextType context) Performs the type checking on all the typeArguments (the type checked versions are re-stored into the same array) and checks whether the typeArguments are valid for the given typeVariables.
protected void	CClassNameType.registerAsVisibleIn(CContextType context) Registers the type represented by this as being visible in the given context.
protected void	CClassNameType.setClassFromNameOrDieTrying() Attempts to associate this type with a CClass singleton having the name given by maybeQualifiedName.
CType	CClassNameType.getCapture(CContextType context)
CType	CClassFQNameType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
CClass	CCompilationUnit.lookupClass(String name, CContextType context) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CClass	CCompilationUnitContext.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CTypeVariable	CCompilationUnitContext.lookupTypeVariable(String ident)
CMethod	CCompilationUnitContext.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method applicable to the given identifier and argument type tuple, in the current context.
CMethodSet	CCompilationUnitContext.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) applicable to the given identifier and argument type tuple, in the current context.
CFieldAccessor	CCompilationUnitContext.lookupField(String ident, CExpressionContextType context) searches for a field with the given identifier
CFieldAccessor	CCompilationUnitContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
abstract void	CFlowControlContextType.addVariable(JLocalVariable var) Adds a local variable to this block
abstract void	CFlowControlContextType.addLocalClass(CClass clazz) Adds to this context a class declared via a type declaration statement.
abstract CClass	CFlowControlContextType.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
CTypeVariable	CMethodContext.lookupTypeVariable(String ident)
abstract void	CInterfaceContextType.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies all final fields are initialized.
CClass	CExtMethodContext.lookupClass(String name) Searches for a class with the given name.
CMethod	CExtMethodContext.lookupMethod(String ident, CType[] params, CClassType[] args, CClassContextType context) Searches for the most specific method when no receiver is explicit at the call site.
CMethodSet	CExtMethodContext.lookupMethodOrSet(String ident, CType[] params, CClassContextType context) Searches for the most specific method(s) when no receiver is explicit at the call site.
CFieldAccessor	CExtMethodContext.lookupField(String ident, CExpressionContextType context) Searches for a field with the given name in this context.
CFieldAccessor	CExtMethodContext.lookupOuterField(String ident, CExpressionContextType context) Searches for a field of the given name in the context surrounding the current lexical contour.
CType	CErasedClassType.checkType(CContextType context) check that type is valid necessary to resolve String into java/lang/String
CFieldAccessor	CExpressionContext.lookupField(String ident) searches for a field with the given identifier
CFieldAccessor	CExpressionContext.lookupOuterField(String ident) Searches for a field of the given name in the context surrounding the current lexical contour.
CTypeVariable	CExtendedCompilationUnitContext.lookupTypeVariable(String ident)
void	CFlowControlContext.addVariable(JLocalVariable var) Adds a local variable to this block
void	CFlowControlContext.addLocalClass(CClass clazz) Adds to this context a class declared via a type declaration statement.
CClass	CFlowControlContext.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
void	CSwitchBodyContext.addDefault() Adds a default label to this switch.
void	CSwitchBodyContext.addLabel(JOrdinalLiteral lit) Adds a label to this switch and checks that it is a new one.
void	CInterfaceContext.checkingComplete(JTypeDeclarationType decl, CVariableInfoTable staticC, CVariableInfoTable instanceC, CVariableInfoTable[] constructorsC) Verifies all final fields are initialized.
CType	CNumericType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
protected CMethod	CSourceGFCollection.superclassMethDispFor(CMethod target, CClass receiverSubclass) Generates a special superclass method invocation dispatcher for the external generic function containing target.
CType	CVoidType.checkType(CContextType context) Checks that this type is valid, throwing an exception if it is not.
void	CSwitchGroupContext.addVariable(JLocalVariable var) Adds a local variable to this block
void	CSwitchGroupContext.addLocalClass(CClass clazz) Adds to this context a class declared via a type declaration statement.
CClass	CSwitchGroupContext.lookupClass(String name) Searches for a class with the given simple name according the procedure in JLS2 6.5.5.
void	CSwitchGroupContext.addDefault() Adds a default label to this switch.
void	CSwitchGroupContext.addLabel(JOrdinalLiteral lit) Add a label to this switch and check that it is a new one.
CType	CTypeVariableAlias.checkType(CContextType context)
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.
boolean	CWrapperMethod.isApplicableTo(CMethod m, boolean mIsSuper) Checks whether this wrapper method can be re-used for the given method.
static CType	JAddExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
JExpression	JAddExpression.constantFolding(CExpressionContextType context) Converts two constant expressions into a single literal that is the result of applying this operation to the expressions.
int	JAddExpression.safe_compute(int left, int right)
long	JAddExpression.safe_compute(long left, long right)
static CType	JBitwiseExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
void	JClassFieldExpression.initialize(CContextType context) Records that this field is initialized in the given context.
static CType	JDivideExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
JExpression	JDivideExpression.constantFolding(CExpressionContextType context) Computes the result of the operation at compile-time (JLS 15.27).
int	JDivideExpression.safe_compute(int left, int right)
long	JDivideExpression.safe_compute(long left, long right)
static CType	JMinusExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
JExpression	JMinusExpression.constantFolding(CExpressionContextType context) Computes the result of the operation at compile-time (JLS 15.27).
int	JMinusExpression.safe_compute(int left, int right)
long	JMinusExpression.safe_compute(long left, long right)
static CType	JMultExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
JExpression	JMultExpression.constantFolding(CExpressionContextType context) Computes the result of the operation at compile-time (JLS 15.27).
int	JMultExpression.safe_compute(int left, int right)
long	JMultExpression.safe_compute(long left, long right)
static CType	JModuloExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
static CType	JShiftExpression.computeType(CType leftType, CType rightType) compute the type of this expression according to operands
void	JParenthesedExpression.initialize(CContextType context) Delegates to expr.
protected CMethod	JResendExpression.lookupMethod(CType[] argTypes, CExpressionContextType context) Returns the apparent target method for this call.

Uses of UnpositionedError in org.multijava.util.backend

Methods in org.multijava.util.backend that throw UnpositionedError

private void	Main.optimizeClass(String fileName) Reads, optimizes and writes a class file
static void	Main.optimizeClass(ClassInfo info, BackendOptions options) Reads, optimizes and writes a class file
private ClassInfo	Main.readClassFile(String fileName)
private void	Main.writeClassFile(ClassInfo info, String fileName)

Uses of UnpositionedError in org.multijava.util.compiler

Methods in org.multijava.util.compiler that throw UnpositionedError

ArrayList	Compiler.verifyFiles(ArrayList names) Takes a list of file names and checks that each exists.
ArrayList	Compiler.verifyFiles(String[] names) Takes an array of file names and checks that each exists.

Uses of UnpositionedError in org.multijava.util.optimize

Methods in org.multijava.util.optimize that throw UnpositionedError

private void	Main.optimizeClass(String fileName) Reads, optimizes and writes a class file
static void	Main.optimizeClass(ClassInfo info, int level, boolean verbose) Reads, optimizes and writes a class file
private ClassInfo	Main.readClassFile(String fileName)
private void	Main.writeClassFile(ClassInfo info, String fileName)