Serialized Form

Package nz.ac.waikato.jdsl.core.api

Class nz.ac.waikato.jdsl.core.api.BoundaryViolationException extends CoreException implements Serializable

Class nz.ac.waikato.jdsl.core.api.CoreException extends java.lang.RuntimeException implements Serializable

Class nz.ac.waikato.jdsl.core.api.EmptyContainerException extends CoreException implements Serializable

Class nz.ac.waikato.jdsl.core.api.InvalidAccessorException extends CoreException implements Serializable

Class nz.ac.waikato.jdsl.core.api.InvalidAttributeException extends CoreException implements Serializable

Class nz.ac.waikato.jdsl.core.api.InvalidContainerException extends CoreException implements Serializable

Class nz.ac.waikato.jdsl.core.api.InvalidKeyException extends CoreException implements Serializable

Class nz.ac.waikato.jdsl.core.api.InvalidMethodCallException extends CoreException implements Serializable

Class nz.ac.waikato.jdsl.core.api.NonEmptyContainerException extends CoreException implements Serializable

Package nz.ac.waikato.jdsl.core.ref

Class nz.ac.waikato.jdsl.core.ref.ArrayHeap extends java.lang.Object implements Serializable

Serialized Fields

array_

nz.ac.waikato.jdsl.core.ref.ArrayHeap.AHLocator[] array_

size_

int size_

comp_

Comparator comp_

The comparator used to prioritize the keys.

shrink_

boolean shrink_

locatorsArray_

Locator[] locatorsArray_

keysArray_

java.lang.Object[] keysArray_

elementsArray_

java.lang.Object[] elementsArray_

Class nz.ac.waikato.jdsl.core.ref.AssertionException extends CoreException implements Serializable

Class nz.ac.waikato.jdsl.core.ref.FullContainerException extends CoreException implements Serializable

Class nz.ac.waikato.jdsl.core.ref.HashtableDecorable extends java.lang.Object implements Serializable

Serialization Methods

readObject

private final void readObject(java.io.ObjectInputStream s)
                       throws java.io.IOException,
                              java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeObject

private final void writeObject(java.io.ObjectOutputStream s)
                        throws java.io.IOException

Throws:

java.io.IOException

Class nz.ac.waikato.jdsl.core.ref.HashtableDictionary extends AbstractDictionary implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream s)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Reads a HashtableDictionary in from a serialized form.

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeObject

private void writeObject(java.io.ObjectOutputStream s)
                  throws java.io.IOException

Writes a HashtableDictionary out to a serialized form.

Throws:

java.io.IOException

Serialized Fields

locatorCache_

Locator[] locatorCache_

keyCache_

java.lang.Object[] keyCache_

elementCache_

java.lang.Object[] elementCache_

comp_

HashComparator comp_

The comparator which is used to test for comparability and equality of keys.

Class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTNode extends HashtableDecorable implements Serializable

Serialized Fields

_parent

NodeBinaryTree.NBTNode _parent

The parent of this node; never null while position is in tree may be a supernode.

_left

NodeBinaryTree.NBTNode _left

This node's left child. If this node is external, _left == null

_right

NodeBinaryTree.NBTNode _right

This node's right child. If this node is external, _right== null

_container

NodeBinaryTree _container

This node's container

_element

java.lang.Object _element

This node's element. May be null.

Class nz.ac.waikato.jdsl.core.ref.NodeBinaryTree.NBTSuperNode extends NodeBinaryTree.NBTNode implements Serializable

Serialized Fields

_tree

NodeBinaryTree _tree

The tree that contains me

_root

NodeBinaryTree.NBTNode _root

That tree's root

Class nz.ac.waikato.jdsl.core.ref.NodeSequence.FNSNode extends HashtableDecorable implements Serializable

Serialized Fields

next_

NodeSequence.FNSNode next_

The nodes immediately before and after this one (may be null if this node is at an end of the Sequence)

prev_

NodeSequence.FNSNode prev_

The nodes immediately before and after this one (may be null if this node is at an end of the Sequence)

cont_

InspectableContainer cont_

The container that this node belongs to (this makes O(1) time calls to contains() possible)

elt_

java.lang.Object elt_

The element this position stores

Class nz.ac.waikato.jdsl.core.ref.SerializableObject extends java.lang.Object implements Serializable

Package nz.ac.waikato.jdsl.graph.algo

Class nz.ac.waikato.jdsl.graph.algo.AnachronismException extends java.lang.RuntimeException implements Serializable

Class nz.ac.waikato.jdsl.graph.algo.InvalidQueryException extends GraphException implements Serializable

Package nz.ac.waikato.jdsl.graph.api

Class nz.ac.waikato.jdsl.graph.api.GraphException extends java.lang.RuntimeException implements Serializable

Class nz.ac.waikato.jdsl.graph.api.InvalidEdgeException extends GraphException implements Serializable

Class nz.ac.waikato.jdsl.graph.api.InvalidVertexException extends GraphException implements Serializable

Class nz.ac.waikato.jdsl.graph.api.NoSuchEdgeException extends GraphException implements Serializable

Class nz.ac.waikato.jdsl.graph.api.NoSuchVertexException extends GraphException implements Serializable

Package nz.ac.waikato.modeljunit

Class nz.ac.waikato.modeljunit.FsmException extends java.lang.Error implements Serializable

Class nz.ac.waikato.modeljunit.TestFailureException extends java.lang.RuntimeException implements Serializable

Serialized Fields

model

FsmModel model

The model that was used to generate the failed test.

modelName

java.lang.String modelName

The name of the model that was used to generate the failed test.

actionName

java.lang.String actionName

The action that caused the failure.

state

java.lang.Object state

The state of the model just before the failure.

sequence

java.util.List<E> sequence

The complete sequence of actions leading to the failure. May be null if this was not recorded.

Package nz.ac.waikato.modeljunit.gui

Class nz.ac.waikato.modeljunit.gui.AlgorithmPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: -8482380073303577774L

Serialized Fields

m_strNameOfAlgorithm

java.lang.String m_strNameOfAlgorithm

m_strExplanation

java.lang.String m_strExplanation

m_imgIcon

javax.swing.ImageIcon m_imgIcon

m_panelOption

OptionPanelAdapter m_panelOption

Class nz.ac.waikato.modeljunit.gui.ApplicationMenuBar extends java.lang.Object implements Serializable

Class nz.ac.waikato.modeljunit.gui.DialogAbout extends javax.swing.JDialog implements Serializable

Class nz.ac.waikato.modeljunit.gui.DialogCoverageLineColor extends javax.swing.JDialog implements Serializable

serialVersionUID: 1371399697321421718L

Serialized Fields

m_comboColorList

javax.swing.JComboBox[] m_comboColorList

m_modelComboBox

nz.ac.waikato.modeljunit.gui.DialogCoverageLineColor.ComboBoxModel[] m_modelComboBox

m_colorLine

LineColor[] m_colorLine

m_panel

javax.swing.JPanel m_panel

Class nz.ac.waikato.modeljunit.gui.InfoPanel extends java.lang.Object implements Serializable

Class nz.ac.waikato.modeljunit.gui.ModelJUnitMenuBar extends javax.swing.JMenuBar implements Serializable

Serialized Fields

mParent

ModelJUnitGUI mParent

mFile

javax.swing.JMenu mFile

mEdit

javax.swing.JMenu mEdit

mView

javax.swing.JMenu mView

mRun

javax.swing.JMenu mRun

mHelp

javax.swing.JMenu mHelp

Class nz.ac.waikato.modeljunit.gui.OptionPanelAdapter extends javax.swing.JPanel implements Serializable

serialVersionUID: 1528786500050772844L

Serialized Fields

m_strNameOfAlgorithm

java.lang.String m_strNameOfAlgorithm

m_strExplanation

java.lang.String m_strExplanation

m_imgIcon

javax.swing.ImageIcon m_imgIcon

m_tester

Tester[] m_tester

The array of tester object Using array because we need to separate several tester for different panel. 0. For automatically run testing. 1. For manually run testing.

Class nz.ac.waikato.modeljunit.gui.OptionPanelDefault extends OptionPanelAdapter implements Serializable

serialVersionUID: -9005457035103622777L

Serialized Fields

m_labelLength

javax.swing.JLabel m_labelLength

Class nz.ac.waikato.modeljunit.gui.OptionPanelGreedy extends OptionPanelAdapter implements Serializable

serialVersionUID: -3666437825873201003L

Serialized Fields

m_bufCode

java.lang.StringBuffer m_bufCode

m_checkRandomSeed

javax.swing.JCheckBox m_checkRandomSeed

Class nz.ac.waikato.modeljunit.gui.OptionPanelLookahead extends OptionPanelAdapter implements Serializable

serialVersionUID: -3923262405217218593L

Serialized Fields

m_lookaheadDepth

javax.swing.JTextField m_lookaheadDepth

m_defaultDepth

int m_defaultDepth

m_maxLength

javax.swing.JTextField m_maxLength

m_defaultMaxLength

int m_defaultMaxLength

Class nz.ac.waikato.modeljunit.gui.OptionPanelRandomWalk extends OptionPanelAdapter implements Serializable

serialVersionUID: -7675450997014889733L

Serialized Fields

m_bufRandomTest

java.lang.StringBuffer m_bufRandomTest

m_checkRandomSeed

javax.swing.JCheckBox m_checkRandomSeed

Class nz.ac.waikato.modeljunit.gui.PanelAbstract extends javax.swing.JPanel implements Serializable

Class nz.ac.waikato.modeljunit.gui.PanelAnimator extends PanelAbstract implements Serializable

Serialized Fields

mModel

Model mModel

mActionHistoryList

javax.swing.JList mActionHistoryList

mActionHistory

javax.swing.DefaultListModel mActionHistory

mResetButton

javax.swing.JButton mResetButton

mButtons

java.util.Map<K,V> mButtons

mStateLabel

javax.swing.JLabel mStateLabel

Class nz.ac.waikato.modeljunit.gui.PanelCodeViewer extends PanelAbstract implements Serializable

serialVersionUID: -8433568076533100620L

Serialized Fields

m_txtCode

javax.swing.JTextArea m_txtCode

Class nz.ac.waikato.modeljunit.gui.PanelCoverage extends PanelAbstract implements Serializable

serialVersionUID: 145722827927748022L

Serialized Fields

m_arrayStages

int[] m_arrayStages

m_covS

java.util.ArrayList<E> m_covS

m_covT

java.util.ArrayList<E> m_covT

m_covTP

java.util.ArrayList<E> m_covTP

m_covA

java.util.ArrayList<E> m_covA

mProgress

javax.swing.JProgressBar mProgress

Class nz.ac.waikato.modeljunit.gui.PanelExecuteActions extends PanelAbstract implements Serializable

serialVersionUID: -2098899830666068702L

Serialized Fields

m_labModName

javax.swing.JLabel m_labModName

m_strDefName

java.lang.String m_strDefName

m_nCurrentSelectedAction

int m_nCurrentSelectedAction

m_butReset

javax.swing.JButton m_butReset

m_butExport

javax.swing.JButton m_butExport

m_listActoin

javax.swing.JList m_listActoin

m_listActionModel

javax.swing.DefaultListModel m_listActionModel

m_listExecutionHistory

javax.swing.JList m_listExecutionHistory

m_listExeHisModel

javax.swing.DefaultListModel m_listExeHisModel

m_strCodePart

java.lang.String[] m_strCodePart

m_splitPane

javax.swing.JSplitPane m_splitPane

Class nz.ac.waikato.modeljunit.gui.PanelResultViewer extends PanelAbstract implements Serializable

serialVersionUID: -6522938608020451281L

Serialized Fields

MIN_HEIGHT

int MIN_HEIGHT

INITIAL_WIDTH

int INITIAL_WIDTH

m_txtOutput

javax.swing.JTextArea m_txtOutput

m_scrollTextArea

javax.swing.JScrollPane m_scrollTextArea

Class nz.ac.waikato.modeljunit.gui.PanelTestDesign extends PanelAbstract implements Serializable

serialVersionUID: 5316043261026727079L

Serialized Fields

m_gui

ModelJUnitGUI m_gui

A link to the top-level GUI, for callbacks.

m_panelModel

javax.swing.JPanel m_panelModel

The topmost (model) panel. This is for finding and loading the model class.

mCodeView

javax.swing.JTextArea mCodeView

The code window view

mScrollPane

javax.swing.JScrollPane mScrollPane

m_modelInfo1

javax.swing.JLabel m_modelInfo1

Labels for displaying information about the loaded model.

m_modelInfo2

javax.swing.JLabel m_modelInfo2

Labels for displaying information about the loaded model.

m_modelInfo3

javax.swing.JLabel m_modelInfo3

Labels for displaying information about the loaded model.

m_butOpenModel

javax.swing.JButton m_butOpenModel

The button for loading the model class.

m_butExternalExecute

javax.swing.JButton m_butExternalExecute

The button that runs the test generation.

m_txtLength

javax.swing.JTextField m_txtLength

m_nCurAlgo

int m_nCurAlgo

m_panelAlgorithmBase

javax.swing.JPanel m_panelAlgorithmBase

The middle (algorithm) panel. This is for choosing test generation algorithm and options.

m_combAlgorithmSelection

javax.swing.JComboBox m_combAlgorithmSelection

m_sliderAverageTestLength

javax.swing.JSlider m_sliderAverageTestLength

m_panelAlgorithm

OptionPanelAdapter[] m_panelAlgorithm

m_algorithmRight

javax.swing.JPanel m_algorithmRight

m_algorithmLeft

javax.swing.JPanel m_algorithmLeft

m_checkVerbosity

javax.swing.JCheckBox m_checkVerbosity

m_checkFailureVerbosity

javax.swing.JCheckBox m_checkFailureVerbosity

m_panelReport

javax.swing.JComponent m_panelReport

The bottom (reporting) panel. This is for controlling the reports/statistics from the test generation.

m_checkCoverage

javax.swing.JCheckBox[] m_checkCoverage

Class nz.ac.waikato.modeljunit.gui.ProjectDialog extends javax.swing.JDialog implements Serializable

Serialized Fields

mParent

ModelJUnitGUI mParent

mModelInfo1

javax.swing.JLabel mModelInfo1

mModelInfo2

javax.swing.JLabel mModelInfo2

mModelInfo3

javax.swing.JLabel mModelInfo3

mModelClassName

javax.swing.JLabel mModelClassName

Class nz.ac.waikato.modeljunit.gui.Toolbar extends javax.swing.JPanel implements Serializable

Serialized Fields

mParent

ModelJUnitGUI mParent

Class nz.ac.waikato.modeljunit.gui.ToolBarPanel extends java.lang.Object implements Serializable

Package nz.ac.waikato.modeljunit.gui.visualisaton

Class nz.ac.waikato.modeljunit.gui.visualisaton.PanelJUNGVisualisation extends PanelAbstract implements Serializable

serialVersionUID: -1433533076588100620L

Serialized Fields

collapser

edu.uci.ics.jung.visualization.subLayout.GraphCollapser collapser

exclusions

java.util.Set<E> exclusions

e_eft

EdgeFontTransformer<V,E> e_eft

e_elt

EdgeLabelTransformer<V,E> e_elt

e_ept

EdgePaintTransformer<V,E> e_ept

e_est

EdgeStrokeTransformer<V,E> e_est

e_edp

EdgeDisplayPredicate<V,E> e_edp

v_vft

VertexFontTransformer<V,E> v_vft

v_vlt

VertexLabelTransformer<V,E> v_vlt

v_vgr

VertexGradientRenderer<V,E> v_vgr

v_vst

VertexStrokeTransformer<V,E> v_vst

v_vsht

nz.ac.waikato.modeljunit.gui.visualisaton.VertexShapeTransformer<V> v_vsht

v_vept

VertexEdgePaintTransformer<V,E> v_vept

v_vdp

VertexDisplayPredicate<V,E> v_vdp

g

edu.uci.ics.jung.graph.Graph<V,E> g

layout

edu.uci.ics.jung.algorithms.layout.Layout<V,E> layout

vv

edu.uci.ics.jung.visualization.VisualizationViewer<V,E> vv

infoPanel

javax.swing.JPanel infoPanel

infoLayout

edu.uci.ics.jung.algorithms.layout.StaticLayout<V,E> infoLayout

infoScrollPane

javax.swing.JScrollPane infoScrollPane

infoTextArea

javax.swing.JTextArea infoTextArea

infoGraph

edu.uci.ics.jung.graph.DirectedSparseMultigraph<V,E> infoGraph

infovv

edu.uci.ics.jung.visualization.VisualizationViewer<V,E> infovv

explScrollBar

javax.swing.JScrollBar explScrollBar

tree

javax.swing.JTree tree

mergeVerticesButton

javax.swing.JButton mergeVerticesButton

expandVerticesButton

javax.swing.JButton expandVerticesButton

mergeEdgesButton

javax.swing.JButton mergeEdgesButton

expandEdgesButton

javax.swing.JButton expandEdgesButton

resetButton

javax.swing.JButton resetButton

captureButton

javax.swing.JButton captureButton

vertLabelCheckBox

javax.swing.JCheckBox vertLabelCheckBox

edgeLabelCheckBox

javax.swing.JCheckBox edgeLabelCheckBox

showExploredCheckBox

javax.swing.JCheckBox showExploredCheckBox

vertLabelPosComboBox

javax.swing.JComboBox vertLabelPosComboBox

layoutTypeComboBox

javax.swing.JComboBox layoutTypeComboBox

vertLabelPos

javax.swing.JLabel vertLabelPos

labelsPanel

javax.swing.JPanel labelsPanel

layoutTypePanel

javax.swing.JPanel layoutTypePanel

mergePanel

javax.swing.JPanel mergePanel

capturePanel

javax.swing.JPanel capturePanel

animationButton

javax.swing.JButton animationButton

animationPanel

javax.swing.JPanel animationPanel

animationSlider

javax.swing.JSlider animationSlider

animationCheckBox

javax.swing.JCheckBox animationCheckBox

animationToggleButton

javax.swing.JToggleButton animationToggleButton

showAnimation_

java.lang.Boolean showAnimation_

animationThread_

java.lang.Thread animationThread_