org.multijava.mjc
Class CClass.NoDupStrategy
java.lang.Object
org.multijava.mjc.CClass.NoDupStrategy
- All Implemented Interfaces:
- CMethodSet.Strategy
- Direct Known Subclasses:
- CClass.CClass$1, CClass.CClass$2, CClass.CClass$3, CClass.CClass$4, CClass.CClass$5, CClass.CClass$6, JmlSourceClass.JmlSourceClass$1, JmlSourceClass.JmlSourceClass$2, JmlSourceClass.JmlSourceClass$3
- Enclosing class:
- CClass
- protected abstract class CClass.NoDupStrategy
- extends Object
- implements CMethodSet.Strategy
This class is a specialization of CMethodSet.Strategy that
keeps track of which CClass instances have already been
searched for appropriate methods. The various lookup methods
below will create appropriate subclasses of this class, using it
to ensure that they do not search a class more than once.
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
already_searched
protected Set already_searched
CClass.NoDupStrategy
protected CClass.NoDupStrategy()
alreadySearched
public boolean alreadySearched(CClass cls)
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.