JML

org.multijava.mjc
Class CGenericFunctionCollection.CGenericFunctionCollection$1

java.lang.Object
  extended byorg.multijava.mjc.CGenericFunctionCollection.CGenericFunctionCollection$1
All Implemented Interfaces:
CGenericFunctionCollection
Enclosing class:
CGenericFunctionCollection

public static class CGenericFunctionCollection.CGenericFunctionCollection$1
extends Object
implements CGenericFunctionCollection


Field Summary
 
Fields inherited from interface org.multijava.mjc.CGenericFunctionCollection
GF_UNDEFINED
 
Constructor Summary
CGenericFunctionCollection.CGenericFunctionCollection$1()
           
 
Method Summary
 void applyAugmentationFor(CContextType context)
          For the given context, augments the appropriate classes based on the methods in this collection.
 String qualifiedName()
          Returns the fully qualified name of this generic function collection.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CGenericFunctionCollection.CGenericFunctionCollection$1

public CGenericFunctionCollection.CGenericFunctionCollection$1()
Method Detail

applyAugmentationFor

public void applyAugmentationFor(CContextType context)
Description copied from interface: CGenericFunctionCollection
For the given context, augments the appropriate classes based on the methods in this collection. For each method m in this collection, a mapping from the given context to m is added to the CClass representing m's receiver type.

Specified by:
applyAugmentationFor in interface CGenericFunctionCollection
Parameters:
context - the context in which the augmentation occurs

qualifiedName

public String qualifiedName()
Description copied from interface: CGenericFunctionCollection
Returns the fully qualified name of this generic function collection.

Specified by:
qualifiedName in interface CGenericFunctionCollection

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.