Serialized Form


Package edu.toronto.cs.beans

Class edu.toronto.cs.beans.ModelCompilerPropertyDialog extends javax.swing.JDialog implements Serializable

Serialized Fields

propertySheet

ModelCompilerPropertySheet propertySheet

okPressed

boolean okPressed

Class edu.toronto.cs.beans.ModelCompilerPropertySheet extends javax.swing.JPanel implements Serializable

Serialized Fields

bean

ModelCompiler bean

beanDescriptor

java.beans.BeanDescriptor beanDescriptor

beanInfo

java.beans.BeanInfo beanInfo

properties

java.util.Map<K,V> properties

propNames

java.util.Map<K,V> propNames

helpArea

javax.swing.JTextArea helpArea

propertyEditorPanel

javax.swing.JPanel propertyEditorPanel

activeEditor

java.awt.Component activeEditor

Package edu.toronto.cs.ctl.antlr

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


Package edu.toronto.cs.gui

Class edu.toronto.cs.gui.GrappaFrame extends javax.swing.JFrame implements Serializable

Serialized Fields

gp

GrappaPanel gp

graph

Graph graph

layout

javax.swing.JButton layout

printer

javax.swing.JButton printer

draw

javax.swing.JButton draw

quit

javax.swing.JButton quit

panel

javax.swing.JPanel panel

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

Serialized Fields

image

java.awt.Image image

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

Serialized Fields

label

javax.swing.JLabel label

inputfield

javax.swing.JComboBox inputfield

run

javax.swing.JButton run

keg

javax.swing.JCheckBox keg

trace

javax.swing.JButton trace

traceviewer

XCTraceViewer traceviewer

variablelist

edu.toronto.cs.gui.InputPanel.VarList variablelist

Class edu.toronto.cs.gui.KEGTreeFrame extends javax.swing.JFrame implements Serializable

Serialized Fields

proofStep

ProofStep proofStep

statePresenter

StatePresenter statePresenter

layoutPath

java.lang.String layoutPath

kegTree

javax.swing.JTree kegTree

stateView

javax.swing.JList stateView

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

Serialized Fields

tabs

javax.swing.JTabbedPane tabs

fair

javax.swing.JPanel fair

macro

javax.swing.JPanel macro

fair_chk

javax.swing.JCheckBox fair_chk

fair_use_cond

javax.swing.JLabel fair_use_cond

fair_all

javax.swing.JRadioButton fair_all

fair_some

javax.swing.JRadioButton fair_some

fair_opts

javax.swing.ButtonGroup fair_opts

fair_list

javax.swing.JList fair_list

fair_scroll

javax.swing.JScrollPane fair_scroll

fair_add

javax.swing.JButton fair_add

fair_edit

javax.swing.JButton fair_edit

fair_remove

javax.swing.JButton fair_remove

fair_buttons

javax.swing.JPanel fair_buttons

fair_select

javax.swing.JPanel fair_select

selection

int[] selection

macro_label1

javax.swing.JLabel macro_label1

macro_list

javax.swing.JList macro_list

macro_scroll

javax.swing.JScrollPane macro_scroll

macro_label2

javax.swing.JLabel macro_label2

macro_exp

javax.swing.JTextArea macro_exp

macro_exp_scroll

javax.swing.JScrollPane macro_exp_scroll

macro_add

javax.swing.JButton macro_add

macro_edit

javax.swing.JButton macro_edit

macro_remove

javax.swing.JButton macro_remove

macro_buttons

javax.swing.JPanel macro_buttons

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

Serialized Fields

output

javax.swing.JTextPane output

styledPrinter

StyledDocumentPrinter styledPrinter

scroll

javax.swing.JScrollPane scroll

Class edu.toronto.cs.gui.ProofTreeFrame extends javax.swing.JFrame implements Serializable

Serialized Fields

proofStep

ProofStep proofStep

statePresenter

StatePresenter statePresenter

tree

javax.swing.JTree tree

stateView

javax.swing.JList stateView

mc

MvSetModelChecker mc

count

int count

countLevel

int countLevel

finalCount

int finalCount

level

int level

index

int index

expand

boolean expand

hashMap

java.util.HashMap<K,V> hashMap

name

java.lang.String name

expandNode

boolean expandNode

levelList

java.util.List<E> levelList

treeNodeList

java.util.List<E> treeNodeList

listTreeNode

java.util.List<E> listTreeNode

choiceToExpand

javax.swing.JComboBox choiceToExpand

top1

javax.swing.tree.DefaultMutableTreeNode top1

Class edu.toronto.cs.gui.XChekGUI extends javax.swing.JFrame implements Serializable

Serialized Fields

ctlin

InputPanel ctlin

output

OutputPanel output

optionspanel

OptionsPanel optionspanel

menu

XChekMenuBar menu

toolbar

XChekToolbar toolbar

traceviewer

XCTraceViewer traceviewer

modelName

java.lang.String modelName

actionMap

javax.swing.ActionMap actionMap

options

java.util.Map<K,V> options

currentDir

java.io.File currentDir

filechooser

javax.swing.JFileChooser filechooser

closeModelChain

UserActChain closeModelChain

quitActionChain

UserActChain quitActionChain

loadModelChain

UserActChain loadModelChain

compiler

ModelCompiler compiler

xkripke

XKripkeStructure xkripke

ctlReWriters

java.util.List<E> ctlReWriters

modelChecker

MvSetModelChecker modelChecker

phReWriter

PlaceholderReWriter phReWriter

upsetPhReWriter

MvSetPlaceholderReWriter upsetPhReWriter

openXMLIcon

java.net.URL openXMLIcon

openBDDIcon

java.net.URL openBDDIcon

loadFairnessIcon

java.net.URL loadFairnessIcon

saveFairnessIcon

java.net.URL saveFairnessIcon

loadCTLIcon

java.net.URL loadCTLIcon

saveCTLIcon

java.net.URL saveCTLIcon

quitIcon

java.net.URL quitIcon

modelInfoIcon

java.net.URL modelInfoIcon

latticeIcon

java.net.URL latticeIcon

varIcon

java.net.URL varIcon

preferencesIcon

java.net.URL preferencesIcon

Class edu.toronto.cs.gui.XChekMenuBar extends javax.swing.JMenuBar implements Serializable

Serialized Fields

file

javax.swing.JMenu file

model

javax.swing.JMenu model

fairness

javax.swing.JMenu fairness

ctlHistory

javax.swing.JMenu ctlHistory

help

javax.swing.JMenu help

openModel

javax.swing.JMenuItem openModel

editPrefs

javax.swing.JMenuItem editPrefs

loadFairness

javax.swing.JMenuItem loadFairness

saveFairness

javax.swing.JMenuItem saveFairness

loadCTL

javax.swing.JMenuItem loadCTL

saveCTL

javax.swing.JMenuItem saveCTL

quit

javax.swing.JMenuItem quit

modelInfo

javax.swing.JMenuItem modelInfo

showVariables

javax.swing.JMenuItem showVariables

helpItem

javax.swing.JMenuItem helpItem

about

javax.swing.JMenuItem about

Class edu.toronto.cs.gui.XChekToolbar extends javax.swing.JToolBar implements Serializable

Serialized Fields

open

javax.swing.JButton open

loadFairness

javax.swing.JButton loadFairness

saveFairness

javax.swing.JButton saveFairness

loadCTL

javax.swing.JButton loadCTL

saveCTL

javax.swing.JButton saveCTL

showAlgebra

javax.swing.JButton showAlgebra

openPrefs

javax.swing.JButton openPrefs

quit

javax.swing.JButton quit

Class edu.toronto.cs.gui.XPreferencesPresenter extends javax.swing.JDialog implements Serializable

Serialized Fields

list

javax.swing.JList list

listModel

javax.swing.DefaultListModel listModel

listScroller

javax.swing.JScrollPane listScroller

buttonsPanel

javax.swing.JPanel buttonsPanel

listPanel

javax.swing.JPanel listPanel

okBut

javax.swing.JButton okBut

importBut

javax.swing.JButton importBut

exportBut

javax.swing.JButton exportBut

closeBut

javax.swing.JButton closeBut

currentIndex

int currentIndex

currentPreference

XPreferences currentPreference

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.simulator

Class edu.toronto.cs.simulator.ConditionPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

enabled

javax.swing.JCheckBox enabled

dummy

javax.swing.JToggleButton dummy

user

javax.swing.JToggleButton user

script

javax.swing.JToggleButton script

Class edu.toronto.cs.simulator.DummySimulator extends XCSimulator implements Serializable

Class edu.toronto.cs.simulator.FileSimulator extends XCSimulator implements Serializable

Serialized Fields

props

java.util.Vector<E> props

steps

java.util.Vector<E> steps

currSimStepIndex

int currSimStepIndex

currSimStep

edu.toronto.cs.simulator.SimStep currSimStep

stepdisplay

javax.swing.JSpinner stepdisplay

stepcounter

javax.swing.SpinnerNumberModel stepcounter

tree

XCTraceTree tree

filechooser

javax.swing.JFileChooser filechooser

load

javax.swing.JButton load

save

javax.swing.JButton save

run

javax.swing.JButton run

apply

javax.swing.JButton apply

runAction

javax.swing.Action runAction

script

javax.swing.JTextArea script

Class edu.toronto.cs.simulator.SimpleVariablePanel extends VariablePanel implements Serializable

Serialized Fields

vars

javax.swing.JList vars

tree

XCTraceTree tree

Class edu.toronto.cs.simulator.StateInfoPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

namelabel

javax.swing.JLabel namelabel

translabel

javax.swing.JLabel translabel

varlabel

javax.swing.JLabel varlabel

name

javax.swing.JTextField name

trans

javax.swing.JTextField trans

vars

VariablePanel vars

tree

XCTraceTree tree

Class edu.toronto.cs.simulator.TraceToolBar extends javax.swing.JToolBar implements Serializable

Serialized Fields

goodcond

javax.swing.JButton goodcond

badcond

javax.swing.JButton badcond

breakcond

javax.swing.JButton breakcond

Class edu.toronto.cs.simulator.TraceTreeBrowser extends javax.swing.JScrollPane implements Serializable

Serialized Fields

tree

javax.swing.JTree tree

treemodel

XCTraceTree treemodel

popupmenu

javax.swing.JPopupMenu popupmenu

ctlfalse

CTLNode ctlfalse

ctltrue

CTLNode ctltrue

step

javax.swing.Action step

split

javax.swing.Action split

remove

javax.swing.Action remove

run

javax.swing.Action run

infochanged

javax.swing.Action infochanged

load

javax.swing.Action load

sim

XCSimulator sim

mc

MvSetModelChecker mc

Class edu.toronto.cs.simulator.UserSimulator extends XCSimulator implements Serializable

Serialized Fields

desiredcond

javax.swing.JTextField desiredcond

ignoredcond

javax.swing.JTextField ignoredcond

Class edu.toronto.cs.simulator.VariablePanel extends javax.swing.JPanel implements Serializable

Class edu.toronto.cs.simulator.XCSimulator extends javax.swing.JFrame implements Serializable

Serialized Fields

currstep

int currstep

maxstep

int maxstep

stepcond

CTLNode stepcond

elsecond

CTLNode elsecond

breakcond

java.util.Vector<E> breakcond

ctltrue

CTLNode ctltrue

ctlfalse

CTLNode ctlfalse

Class edu.toronto.cs.simulator.XCTraceViewer extends javax.swing.JFrame implements Serializable

Serialized Fields

toolbar

TraceToolBar toolbar

treebrowser

TraceTreeBrowser treebrowser

conditionpanel

ConditionPanel conditionpanel

stateinfo

StateInfoPanel stateinfo

dummysim

DummySimulator dummysim

usersim

UserSimulator usersim

scriptsim

FileSimulator scriptsim

sim

XCSimulator sim

mc

MvSetModelChecker mc

actionMap

javax.swing.ActionMap actionMap

prompt

boolean prompt

ctltrue

CTLNode ctltrue

ctlfalse

CTLNode ctlfalse

Package edu.toronto.cs.smv.parser

Class edu.toronto.cs.smv.parser.ExprAST extends antlr.CommonAST implements Serializable

Serialized Fields

enm

boolean enm

values

java.util.List<E> values

Package edu.toronto.cs.util

Class edu.toronto.cs.util.ArrayMarkedList extends java.util.ArrayList implements Serializable

Serialized Fields

listSizes

java.util.List<E> listSizes

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<T> 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<T> 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

filenameFld

javax.swing.JTextField filenameFld

dir

java.lang.String dir

filechooser

javax.swing.JFileChooser filechooser

title

java.lang.String title