Serialized Form


Package edu.toronto.cs.cparser

Class edu.toronto.cs.cparser.TNode extends antlr.CommonAST implements Serializable

Serialized Fields

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

Class edu.toronto.cs.cparser.block.Block extends TNode implements Serializable


Package edu.toronto.cs.ctl.antlr

Class edu.toronto.cs.ctl.antlr.CTLNodeParser.CTLNodeParserException extends java.lang.Exception implements Serializable


Package edu.toronto.cs.proof2

Class edu.toronto.cs.proof2.DynamicTree extends javax.swing.JPanel implements Serializable

Class edu.toronto.cs.proof2.FormulaRenderer extends javax.swing.tree.DefaultTreeCellRenderer implements Serializable


Package edu.toronto.cs.util

Class edu.toronto.cs.util.Clapi.OptCompilationFailedException extends java.lang.RuntimeException implements Serializable

Serialized Fields

nested

java.lang.Throwable nested

Class edu.toronto.cs.util.Clapi.OptHelpRequestedException extends Clapi.OptParseException implements Serializable

Class edu.toronto.cs.util.Clapi.OptParseException extends java.lang.Exception implements Serializable

Serialized Fields

nested

java.lang.Throwable nested

Class edu.toronto.cs.util.Clapi.OptShortHelpRequestedException extends Clapi.OptHelpRequestedException implements Serializable

Class edu.toronto.cs.util.FinalUserActElement extends UserActElement implements Serializable

Class edu.toronto.cs.util.NestedException extends java.lang.Exception implements Serializable

Serialized Fields

ex

java.lang.Exception ex

Class edu.toronto.cs.util.NestedRuntimeException extends java.lang.RuntimeException implements Serializable

Serialized Fields

ex

java.lang.Exception ex

Class edu.toronto.cs.util.SoftHashMap extends java.util.HashMap implements Serializable

Serialized Fields

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.

Class edu.toronto.cs.util.SoftSoftHashMap extends SoftHashMap implements Serializable

Serialized Fields

queue

java.lang.ref.ReferenceQueue queue

Class edu.toronto.cs.util.UserActElement extends javax.swing.AbstractAction implements Serializable

Serialized Fields

immanence

boolean immanence

passed

boolean passed

autoreset

boolean autoreset

name

java.lang.String name

next

UserActChain next

Class edu.toronto.cs.util.UserActionAdapter extends UserActElement implements Serializable

Serialized Fields

act

javax.swing.Action act

imm

boolean imm

wrapper

boolean wrapper

Package edu.toronto.cs.util.gui

Class edu.toronto.cs.util.gui.FilePanel extends javax.swing.JPanel implements Serializable

Serialized Fields

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

Class edu.toronto.cs.yasm.abstractor.CVCLMemoryModel extends java.util.HashMap implements Serializable

Serialized Fields

mm

MemoryModel mm

fac

ExprFactory fac

cvcl

CVCLExprConverter cvcl

Class edu.toronto.cs.yasm.abstractor.MemoryModel extends java.util.HashMap implements Serializable


Package edu.toronto.cs.yasm.pprogram

Class edu.toronto.cs.yasm.pprogram.PProgram.ParseException extends java.lang.Exception implements Serializable