java.io
Interface Serializable

All Known Subinterfaces:

Directory, DirObserverKeeper, Entry, JMLCollection, JMLComparable, JMLEnumeration, JMLInfiniteInteger, JMLIterator, JMLObjectType, JMLType, JMLValueType, Key, Money, MoneyComparable, MoneyOps, NodeType, PrivateKey, PublicKey, RODirectory, RSAPrivateKey, SecretKey

public interface Serializable

Class Specifications

Specifications inherited from class Object

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