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