Serialized Form

Package org.jwalk

Class org.jwalk.ExecutionException extends JWalkException implements Serializable

Serialized Fields

operation

java.lang.reflect.Member operation

The operation which caused this ExecutionException.

random

boolean random

A flag indicating whether execution was nondeterministic.

Class org.jwalk.GeneratorException extends JWalkException implements Serializable

Serialized Fields

type

java.lang.Class<T> type

The unknown type for which a value could not be synthesised.

generator

Generator generator

The (custom) generator which failed during value synthesis.

internal

boolean internal

A flag indicating that a generator failed internally in its operation.

Class org.jwalk.JWalkException extends java.lang.Exception implements Serializable

Serialized Fields

error

Error error

The error reported by this JWalkException. An enumerated value denoting what kind of JWalkException this is. Allows client programs to distinguish the main kinds of JWalkException more easily.

Class org.jwalk.LoaderException extends JWalkException implements Serializable

Serialized Fields

name

java.lang.String name

The name of the class that could not be loaded.

qualify

boolean qualify

A flag indicating the need to qualify the class name.

Class org.jwalk.PermissionException extends JWalkException implements Serializable

Serialized Fields

type

java.lang.Class<T> type

The class for which permissions were denied to execute.

generator

boolean generator

A flag indicating that the type is a generator.

Class org.jwalk.QuestionEvent extends java.util.EventObject implements Serializable

serialVersionUID: 1L

Serialized Fields

question

Question question

The question that is being asked in this QuestionEvent.

Class org.jwalk.ReportEvent extends java.util.EventObject implements Serializable

serialVersionUID: 1L

Serialized Fields

report

Report report

The Report that is being sent in this ReportEvent.

Class org.jwalk.SettingsException extends JWalkException implements Serializable

Serialized Fields

badValue

java.lang.Object badValue

The bad value which could not be converted into a test setting.

badInteger

boolean badInteger

A flag indicating whether the failed conversion was to an int.

Package org.jwalk.tool

Class org.jwalk.tool.AbstractDialog extends javax.swing.JDialog implements Serializable

Serialized Fields

application

JWalkTester application

The main frame for the JWalk Tester application.

Class org.jwalk.tool.AbstractPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

application

JWalkTester application

The main frame for the JWalk Tester application.

Class org.jwalk.tool.ClassFinderPanel extends AbstractPanel implements Serializable

Serialized Fields

rootField

javax.swing.JTextField rootField

nameField

javax.swing.JTextField nameField

directory

java.io.File directory

Class org.jwalk.tool.ConfigureDialog extends AbstractDialog implements Serializable

Serialized Fields

directory

java.io.File directory

rootField

javax.swing.JTextField rootField

conventionBox

javax.swing.JComboBox conventionBox

probeSpinner

javax.swing.JSpinner probeSpinner

stateSpinner

javax.swing.JSpinner stateSpinner

Class org.jwalk.tool.CustomPanel extends AbstractPanel implements Serializable

Class org.jwalk.tool.GeneratorDialog extends AbstractDialog implements Serializable

Serialized Fields

directory

java.io.File directory

rootField

javax.swing.JTextField rootField

nameField

javax.swing.JTextField nameField

generatorList

javax.swing.JList generatorList

Class org.jwalk.tool.JWalkTester extends javax.swing.JFrame implements Serializable

Serialized Fields

walker

JWalker walker

memory

int[] memory

finderPanel

ClassFinderPanel finderPanel

settingsPanel

TestSettingsPanel settingsPanel

executePanel

TestExecutePanel executePanel

outputPanel

javax.swing.JTabbedPane outputPanel

Class org.jwalk.tool.TestExecutePanel extends AbstractPanel implements Serializable

Serialized Fields

walkerButton

javax.swing.JButton walkerButton

cancelButton

javax.swing.JButton cancelButton

Class org.jwalk.tool.TestSettingsPanel extends AbstractPanel implements Serializable

Serialized Fields

strategyBox

javax.swing.JComboBox strategyBox

modalityBox

javax.swing.JComboBox modalityBox

depthSpinner

javax.swing.JSpinner depthSpinner