Uses of Class
java.io.ObjectStreamField

Packages that use ObjectStreamField

java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.math	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.util	JML Specifications for the corresponding types in the Java Developement Kit (JDK).

Uses of ObjectStreamField in java.lang

Fields in java.lang declared as ObjectStreamField

private static ObjectStreamField[]	String.serialPersistentFields
private static ObjectStreamField[]	Class.serialPersistentFields
private static ObjectStreamField[]	StringBuffer.serialPersistentFields

Uses of ObjectStreamField in java.math

Fields in java.math declared as ObjectStreamField

private static ObjectStreamField[]

BigInteger.serialPersistentFields

Uses of ObjectStreamField in java.util

Fields in java.util declared as ObjectStreamField

private static ObjectStreamField[]	BitSet.serialPersistentFields
private static ObjectStreamField[]	Random.serialPersistentFields