Serialized Form
Package edu.toronto.cs.cparser |
ttype
int ttype
text
java.lang.String text
lineNum
int lineNum
defNode
TNode defNode
up
TNode up
left
TNode left
marker
boolean marker
attributes
java.util.Hashtable attributes
Package edu.toronto.cs.cparser.block |
Package edu.toronto.cs.ctl.antlr |
Package edu.toronto.cs.proof2 |
Package edu.toronto.cs.util |
nested
java.lang.Throwable nested
nested
java.lang.Throwable nested
ex
java.lang.Exception ex
ex
java.lang.Exception ex
queue
java.lang.ref.ReferenceQueue queue
- The reference queue where our buckets (which are WeakReferences) are
registered to.
size
int size
- The number of entries in this hash map.
loadFactor
float loadFactor
- The load factor of this WeakHashMap. This is the maximum ratio of
size versus number of buckets. If size grows the number of buckets
must grow, too.
threshold
int threshold
- The rounded product of the capacity (i.e. number of buckets) and
the load factor. When the number of elements exceeds the
threshold, the HashMap calls
rehash()
.
modCount
int modCount
- The number of structural modifications. This is used by
iterators, to see if they should fail. This doesn't count
the silent key removals, when a weak reference is cleared
by the garbage collection. Instead the iterators must make
sure to have strong references to the entries they rely on.
theEntrySet
edu.toronto.cs.util.SoftHashMap.SoftEntrySet theEntrySet
- The entry set returned by
entrySet()
.
buckets
edu.toronto.cs.util.SoftHashMap.SoftBucket[] buckets
- The hash buckets. These are linked lists. Package visible for use in
nested classes.
queue
java.lang.ref.ReferenceQueue queue
immanence
boolean immanence
passed
boolean passed
autoreset
boolean autoreset
name
java.lang.String name
next
UserActChain next
act
javax.swing.Action act
imm
boolean imm
wrapper
boolean wrapper
Package edu.toronto.cs.util.gui |
label
javax.swing.JLabel label
filename
javax.swing.JTextField filename
browse
javax.swing.JButton browse
browsePanel
javax.swing.JPanel browsePanel
labelPanel
javax.swing.JPanel labelPanel
withLabel
boolean withLabel
dir
java.lang.String dir
filechooser
javax.swing.JFileChooser filechooser
Package edu.toronto.cs.yasm.abstractor |
mm
MemoryModel mm
fac
ExprFactory fac
cvcl
CVCLExprConverter cvcl
Package edu.toronto.cs.yasm.pprogram |