JML

Uses of Class
org.multijava.mjc.CMethod

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

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.