| java.io.Serializable
All known Subclasses: de.uka.ilkd.key.proof.BuiltInRuleAppIndex, de.uka.ilkd.key.gui.prooftree.ExpansionState, java.io.File, java.util.Random, java.util.Vector, java.util.TimeZone, de.uka.ilkd.key.logic.SequentChangeInfo, java.lang.Number, de.uka.ilkd.key.logic.SemisequentChangeInfo, java.util.Calendar, java.io.FilePermission, java.util.HashSet, java.util.TreeSet, java.lang.Class, java.util.ArrayList, java.util.LinkedList, de.uka.ilkd.key.proof.BuiltInRuleIndex, de.uka.ilkd.key.gui.prooftree.GUIProofTreeModel, de.uka.ilkd.key.rule.inst.ProgramSVEntry, java.util.Date, java.util.TreeMap, java.util.IdentityHashMap, de.uka.ilkd.key.logic.Namespace, java.util.Locale, java.lang.Character, java.lang.Boolean, java.util.Currency, de.uka.ilkd.key.logic.ConstrainedFormula, java.util.BitSet, java.util.Hashtable, java.util.EventObject, java.util.HashMap, java.io.ObjectStreamClass, java.util.LinkedHashSet,
| Serializable | | public interface Serializable (Code) | | This interface has no methods. It simply serves to indicate that
the implementing class may be serialized.
author:
Aaron M. Renn (arenn@urbanophile.com)
author:
Warren Levy |
|
|