org.multijava.mjc
Class CExtMethodContext

java.lang.Object
  org.multijava.util.Utils
      org.multijava.mjc.CContext
          org.multijava.mjc.CClassContext
              org.multijava.mjc.CExtMethodContext

All Implemented Interfaces:

CClassContextType, CContextType, Cloneable, Constants, Constants

public class CExtMethodContext

extends CClassContext

This represents the context in which an external method declaration is typechecked. It subclasses CClassContextType and so can be returned when a client calls getClassContext() on a local context. This context provides access to the external method's receiver CClass singleton.

Field Summary
private  CClass	owner           Represents the logical owner of this context, i.e., the receiver of the method.

 

Fields inherited from class org.multijava.mjc.CClassContext

fieldInfo, self

 

Fields inherited from class org.multijava.mjc.CContext

cunit, parent

 

Fields inherited from class org.multijava.util.Utils

DBG_LEVEL_HIGH, DBG_LEVEL_LOW, DBG_LEVEL_NO

 

Fields inherited from interface org.multijava.mjc.Constants

ACC_PURE, ACCESS_FLAG_ARRAY, ACCESS_FLAG_NAMES, AMID_JAVA_MATH, AMID_MAX, AMID_SAFE_MATH, CMP_VERSION, JAV_ASSERTION_ERROR, JAV_CLASS, JAV_CLASSLOADER, JAV_CLASSNOTFOUND_EXCEPTION, JAV_CLONE, JAV_CLONEABLE, JAV_CONSTRUCTOR, JAV_ERROR, JAV_EXCEPTION, JAV_INIT, JAV_LENGTH, JAV_NAME_SEPARATOR, JAV_NOCLASSDEFFOUND_ERROR, JAV_OBJECT, JAV_OUTER_THIS, JAV_RMJ_RUNTIME_EXCEPTION, JAV_RUNTIME, JAV_RUNTIME_EXCEPTION, JAV_SERIALIZABLE, JAV_STATIC_INIT, JAV_STRING, JAV_STRINGBUFFER, JAV_SUPER, JAV_THIS, JAV_THROWABLE, MJ_ANCHOR, OPE_BAND, OPE_BNOT, OPE_BOR, OPE_BSR, OPE_BXOR, OPE_EQ, OPE_GE, OPE_GT, OPE_LAND, OPE_LE, OPE_LNOT, OPE_LOR, OPE_LT, OPE_MINUS, OPE_NE, OPE_PERCENT, OPE_PLUS, OPE_POSTDEC, OPE_POSTINC, OPE_PREDEC, OPE_PREINC, OPE_SIMPLE, OPE_SL, OPE_SLASH, OPE_SR, OPE_STAR, TID_ARRAY, TID_BOOLEAN, TID_BYTE, TID_CHAR, TID_CLASS, TID_DOUBLE, TID_FLOAT, TID_INT, TID_LONG, TID_MAX, TID_SHORT, TID_VOID, UNIV_ARRAY_TMP, UNIV_TMP

 

Fields inherited from interface org.multijava.util.classfile.Constants

ACC_ABSTRACT, ACC_FINAL, ACC_INTERFACE, ACC_NATIVE, ACC_PRIVATE, ACC_PROTECTED, ACC_PUBLIC, ACC_STATIC, ACC_STRICT, ACC_SUPER, ACC_SYNCHRONIZED, ACC_TRANSIENT, ACC_VOLATILE, ATT_ANCHOR, ATT_BRIDGE, ATT_CODE, ATT_CONSTANTVALUE, ATT_DEPRECATED, ATT_DISPATCHER, ATT_EXCEPTIONS, ATT_GENERIC, ATT_GENERIC_FUNCTIONS, ATT_INNERCLASSES, ATT_LINENUMBERTABLE, ATT_LOCALVARIABLETABLE, ATT_MM_BODY, ATT_REDIRECTOR, ATT_RMJ_GLUE, ATT_RMJ_SIGNATURE, ATT_RUNTIME_VISIBLE_ANNOTATIONS, ATT_RUNTIME_VISIBLE_PARAMETER_ANNOTATIONS, ATT_SIGNATURE, ATT_SOURCEFILE, ATT_SYNTHETIC, ATT_UNIVERSE_FIELD, ATT_UNIVERSE_METHOD, ATT_UNIVERSE_VERSION, CST_CLASS, CST_DOUBLE, CST_FIELD, CST_FLOAT, CST_INTEGER, CST_INTERFACEMETHOD, CST_LONG, CST_METHOD, CST_NAMEANDTYPE, CST_STRING, CST_UTF8, ENV_DEBUG_MODE, ENV_USE_CACHE, JAVA_MAGIC, JAVA_MAJOR, JAVA_MINOR, MAX_CODE_PER_METHOD, opc_aaload, opc_aastore, opc_aconst_null, opc_aload, opc_aload_0, opc_aload_1, opc_aload_2, opc_aload_3, opc_anewarray, opc_areturn, opc_arraylength, opc_astore, opc_astore_0, opc_astore_1, opc_astore_2, opc_astore_3, opc_athrow, opc_baload, opc_bastore, opc_bipush, opc_caload, opc_castore, opc_checkcast, opc_d2f, opc_d2i, opc_d2l, opc_dadd, opc_daload, opc_dastore, opc_dcmpg, opc_dcmpl, opc_dconst_0, opc_dconst_1, opc_ddiv, opc_dload, opc_dload_0, opc_dload_1, opc_dload_2, opc_dload_3, opc_dmul, opc_dneg, opc_drem, opc_dreturn, opc_dstore, opc_dstore_0, opc_dstore_1, opc_dstore_2, opc_dstore_3, opc_dsub, opc_dup, opc_dup2, opc_dup2_x1, opc_dup2_x2, opc_dup_x1, opc_dup_x2, opc_f2d, opc_f2i, opc_f2l, opc_fadd, opc_faload, opc_fastore, opc_fcmpg, opc_fcmpl, opc_fconst_0, opc_fconst_1, opc_fconst_2, opc_fdiv, opc_fload, opc_fload_0, opc_fload_1, opc_fload_2, opc_fload_3, opc_fmul, opc_fneg, opc_frem, opc_freturn, opc_fstore, opc_fstore_0, opc_fstore_1, opc_fstore_2, opc_fstore_3, opc_fsub, opc_getfield, opc_getstatic, opc_goto, opc_goto_w, opc_i2b, opc_i2c, opc_i2d, opc_i2f, opc_i2l, opc_i2s, opc_iadd, opc_iaload, opc_iand, opc_iastore, opc_iconst_0, opc_iconst_1, opc_iconst_2, opc_iconst_3, opc_iconst_4, opc_iconst_5, opc_iconst_m1, opc_idiv, opc_if_acmpeq, opc_if_acmpne, opc_if_icmpeq, opc_if_icmpge, opc_if_icmpgt, opc_if_icmple, opc_if_icmplt, opc_if_icmpne, opc_ifeq, opc_ifge, opc_ifgt, opc_ifle, opc_iflt, opc_ifne, opc_ifnonnull, opc_ifnull, opc_iinc, opc_iload, opc_iload_0, opc_iload_1, opc_iload_2, opc_iload_3, opc_imul, opc_ineg, opc_instanceof, opc_invokeinterface, opc_invokespecial, opc_invokestatic, opc_invokevirtual, opc_ior, opc_irem, opc_ireturn, opc_ishl, opc_ishr, opc_istore, opc_istore_0, opc_istore_1, opc_istore_2, opc_istore_3, opc_isub, opc_iushr, opc_ixor, opc_jsr, opc_jsr_w, opc_l2d, opc_l2f, opc_l2i, opc_ladd, opc_laload, opc_land, opc_lastore, opc_lcmp, opc_lconst_0, opc_lconst_1, opc_ldc, opc_ldc2_w, opc_ldc_w, opc_ldiv, opc_lload, opc_lload_0, opc_lload_1, opc_lload_2, opc_lload_3, opc_lmul, opc_lneg, opc_lookupswitch, opc_lor, opc_lrem, opc_lreturn, opc_lshl, opc_lshr, opc_lstore, opc_lstore_0, opc_lstore_1, opc_lstore_2, opc_lstore_3, opc_lsub, opc_lushr, opc_lxor, opc_monitorenter, opc_monitorexit, opc_multianewarray, opc_new, opc_newarray, opc_nop, opc_pop, opc_pop2, opc_putfield, opc_putstatic, opc_ret, opc_return, opc_saload, opc_sastore, opc_sipush, opc_swap, opc_tableswitch, opc_wide, opc_xxxunusedxxx, POO_ASCII_CONSTANT, POO_CLASS_CONSTANT, POO_DOUBLE_CONSTANT, POO_FLOAT_CONSTANT, POO_INTEGER_CONSTANT, POO_LONG_CONSTANT, POO_NAT_CONSTANT, POO_REF_CONSTANT, POO_STRING_CONSTANT, TYP_ADDRESS, TYP_DOUBLE, TYP_FLOAT, TYP_INT, TYP_LONG, TYP_REFERENCE, TYP_VOID

 

Constructor Summary

CExtMethodContext(CContextType parent, CSourceClass host, CClass owner)

 

Method Summary
CMemberHost	findNearestHost()           Returns the signature of the nearest lexically enclosing context that can host member declarations (i.e., a CClass or a CCompilationUnit).
CClass	getOwnerClass()           Returns the CClass representing the signature of the class that is the logical owner of this context.
CClass	lookupClass(String name)           Searches for a class with the given name.
CFieldAccessor	lookupField(String ident, CExpressionContextType context)           Searches for a field with the given name in this context.
CMethod	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	lookupMethodOrSet(String ident, CType[] params, CClassContextType context)           Searches for the most specific method(s) when no receiver is explicit at the call site.
CFieldAccessor	lookupOuterField(String ident, CExpressionContextType context)           Searches for a field of the given name in the context surrounding the current lexical contour.
JExpression	lookupOuterLocalVariable(TokenReference ref, String ident)           Finds a local variable with the given name that appears outside the current lexical contour.

 

Methods inherited from class org.multijava.mjc.CClassContext

addInitializer, checkingComplete, createConstructorContext, createInitializerContext, createMethodContext, fieldInfo, fieldInfoTable, getClassContext, getHostClass, hasInitializer, initializeField, isFieldDefinitelyAssigned, isInLoop, lookupLocalVariable, lookupMethod, lookupTypeVariable, markAllFieldsAsInitialized, registerVisibleType, replaceFieldInfoUpTo, setFieldInfoTable

 

Methods inherited from class org.multijava.mjc.CContext

arithmeticMode, catchUp, check, check, check, check, classToGenerate, createClassContext, createExtMethodContext, createInterfaceContext, declaredOutsideOfLoop, declares, fail, fail, getCMethod, getCompilationUnit, getCompiler, getFlowControlContext, getMethodContext, getParentContext, isBeforeSuperConstructorCall, isInConstructor, isInInitializer, isPure, isStatic, lookupField, lookupMethod, lookupMethodOrSet, lookupOuterField, modUtil, registerGFDecl, registerVisibleMethod, reportTrouble, resolveMaybeExtMethodRef

 

Methods inherited from class org.multijava.util.Utils

assertTrue, assertTrue, combineArrays, escapeString, escapeString, fail, fail, getFilePath, hasFlag, hasOtherFlags, parsePathParts, relativePathTo, splitQualifiedName, splitQualifiedName, stripJavaModifiers, stripNonJavaModifiers, stripPrivateModifier, unescapeString, vectorToArray, vectorToIntArray

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Methods inherited from interface org.multijava.mjc.CClassContextType

resolveMaybeExtMethodRef

 

Methods inherited from interface org.multijava.mjc.CContextType

arithmeticMode, catchUp, check, check, check, check, classToGenerate, createClassContext, createExtMethodContext, createInterfaceContext, declaredOutsideOfLoop, declares, fail, fail, getCMethod, getCompilationUnit, getCompiler, getFlowControlContext, getMethodContext, getParentContext, isBeforeSuperConstructorCall, isInConstructor, isInInitializer, isPure, isStatic, lookupField, lookupMethod, lookupMethodOrSet, lookupOuterField, modUtil, registerGFDecl, registerVisibleMethod, reportTrouble

 

Field Detail

owner

private CClass owner

Represents the logical owner of this context, i.e., the receiver of the method.

CExtMethodContext

public CExtMethodContext(CContextType parent,
                         CSourceClass host,
                         CClass owner)

Parameters:

parent - the parent context or null at top level

host - the host class

owner - the receiver class

lookupClass

public CClass lookupClass(String name)
                   throws UnpositionedError

Searches for a class with the given name.

Specified by:

lookupClass in interface CClassContextType

Overrides:

lookupClass in class CClassContext

Parameters:

name - method name

Returns:

the class type if found, null otherwise

Throws:

UnpositionedError - this error will be positioned soon

lookupMethod

public CMethod lookupMethod(String ident,
                            CType[] params,
                            CClassType[] args,
                            CClassContextType context)
                     throws UnpositionedError

Searches for the most specific method when no receiver is explicit at the call site.

Parameters:

ident - method name

params - method parameters

context - the con text of the class containing the method call

Returns:

the method or null if not found

Throws:

UnpositionedError - this error will be positioned soon

lookupMethodOrSet

public CMethodSet lookupMethodOrSet(String ident,
                                    CType[] params,
                                    CClassContextType context)
                             throws UnpositionedError

Searches for the most specific method(s) when no receiver is explicit at the call site.

Specified by:

lookupMethodOrSet in interface CClassContextType

Overrides:

lookupMethodOrSet in class CClassContext

Parameters:

ident - method name

params - method parameters

context - the con text of the class containing the method call

Returns:

the method or null if not found

Throws:

UnpositionedError - this error will be positioned soon

lookupField

public CFieldAccessor lookupField(String ident,
                                  CExpressionContextType context)
                           throws UnpositionedError

Searches for a field with the given name in this context.

Specified by:

lookupField in interface CClassContextType

Overrides:

lookupField in class CClassContext

Parameters:

ident - the name of the field

context - the context of the field access

Returns:

a field from the current context

Throws:

UnpositionedError - this error will be positioned soon

lookupOuterField

public CFieldAccessor lookupOuterField(String ident,
                                       CExpressionContextType context)
                                throws UnpositionedError

Searches for a field of the given name in the context surrounding the current lexical contour.

Specified by:

lookupOuterField in interface CClassContextType

Overrides:

lookupOuterField in class CClassContext

Parameters:

ident - the name of the field

context - the context of the field access

Returns:

a variable from a field in the surrounding context, or null if none is found

Throws:

UnpositionedError - this error will be positioned soon

lookupOuterLocalVariable

public JExpression lookupOuterLocalVariable(TokenReference ref,
                                            String ident)

Finds a local variable with the given name that appears outside the current lexical contour.

Specified by:

lookupOuterLocalVariable in interface CClassContextType

Overrides:

lookupOuterLocalVariable in class CClassContext

Parameters:

ref - a token reference used to build a new JOuterLocalVariableExpression

ident - the name of the outer variable

Returns:

a variable from an ident in the surrounding context, or null if not found

getOwnerClass

public CClass getOwnerClass()

Returns the CClass representing the signature of the class that is the logical owner of this context. Useful for external methods where the host is the generic function anchor but the owner is the method's receiver.

Specified by:

getOwnerClass in interface CClassContextType

Overrides:

getOwnerClass in class CClassContext

Returns:

the CClass representing the signature of the class

See Also:

CClassContextType.getHostClass()

findNearestHost

public CMemberHost findNearestHost()

Returns the signature of the nearest lexically enclosing context that can host member declarations (i.e., a CClass or a CCompilationUnit). Used for access checks, this is slightly different than getHostClass(). The later method returns an anchor class signature for external methods, which is useful in code generation and in typechecking external method bodies. On the other hand, this method returns a CCompilationUnit for external methods, which is useful in checking access between two differently named generic functions declared in the same compilation unit. !FIXME! It may be possible to eliminate this method and just use getHostClass now that private external methods are duplciated in every anchor.

Specified by:

findNearestHost in interface CClassContextType

Overrides:

findNearestHost in class CClassContext

Returns:

the nearest parent that can be coerced to a CMemberHost