Uses of Class
org.multijava.mjc.CMethodSet

Packages that use CMethodSet

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CMethodSet in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as CMethodSet

private CMethodSet

JmlMethodDeclaration.overriddenMethodSet

Methods in org.jmlspecs.checker that return CMethodSet

CMethodSet	JmlSourceClass.lookupJMLMethodName(String name, CContextType context) For looking up methods that are not overloaded and appear in JML clauses that list method calls.
(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.
CMethodSet	JmlMethodDeclaration.overriddenMethods() Return the set of methods that are directly overriden (specialized) by this method declaration.
CMethodSet	JmlContext.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	JmlContext.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.
CMethodSet	JmlClassContext.lookupMethodOrSet(String ident, CType[] params, CClassContextType context) Searches for the most specific method(s) when no receiver is explicit at the call site.
CMethodSet	JmlCompilationUnitContext.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.

Methods in org.jmlspecs.checker with parameters of type CMethodSet

protected void	JmlSourceClass.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	JmlSourceClass.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.
private void	JmlSourceClass.accumMethodsJMLOnly(CClass.NoDupStrategy actor, String name, CMethodSet accum) Accumulates the set of methods with identifier name declared in the type represented by this, ignoring external methods, using the strategy actor.
void	JMethodDeclarationWrapper.checkOverriding(CContextType context, CMethodSet superMethods) Checks that this method appropriately overrides the given superclass methods.
void	JmlMethodDeclaration.checkOverriding(CContextType context, CMethodSet superMethods) Checks that this method appropriately overrides the given superclass methods.

Uses of CMethodSet in org.multijava.mjc

Subclasses of CMethodSet in org.multijava.mjc

static class

CGenericFunctionCollection.Impl

Fields in org.multijava.mjc declared as CMethodSet

private CMethodSet	CMethod.overriddenMethodSet The set of methods overridden by this method, may be null.
private CMethodSet	CSourceMethod.filteredDispatchers Stores the filtered dispatcher methods for the external generic function whose top method is this.
protected CMethodSet	CClass.methods The methods of this class after dispatcher wrapping.
private CMethodSet	CClass.protoMethods The methods of this class as generated from the declarations after the checkInterface pass but before dispatcher wrapping.
private CMethodSet	CClass.wrapperMethods The wrapper methods of this class
private CMethodSet	CClass.fieldGetterMethods The field getter methods of this class
private CMethodSet	CClass.fieldSetterMethods The field setter methods of this class
private CMethodSet	CClass.redirectorMethods Redirectors for inherited external methods that implement a regular Java interface.

Methods in org.multijava.mjc that return CMethodSet

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.
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.
protected CMethodSet	CMethod.overriddenMethodSet() Returns the set of methods overridden by this method, may be null.
protected CMethodSet	CSourceMethod.filteredDispatchers() Returns the filtered dispatcher methods for the external generic function whose top method is this.
protected CMethodSet	CSourceDispatcherMethod.filteredDispatchers() Returns the filtered dispatcher methods for the external generic function whose top dispatcher is this.
protected CMethodSet	CClass.methodsForCodeGen() Returns the data structure representing the methods that will be used for generating bytecode.
CMethodSet	CClass.methods() Returns the data structure representing the methods that will be used for generating bytecode.
CMethodSet	CClass.protoMethods() Returns the data structure representing the methods of this class as generated from the declarations after the checkInterface pass but before dispatcher wrapping.
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.
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.
CMethodSet	CSourceClass.lookupMethodOrSet(String name, CType[] params, CClassType[] args, CContextType context)
CMethodSet	JMethodDeclaration.overriddenMethods() Return the set of methods that are directly overriden (specialized) by this method declaration.
abstract CMethodSet	JMethodDeclarationType.overriddenMethods() Return the set of methods that are directly overriden (specialized) by this method declaration.
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.
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.
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 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.
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.
CMethodSet	CAugmentationMap.getAddedMethods(CCompilationUnitContextType context) Given a context, returns the corresponding set of external methods.
(package private) CMethodSet	CAugmentationMap.ContextMap.getMethodSet(CCompilationUnitContextType context)
CMethodSet	CBadClass.lookupMethodOrSet(String name, CType[] params, CContextType context) Searches for the most specific method applicable to the given identifier and argument type tuple, in the given context, looking in parent hierarchy and augmentation map as needed.
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.
private CMethodSet	TestJTypeDeclaration.getTypesMethods(JCompilationUnitType unit) Returns a set of the methods that will be used for generating the first type declaration in the given compilation unit.
private CMethodSet	TestJTypeDeclaration.getGFsMethods(JCompilationUnitType unit) Returns a set of the methods that will be used for generating the first external generic function in the given compilation unit.
private CMethodSet	TestJTypeDeclaration.methodsFromSourceClass(CSourceClass clazz)

Methods in org.multijava.mjc with parameters of type CMethodSet

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.
private CFieldAccessorMethod	CClass.findAccessorMethod(CField f, CMethodSet ms)
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.
void	JMethodDeclaration.checkOverriding(CContextType context, CMethodSet superMethods) Checks that this method appropriately overrides the given superclass methods.
abstract void	JMethodDeclarationType.checkOverriding(CContextType context, CMethodSet superMethods) Checks that this method appropriately overrides the given superclass methods.
private void	JTypeDeclaration.recordInternalTopMethod(CMethod methodSig, CMethodSet topConcreteMethods)
private void	JTypeDeclaration.annotateInterfaceMethods(CMethod topConcreteMethod, CMethodSet methods, boolean anyInherited)
protected void	JInitializerDeclaration.checkAccess(CClassContextType context, CMethodSet superMethods)
(package private) void	CAugmentationMap.ContextMap.addMethodSet(CCompilationUnitContextType context, CMethodSet m)