|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use CMethod | |
| org.jmlspecs.checker | Contains the source code for a parser and typechecker for JML annotations and java code. |
| org.jmlspecs.jmlrac | Generates Java classes from JML specifications that check assertions at runtime. |
| org.jmlspecs.jmlunit | Generates JUnit test classes from JML specifications. |
| org.multijava.mjc | Implements mjc, a MultiJava compiler. |
| Uses of CMethod in org.jmlspecs.checker |
| Subclasses of CMethod in org.jmlspecs.checker | |
class |
JmlSigBinaryMethod
A class to represent JML method declaratons read from bytecode files. |
class |
JmlSourceMethod
A class for representing JML method declaration in the signature forest. |
| Fields in org.jmlspecs.checker declared as CMethod | |
protected CMethod |
JmlMethodName.method
The method call specified, as determined by the static receiver and argument types. |
| Methods in org.jmlspecs.checker that return CMethod | |
CMethod |
JmlMemberDeclaration.getMethod()
|
protected CMethod |
JmlMethodName.lookupMethod(CType[] argTypes,
CExpressionContextType context)
|
CMethod |
JmlContext.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 |
JmlContext.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. |
CMethod |
JmlContext.getCMethod()
Returns the signature of the method declaration in which this context is enclosed, or null if this context is not enclosed in a method declaration. |
CMethod |
JmlBinaryMember.getMethod()
|
CMethod |
JmlBinaryMethod.getMethod()
|
CMethod |
JmlClassContext.lookupMethod(String ident,
CType[] params,
CClassContextType context)
Searches for the most specific method when no receiver is explicit at the call site. |
CMethod |
JmlCompilationUnitContext.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. |
CMethod |
JmlMethodContext.getCMethod()
Returns the signature of the method declaration in which this context is enclosed, or null if this context is not enclosed in a method declaration. |
| Methods in org.jmlspecs.checker with parameters of type CMethod | |
JmlSourceMethod |
JmlSourceClass.lookupRefinedMethod(CMethod specMethod)
Searches for the method refined by a given method, looking in the refinement hierarchy as needed. |
(package private) CMethodSet |
JmlSourceClass.lookupJMLMethodsWithSameSig(CMethod specMethod)
Searches for the methods with the same signature as the given method, looking in parent hierarchy as needed. |
boolean |
JmlSourceClass.JmlSourceClass$1.maybeInclude(CMethod candidate,
CClassType[] args)
|
byte |
JmlSourceClass.JmlSourceClass$1.resultFor(CMethod candidate,
CMethod accumMethod)
|
boolean |
JmlSourceClass.JmlSourceClass$2.maybeInclude(CMethod candidate,
CClassType[] args)
|
byte |
JmlSourceClass.JmlSourceClass$2.resultFor(CMethod candidate,
CMethod accumMethod)
|
boolean |
JmlSourceClass.JmlSourceClass$3.maybeInclude(CMethod candidate,
CClassType[] args)
|
byte |
JmlSourceClass.JmlSourceClass$3.resultFor(CMethod candidate,
CMethod accumMethod)
|
protected boolean |
JMethodDeclarationWrapper.noBodyOK(CContextType context,
CMethod self)
|
int |
JmlAssignableClause.methodPureness(CMethod meth)
Returns 1 if the given method, meth, is a pure
method. |
void |
JmlContext.registerVisibleMethod(CMethod method)
Registers with the surrounding context that a declaration of the given method occurs in this context. |
CMethodContextType |
JmlClassContext.createMethodContext(CMethod self)
|
CConstructorContextType |
JmlClassContext.createConstructorContext(CMethod self)
|
CInitializerContextType |
JmlClassContext.createInitializerContext(CMethod self)
|
void |
JmlCompilationUnitContext.registerVisibleMethod(CMethod method)
Registers that a declaration of the given method occurs within the compilation unit. |
private int |
JmlExpressionChecker.methodPureness(CMethod meth,
JExpression prefix)
Returns 1 if the given method, meth, is a pure
method. |
| Constructors in org.jmlspecs.checker with parameters of type CMethod | |
JmlMethodContext(CContextType parent,
CMethod self)
Create a context in which to check a method. |
|
JmlConstructorContext(CContextType parent,
CMethod self)
CConstructorContext Clients should not call this but should instead call CClassContextType.createConstructorContext. |
|
JmlInitializerContext(CContextType parent,
CMethod self)
Instantiates a context for checking initializer declarations. |
|
| Uses of CMethod in org.jmlspecs.jmlrac |
| Methods in org.jmlspecs.jmlrac with parameters of type CMethod | |
static String |
TransUtils.modelPublicAccessorName(CMethod meth)
Returns the name of the spec_public accessor for the method whose name is ident. |
private JmlMethodDeclaration |
TransInterface.concreteMethod(CMethod mdecl)
Returns a concrete (delegation) method that implements the abstract method declaration, mdecl. |
| Uses of CMethod in org.jmlspecs.jmlunit |
| Methods in org.jmlspecs.jmlunit with parameters of type CMethod | |
private boolean |
TestClassGenerator.isTestable(CMethod mdecl)
Return true if the given inherited method can be tested. |
| Constructors in org.jmlspecs.jmlunit with parameters of type CMethod | |
TestClassGenerator.MethodInfo(CMethod m)
Initialize this object from the given CMethod |
|
| Uses of CMethod in org.multijava.mjc |
| Subclasses of CMethod in org.multijava.mjc | |
class |
CAnchorInitializer
This is used as a wrapper around the normal static or instance initializer method of a class that includes nested dispatcher classes (e.g., an anchor class). |
class |
CAssertHelperMethod
This class represents a synthetic method used in the implementation of Java's assertion mechanism. |
class |
CAssertStaticInitMethod
This class represents a static initializer that begins with code to figure out if the associated class has assertions enabled or not. |
class |
CBinaryMethod
This class represents a loaded (already compiled) class method. |
class |
CCORInitializer
This generates code to add external generic function dispatcher classes to the chain of responsibility for the appropriate generic function anchor class. |
class |
CDispatcherInitializer
This is used as the initializer of a dispatcher class, in RMJ. |
class |
CFieldAccessorMethod
This class is the abstract base class for the field getter and setter methods. |
class |
CFieldGetterMethod
This class represents a getter method for a field that an inner or enclosing class has privileged access to. |
class |
CFieldSetterMethod
This class represents a setter method for a field that an inner or enclosing class has privileged access to. |
class |
CFunctionAccessMethod
This generates code to thread-safely return the function field of an external generic function. |
(package private) class |
CSourceAmbiguousDispatcherClass.CSourceAmbiguousDispatcherClass$1
|
(package private) class |
CSourceAmbiguousDispatcherClass.CSourceAmbiguousDispatcherClass$2
|
(package private) class |
CSourceAmbiguousDispatcherClass.CSourceAmbiguousDispatcherClass$3
|
(package private) class |
CSourceDispatcherClass.CSourceDispatcherClass$1
|
class |
CSourceDispatcherMethod
This class represents a dispatcher method wrapping a set of multimethods of the same generic function as read from a source file. |
(package private) class |
CSourceDispatcherSignature.CSourceDispatcherSignature$1
|
class |
CSourceFilteredDispatcherMethod
This class represents a special dispatcher method for superclass method invocations whose caller is an external method and whose target is the same external generic function to which the caller belongs [see Clifton-01, Figure 24, case s-e4]. |
class |
CSourceMethod
This class represents a method read from a source code (*.java) file. |
class |
CSourceRedirectorMethod
This class represents a redirector method for a pleomorphic method that belongs to an internal and external generic function. |
class |
CWrapperMethod
This class represents a wrapper method for a method that an inner or enclosing class has privileged access to. |
| Fields in org.multijava.mjc declared as CMethod | |
protected CMethod |
CMethod.topConcreteMethod
The top concrete method of the generic function to which this belongs. |
protected CMethod |
CMethod.generatefrom
|
private CMethod |
CClass.assertHelperMethod
The synthetic methods used to implement assertions |
protected CMethod |
JMethodCallExpression.method
The method invoked by this method call, as determined by the static receiver and argument types. |
protected CMethod |
JMethodCallExpression.topConcreteMethod
The top concrete method of the generic function invoked by this method call. |
private CMethod |
JMethodCallExpression.localMethod
A local method of the generic function targeted by this invocation. |
(package private) CMethod |
JTypeDeclaration.MethodRecord.topConcreteMethod
The top concrete method of this method's generic function. |
protected CMethod |
JNewObjectExpression.constructor
The specific constructor that is called in this object instantiation expression. |
private CMethod |
JExplicitConstructorInvocation.callingConstructor
The constructor that contains this expression. |
private CMethod |
JExplicitConstructorInvocation.method
|
(package private) CMethod |
CMethodSet.MethodArgsPair.me
|
private CMethod |
CSourceRedirectorMethod.target
The target method of this redirector. |
private CMethod |
CMethodContext.self
|
private CMethod |
CWrapperMethod.target
The target method of this wrapper. |
protected CMethod[] |
JTypeDeclaration.WrapResult.methods
|
protected CMethod |
TestCContext.methodSig
|
| Methods in org.multijava.mjc that return CMethod | |
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 CMethod |
CContextType.getCMethod()
Returns the signature of the method declaration in which this context is enclosed, or null if this context is not enclosed in a method declaration. |
CMethod |
CMember.getMethod()
|
CMethod |
CMethod.getMethod()
|
CMethod |
CMethod.topConcreteMethod()
Finds the top concrete method of the generic function to which this belongs. |
CMethod |
CMethod.getGenerateFrom()
|
abstract CMethod |
JMemberDeclarationType.getMethod()
|
private CMethod[] |
JCompilationUnit.calcVisibleGenericFunctions()
Finds the top methods of every generic function visible in this compilation unit. |
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. |
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. |
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. |
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. |
CMethod |
CAbstractMethodSet.getFirst()
Returns the first method in this collection or null if the collection is empty. |
CMethod |
CAbstractMethodSet.getMethod(int i)
Returns the method with the given index. |
CMethod |
JMethodCallExpression.method()
Returns the method being called. |
protected CMethod |
JMethodCallExpression.lookupMethod(CType[] argTypes,
CExpressionContextType context)
Returns the apparent target method for this call. |
private CMethod[] |
CSourceAmbiguousDispatcherClass.computeMethods()
|
private CMethod |
CSourceAmbiguousDispatcherClass.dispatcherConstructor()
Returns the constructor for this ambiguous-method error dispatcher class. |
private CMethod |
CSourceAmbiguousDispatcherClass.installMethod()
Returns the constructor for this ambiguous-method error dispatcher class. |
private CMethod |
CSourceAmbiguousDispatcherClass.filterMethod()
Returns the method that tests whether the arguments match the error condition. |
private CMethod |
CSourceDispatcherClass.dispatcherConstructor()
Returns the appropriate constructor for this dispatcher class. |
CMethod |
JMemberDeclaration.getMethod()
|
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. |
CMethod |
CContext.getCMethod()
Returns the signature of the method declaration in which this context is enclosed, or null if this context is not enclosed in a method declaration. |
CMethod |
CClassContext.lookupMethod(String ident,
CType[] params,
CClassContextType context)
Searches for the most specific method when no receiver is explicit at the call site. |
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. |
CMethod |
JNewObjectExpression.constructor()
Returns the specific constructor by this object nstantiation expression. |
CMethod |
JExplicitConstructorInvocation.method()
Returns the constructor being called. |
abstract CMethod |
CMethodContextType.getCMethod()
Returns the signature of the method declaration in which this context is enclosed, or null if this context is not enclosed in a method declaration. |
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. |
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. |
CMethod |
CMethodSet.MethodArgsPair.getMethod()
|
CMethod |
CAbstractMethodSet.Iterator.next()
|
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. |
CMethod |
CMethodContext.getCMethod()
Returns the signature of the method declaration in which this context is enclosed, or null if this context is not enclosed in a method declaration. |
protected CMethod |
CSourceGFCollection.superclassMethDispFor(CMethod target,
CClass receiverSubclass)
Generates a special superclass method invocation dispatcher for the external generic function containing target. |
protected CMethod |
JResendExpression.lookupMethod(CType[] argTypes,
CExpressionContextType context)
Returns the apparent target method for this call. |
| Methods in org.multijava.mjc with parameters of type CMethod | |
abstract void |
CContextType.registerVisibleMethod(CMethod method)
Registers with the surrounding context that a declaration of the given method occurs in this context. |
boolean |
CMethod.hasSameSignature(CMethod other,
CClassType[] substitution)
Has this method the same signature as the one given as argument ? |
boolean |
CMethod.equalParametersNoUniverses(CMethod other)
|
boolean |
CMethod.hasSameSignatureNoUniverses(CMethod other)
|
boolean |
CMethod.hasSameSignature(CMethod other)
Has this method the same signature as the one given as argument ? |
boolean |
CMethod.equalParameters(CMethod other)
Returns true if the given method and
this method have parameters with the same types. |
boolean |
CMethod.isMoreSpecificThan(CMethod other,
CClassType[] args)
Returns true if this method is strictly more specific than the given method. |
boolean |
CMethod.isMoreSpecificThan(CMethod other)
|
boolean |
CMethod.isMoreSpecificThan(CMethod other,
boolean b)
|
boolean |
CMethod.isMoreSpecificThan(CMethod other,
CClassType[] args,
boolean intrsDoNotExtendObject)
Returns true if this method is strictly more specific than the given method. |
boolean |
CMethod.isMoreSpecificThan(CMethod other,
CClassType[] args,
boolean intrsDoNotExtendObject,
boolean enableUniv)
|
boolean |
CMethod.apparentlySpecializes(CMethod other,
CClassType[] args)
Checks whether this method apparently specializes a given method. |
boolean |
CMethod.apparentlySpecializes(CMethod other,
CClassType[] args,
boolean enableUniv)
|
boolean |
CMethod.apparentlySpecializes(CMethod other)
|
boolean |
CMethod.specializes(CMethod other)
Checks whether this method specializes a given method. |
boolean |
CMethod.genDispatch(CodeSequence code,
CodeLabel nextAlternative,
CMethod topConcreteMethod,
String dispatcherName)
Generates the dispatch code for the specialized arguments of this method. |
protected void |
CMethod.plantSelfArguments(CodeSequence code,
CMethod topConcreteMethod)
Plants bytecode to push the arguments for a call to this multimethod body from within a dispatcher of this generic function. |
void |
CMethod.setGenerateFrom(CMethod me)
|
void |
CClass.setCheckedMembers(CField[] fields_A,
Hashtable fields_H,
CMethod[] protoMethods_A)
Stores information on member signatures gathered during checkInterface pass prior to closing in the translateMJ pass. |
void |
CClass.close(CMethod[] methods_A,
CClassType[] dispClassTypes)
Ends the definition of this class by adding the dispatcher-wrapped methods and inner-dispatcher classes. |
void |
CClass.setAssertHelperMethod(CMethod m)
Set the synthetic helper method used to implement asserts. |
void |
CClass.augmentWithMethod(CMethod m,
CCompilationUnitContextType c)
|
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. |
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 |
CClass.genSyntheticParamsForExplicitThis(CodeSequence code,
CMethod constructor)
Adds synthetic parameters to the code sequence for an explicit constructor invocation to this class's constructor. |
JExpression[] |
CClass.getSyntheticParamsForExplicitSuper(CSourceClass callerClass,
CMethod caller)
For an explicit super class constructor invocation, returns the expressions that must be evaluated in the body of the constructor caller of the class
callerClass to add the outer local variable values
required by this to the stack. |
void |
CSourceClass.setCheckedMembers(Hashtable fields_H,
CMethod[] protoMethods_A)
Stores information on member signatures gathered during checkInterface pass prior to closing in the translateMJ pass. |
void |
CSourceClass.genSyntheticParamsForExplicitThis(CodeSequence code,
CMethod constructor)
Adds synthetic parameters to the code sequence for an explicit constructor invocation to this class's constructor. |
JExpression[] |
CSourceClass.getSyntheticParamsForExplicitSuper(CSourceClass callerClass,
CMethod caller)
For an explicit super class constructor invocation, returns the expressions that must be evaluated in the body of the constructor caller of the class
callerClass to add the outer local variable values
required by this to the stack. |
JExpression |
CSourceClass.getOuterLocalAccess(TokenReference ref,
JLocalVariable var,
CMethod constructor)
Returns an expression that evaluates to the value of the outer local variable var. |
private JLocalVariableExpression |
CSourceClass.generatedLocalVarHelper(CMethod constructor,
CSourceField field,
JLocalVariable var,
TokenReference ref)
|
boolean |
CAbstractMethodSet.contains(CMethod m)
Indicates whether this set contains the given method. |
void |
CAbstractMethodSet.addMethod(CMethod m)
Adds the given method to this method set. |
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. |
private void |
JMethodCallExpression.checkMethodFound(CMethod found,
CType[] argTypes)
Builds an error message and throws an exception if found is null. |
boolean |
CClass.CClass$1.maybeInclude(CMethod candidate,
CClassType[] args)
|
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)
|
boolean |
CClass.CClass$3.maybeInclude(CMethod candidate,
CClassType[] args)
|
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)
|
byte |
CClass.CClass$5.resultFor(CMethod candidate,
CMethod accumMethod)
|
boolean |
CClass.CClass$6.maybeInclude(CMethod candidate,
CClassType[] args)
|
byte |
CClass.CClass$6.resultFor(CMethod candidate,
CMethod accumMethod)
|
private void |
JMethodDeclaration.checkUniverseOverriding(CContextType context,
CType[] thisparams,
CMethod superMethod)
|
protected boolean |
JMethodDeclaration.noBodyOK(CContextType context,
CMethod self)
|
void |
JMethodDeclaration.addBridge(CContextType context,
CMethod method)
|
void |
CContext.registerVisibleMethod(CMethod method)
Registers with the surrounding context that a declaration of the given method occurs in this context. |
CMethodContextType |
CClassContext.createMethodContext(CMethod self)
|
CConstructorContextType |
CClassContext.createConstructorContext(CMethod self)
|
CInitializerContextType |
CClassContext.createInitializerContext(CMethod self)
|
abstract CMethodContextType |
CClassContextType.createMethodContext(CMethod self)
|
abstract CConstructorContextType |
CClassContextType.createConstructorContext(CMethod self)
|
abstract CInitializerContextType |
CClassContextType.createInitializerContext(CMethod self)
|
private void |
JTypeDeclaration.recordInternalTopMethod(CMethod methodSig,
CMethodSet topConcreteMethods)
|
private void |
JTypeDeclaration.annotateInternalInterfaceMethodsFor(CMethod topConcreteMethod,
CContextType context)
|
private void |
JTypeDeclaration.annotateInterfaceMethods(CMethod topConcreteMethod,
CMethodSet methods,
boolean anyInherited)
|
private void |
JTypeDeclaration.addRMJMethodAnnotation(CMethod method,
CMethod topConcreteMethod,
boolean anyInherited)
|
void |
CCompilationUnit.registerVisibleMethod(CMethod method)
Registers that a declaration of the given method occurs in the compilation unit represented by this. |
abstract void |
CCompilationUnitContextType.registerVisibleMethod(CMethod method)
Registers that a declaration of the given method occurs within the compilation unit. |
void |
CBinaryClass.checkTypes(CMethod method,
CContextType context)
|
void |
CAugmentationMap.addMethod(CMethod m,
CCompilationUnitContextType context)
|
void |
CCompilationUnitContext.registerVisibleMethod(CMethod method)
Registers that a declaration of the given method occurs within the compilation unit. |
protected CMethod |
CSourceGFCollection.superclassMethDispFor(CMethod target,
CClass receiverSubclass)
Generates a special superclass method invocation dispatcher for the external generic function containing target. |
boolean |
CWrapperMethod.isApplicableTo(CMethod m,
boolean mIsSuper)
Checks whether this wrapper method can be re-used for the given method. |
protected CType[] |
JNewObjectExpression.ArgTypes.castToTypes(CMethod constructor)
Returns the types to which to cast the regular arguments for the given constructor. |
| Constructors in org.multijava.mjc with parameters of type CMethod | |
CSourceDispatcherMethod(TokenReference where,
Main compiler,
CSourceClass outer,
CMethod topConcreteMethod,
CSourceMethod[] multimethods,
int gfID)
Constructs a dispatcher method for the given set of multimethods. |
|
CAbstractMethodSet(CMethod[] methodArray)
|
|
CMethodSet(CMethod[] methodArray)
|
|
CMethodSet.MethodArgsPair(CMethod m,
CClassType[] ar)
|
|
CGenericFunctionCollection.Impl(CMethod[] methods)
|
|
CSourceRedirectorMethod(CMethod target,
TokenReference where,
CContextType context)
Constructs a redirector for the given method, assuming the given declaration context. |
|
CMethodContext(CContextType parent,
CMethod self)
Create a context in which to check a method. |
|
CConstructorContext(CContextType parent,
CMethod self)
CConstructorContext Clients should not call this but should instead call CClassContextType.createConstructorContext. |
|
CInitializerContext(CContextType parent,
CMethod self)
Instantiates a context for checking initializer declarations. |
|
CSourceGFCollection(Main compiler,
CClass owner,
CMemberHost host,
TokenReference where,
long modifiers,
String ident,
String qualifiedName,
boolean isAnonymous,
boolean isMember,
boolean deprecated,
CMethod[] tlMethods)
|
|
CWrapperMethod(CMethod target,
CClass owner,
boolean isSuper)
Constructs a wrapper method for the given method. |
|
JTypeDeclaration.WrapResult(CMethod[] methods,
CClassType[] dispClassTypes)
|
|
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||