java.lang
Interface Cloneable

All Known Subinterfaces:

BooleanIterator, ByteIterator, CharIterator, Directory, DirObserverKeeper, DoubleIterator, Entry, FloatIterator, IndefiniteIterator, IntIterator, JMLCollection, JMLComparable, JMLEnumeration, JMLInfiniteInteger, JMLIterator, JMLObjectType, JMLType, JMLValueType, LongIterator, Money, MoneyComparable, MoneyOps, NodeType, RODirectory, ShortIterator

public interface Cloneable

Class Specifications

Specifications inherited from class Object

represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT; public represents _getClass <- \typeof(this);