Serialized Form
line
int line
column
int column
message
ErrorMessages message
file
java.io.File file
cols
int cols
rows
int rows
hgap
int hgap
vgap
int vgap
constraints
java.util.Vector<E> constraints
insets
java.awt.Insets insets
choosing
boolean choosing
fileName
java.lang.String fileName
dirName
java.lang.String dirName
quit
java.awt.Button quit
options
java.awt.Button options
generate
java.awt.Button generate
stop
java.awt.Button stop
specChoose
java.awt.Button specChoose
dirChoose
java.awt.Button dirChoose
spec
java.awt.TextField spec
dir
java.awt.TextField dir
messages
java.awt.TextArea messages
thread
GeneratorThread thread
dialog
OptionsDialog dialog
owner
java.awt.Frame owner
skelBrowse
java.awt.Button skelBrowse
skelFile
java.awt.TextField skelFile
ok
java.awt.Button ok
defaults
java.awt.Button defaults
dump
java.awt.Checkbox dump
verbose
java.awt.Checkbox verbose
jlex
java.awt.Checkbox jlex
no_minimize
java.awt.Checkbox no_minimize
no_backup
java.awt.Checkbox no_backup
time
java.awt.Checkbox time
dot
java.awt.Checkbox dot
tableG
java.awt.Checkbox tableG
switchG
java.awt.Checkbox switchG
packG
java.awt.Checkbox packG