public class RecHeader4 extends Record
fields, number
RecHeader4()
void
readObject(java.io.BufferedReader reader)
addField, getField, getFields, getNumber, getPresentationString, print
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public RecHeader4()
public void readObject(java.io.BufferedReader reader) throws java.io.IOException
reader
java.io.IOException