A B C D E F G H I J L M N O P Q R S T U V W

A

Abstract - Class in org.jwalk.test

Abstract is an abstract class with one abstract method signature.

Abstract() - Constructor for class org.jwalk.test.Abstract

Could create an Abstract instance (were the class not abstract).

AbstractDialog - Class in org.jwalk.tool

AbstractDialog is the abstract superclass of custom dialogs.

AbstractDialog(JWalkTester, String) - Constructor for class org.jwalk.tool.AbstractDialog

Creates a custom dialog for the JWalk Tester application.

AbstractPanel - Class in org.jwalk.tool

AbstractPanel is the abstract superclass of panels that supply settings.

AbstractPanel(JWalkTester) - Constructor for class org.jwalk.tool.AbstractPanel

Creates a sub-panel for the JWalk Tester application.

add(TestCase) - Method in class org.jwalk.core.TestSequence

Adds a TestCase to the end of this TestSequence.

addCustomGenerator(Class<CustomGenerator>) - Method in class org.jwalk.Settings

Adds a custom Generator class to the set of custom generators.

addCustomGenerator(String) - Method in class org.jwalk.Settings

Adds a custom Generator by its name.

addDelegate(CustomGenerator) - Method in class org.jwalk.core.ValueGenerator

Adds a delegate CustomGenerator to this ValueGenerator.

addDelegate(CustomGenerator) - Method in interface org.jwalk.gen.MasterGenerator

Adds a delegate CustomGenerator to this MasterGenerator.

addDirectory(File) - Method in class org.jwalk.GeneratorLoader

Adds a directory path to the current list of search paths.

addOutput(String, String) - Method in class org.jwalk.tool.JWalkTester

Adds the next set of test results to the output panel.

addQuestionListener(QuestionListener) - Method in class org.jwalk.Channels

Sets the handler for QuestionEvents to the new listener.

addReportListener(ReportListener) - Method in class org.jwalk.Channels

Sets the handler for ReportEvents to the new listener.

AlgebraReport - Class in org.jwalk.out

AlgebraReport is a report on the test class's algebraic structure.

AlgebraReport(AlgebraWalker) - Constructor for class org.jwalk.out.AlgebraReport

Creates an AlgebraReport.

AlgebraWalker - Class in org.jwalk.core

AlgebraWalker exercises all the algebraic constructions of the test class.

AlgebraWalker(Settings, Channels) - Constructor for class org.jwalk.core.AlgebraWalker

Creates an AlgebraWalker, using the settings and channels.

Answer - Enum in org.jwalk.out

Answer enumerates the possible symbolic answers to a dialog question.

AnswerCycle - Class in org.jwalk.test

AnswerCycle is a class whose methods set and get enumerated constants.

AnswerCycle() - Constructor for class org.jwalk.test.AnswerCycle

Constructs an AnswerCycle, whose answer is QUIT.

application - Variable in class org.jwalk.tool.AbstractDialog

The main frame for the JWalk Tester application.

application - Variable in class org.jwalk.tool.AbstractPanel

The main frame for the JWalk Tester application.

ArrayGenerator - Class in org.jwalk.core

ArrayGenerator is an abstract generator of arrays and primitive values.

ArrayGenerator() - Constructor for class org.jwalk.core.ArrayGenerator

Initialises the ArrayGenerator parent part of an ObjectGenerator.

B

banner() - Method in class org.jwalk.out.AlgebraReport

Creates a text banner to use at the start of the report.

banner() - Method in class org.jwalk.out.CycleReport

Returns a suitable one-line banner for the current test cycle.

banner() - Method in class org.jwalk.out.ProtocolReport

Creates a text banner to use at the start of the report.

banner() - Method in class org.jwalk.out.StateReport

Creates a text banner to use at the start of the report.

banner() - Method in class org.jwalk.out.SummaryReport

Returns a banner announcing the test summary.

C

cancel() - Method in class org.jwalk.test.ReservableBook

Cancels an existing reservation.

canCreate(Class<?>) - Method in class org.jwalk.core.ObjectGenerator

Reports whether this ObjectGenerator synthesises objects of a given type.

canCreate(Class<?>) - Method in class org.jwalk.gen.EnumGenerator

Reports whether this EnumGenerator can create a given type.

canCreate(Class<?>) - Method in class org.jwalk.gen.InterfaceGenerator

Reports whether this InterfaceGenerator can create a given type.

canCreate(Class<?>) - Method in class org.jwalk.gen.PlatformGenerator

Reports whether this PlatformGenerator can create a given type.

canCreate(Class<?>) - Method in class org.jwalk.gen.RedirectInGenerator

Reports whether this RedirectInGenerator can create values of the requested type.

canCreate(Class<?>) - Method in class org.jwalk.gen.StringGenerator

Reports whether this StringGenerator can create a given type.

canCreate(Class<?>) - Method in interface org.jwalk.Generator

Reports whether this Generator can create values of the requested type.

category - Variable in class org.jwalk.core.AlgebraWalker

The map from members to algebraic categories.

Category - Enum in org.jwalk.core

Category enumerates the algebraic category of each operation.

Channels - Class in org.jwalk

Channels is the API through which client programs set up two-way communication channels with a JWalker.

Channels() - Constructor for class org.jwalk.Channels

Creates the default Channels.

channels - Variable in class org.jwalk.JWalker

The Channels API supports registering listeners.

ClassFinderPanel - Class in org.jwalk.tool

ClassFinderPanel is a kind of panel for selecting the test class.

ClassFinderPanel(JWalkTester) - Constructor for class org.jwalk.tool.ClassFinderPanel

Creates a ClassFinderPanel for its owning JWalkTester.

ClassInspector - Class in org.jwalk.core

ClassInspector detects the public method interface of the test class.

ClassInspector(Settings, Channels) - Constructor for class org.jwalk.core.ClassInspector

Creates a ClassInspector using the settings and channels.

classIsAbstract() - Method in class org.jwalk.core.ClassInspector

Reports if the test class is abstract.

classIsEnum() - Method in class org.jwalk.core.ClassInspector

Reports if the test class is an enumerated type.

classIsInterface() - Method in class org.jwalk.core.ClassInspector

Reports if the test class is an interface.

classNotFound() - Method in exception org.jwalk.LoaderException

Reports if the class was not found.

classNotPublic() - Method in class org.jwalk.core.ClassInspector

Reports if the test class is not public.

classNotQualified() - Method in exception org.jwalk.LoaderException

Reports if the class was not package-qualified.

clearOutput() - Method in class org.jwalk.tool.JWalkTester

Clears the output panel of existing output.

clone() - Method in class org.jwalk.core.ParamTestCase

Clones a shallow copy of this ParamTestCase.

clone() - Method in class org.jwalk.core.TestCase

Clones a shallow copy of this TestCase.

close() - Method in class org.jwalk.core.Oracle

Closes this Oracle, saving its test data.

ConfigureDialog - Class in org.jwalk.tool

ConfigureDialog is a kind of dialog for configuring advanced settings.

ConfigureDialog(JWalkTester) - Constructor for class org.jwalk.tool.ConfigureDialog

Creates a ConfigureDiaolog for its owning JWalkTester.

Confirmation - Class in org.jwalk.out

Confirmation is a kind of question to confirm or reject a test result.

Confirmation(JWalker, TestSequence) - Constructor for class org.jwalk.out.Confirmation

Creates a Confirmation asked by a JWalker about a TestSequence.

confirmed - Variable in class org.jwalk.out.StatisticalReport

Console - Class in org.jwalk

Console provides a default channel for communication via the command line.

Console() - Constructor for class org.jwalk.Console

Constructs a standard input output Console channel.

constants - Variable in class org.jwalk.core.ClassInspector

The list of inspected constants.

constructors - Variable in class org.jwalk.core.ClassInspector

The list of inspected constructors.

Convention - Enum in org.jwalk

Convention enumerates how many built-in methods are to be included in tests.

correct - Variable in class org.jwalk.core.Oracle

The collection of known correct test results, indexed by long key.

countAbandoned() - Method in class org.jwalk.out.CycleReport

Counts the number of tests that were abandoned.

countActiveEdges(int) - Method in class org.jwalk.core.ClassInspector

Counts the number of active edges on a given test cycle.

countActiveEdges(int) - Method in class org.jwalk.core.StateSpaceWalker

Counts the number of active edges on a given test cycle.

countConfirmed() - Method in class org.jwalk.out.StatisticalReport

Counts the number of tests confirmed manually by the tester.

countConstants() - Method in class org.jwalk.core.ClassInspector

Counts the number of enumerated constants.

countConstructors() - Method in class org.jwalk.core.ClassInspector

Counts the number of Constructors.

countCorrect() - Method in class org.jwalk.out.StatisticalReport

Counts the number of tests passed automatically by the oracle.

countExecuted() - Method in class org.jwalk.out.StatisticalReport

Counts the number of tests that were executed.

countFailed() - Method in class org.jwalk.out.StatisticalReport

Counts the total number of tests failed in this test cycle.

countIncorrect() - Method in class org.jwalk.out.StatisticalReport

Counts the number of tests failed automatically by the oracle.

countMaxStates() - Method in class org.jwalk.core.StateSpaceWalker

Counts the maximum possible number of high-level design states.

countMaxStates() - Method in class org.jwalk.out.StateReport

Counts the maximum possible number of high-level design states.

countMethods() - Method in class org.jwalk.core.ClassInspector

Counts the number of Methods.

countPassed() - Method in class org.jwalk.out.StatisticalReport

Counts the total number of tests passed in this test cycle.

countPermutations() - Method in class org.jwalk.core.ClassInspector

Counts the number of TestSequence permutations.

countPermutations() - Method in class org.jwalk.core.StateSpaceWalker

Counts the number of TestSequence permutations.

countPruned() - Method in class org.jwalk.out.CycleReport

Counts the number of tests that were pruned in this test cycle.

countPruned() - Method in class org.jwalk.out.SummaryReport

Counts the number of tests that were pruned altogether.

countRejected() - Method in class org.jwalk.out.StatisticalReport

Counts the number of tests rejected manually by the tester.

countSucceeded() - Method in class org.jwalk.out.StatisticalReport

Counts the number of tests that executed normally.

countTerminated() - Method in class org.jwalk.out.StatisticalReport

Counts the number of tests that terminated abnormally.

createArray(Class<?>) - Method in class org.jwalk.core.ArrayGenerator

Creates an instance of a Java array-type.

createClass(Class<?>) - Method in class org.jwalk.core.ObjectGenerator

Returns an instance of any metaclass type "Class>T<".

createExitDialogPanel() - Method in class org.jwalk.tool.AbstractDialog

Creates the exit dialog panel, which contains two centred buttons "OK" and "Cancel".

createFromNextConstructor(Class<?>) - Method in class org.jwalk.core.ObjectGenerator

Tries all the constructors of a type until one of them succeeds.

createObject(Class<?>) - Method in class org.jwalk.core.ObjectGenerator

Creates the next instance of a general object-type.

createPrimitive(Class<?>) - Method in class org.jwalk.core.ValueGenerator

Creates an instance of a primitive Java type.

CreateTestCase - Class in org.jwalk.core

CreateTestCase is a kind of test case that constructs a single object.

CreateTestCase(Constructor<?>) - Constructor for class org.jwalk.core.CreateTestCase

Creates a CreateTestCase for a Constructor.

createWrapped(Class<?>) - Method in class org.jwalk.core.ValueGenerator

Creates an instance of a wrapped Java type.

creationFailed() - Method in exception org.jwalk.GeneratorException

Reports that synthesis failed for a given type.

CustomGenerator - Interface in org.jwalk.gen

CustomGenerator is the interface implemented by custom generators.

CustomPanel - Class in org.jwalk.tool

CustomPanel is a kind of panel that launches dialogs for custom settings.

CustomPanel(JWalkTester) - Constructor for class org.jwalk.tool.CustomPanel

Creates a CustomPanel for its owning JWalkTester.

CycleReport - Class in org.jwalk.out

CycleReport is a test report generated after executing one test cycle.

CycleReport(ClassInspector, List<TestSequence>, int) - Constructor for class org.jwalk.out.CycleReport

Creates a CycleReport for the current test cycle.

CycleReport(ClassInspector, List<TestSequence>, String, int) - Constructor for class org.jwalk.out.CycleReport

Creates a CycleReport for a given state and test cycle.

D

delegates - Variable in class org.jwalk.core.ValueGenerator

The list of CustomGenerator delegates.

discharge() - Method in class org.jwalk.test.LibraryBook

Discharges the loan of this LibraryBook.

discoverAlgebra() - Method in class org.jwalk.core.AlgebraWalker

Estimates the algebraic categories of the test class's operations.

discoverStates() - Method in class org.jwalk.core.StateSpaceWalker

Estimates the high-level design states of the test class.

dispatch(Report) - Method in class org.jwalk.Channels

Dispatches a Report from a JWalker via these Channels.

dispatch(Question) - Method in class org.jwalk.Channels

Dispatches a Question from a JWalker via these Channels.

E

Edition - Enum in org.jwalk.out

Edition enumerates the different kinds of Report and Question.

edition - Variable in class org.jwalk.out.Report

The edition of this Report.

ensureExecutable() - Method in class org.jwalk.core.ProtocolWalker

Checks that the test class may indeed be executed.

enumConversionFailed() - Method in exception org.jwalk.SettingsException

Reports if the failure was due to a bad Enum conversion.

EnumGenerator - Class in org.jwalk.gen

EnumGenerator is a custom generator to synthesise enumerated values.

EnumGenerator() - Constructor for class org.jwalk.gen.EnumGenerator

Creates an EnumGenerator.

EnumTestCase - Class in org.jwalk.core

EnumTestCase is a kind of test case that selects an enumerated constant.

EnumTestCase(Enum<?>) - Constructor for class org.jwalk.core.EnumTestCase

Creates an EnumTestCase for an enumerated value.

Error - Enum in org.jwalk

Error enumerates the different kinds of JWalkException that can be raised.

execute() - Method in class org.jwalk.core.AlgebraWalker

Executes this AlgebraWalker test strategy according to the settings.

execute() - Method in class org.jwalk.core.ClassInspector

Executes this ClassInspector.

execute(ObjectGenerator, Object) - Method in class org.jwalk.core.CreateTestCase

Executes this CreateTestCase, returning the constructor's result.

execute(ObjectGenerator, Object) - Method in class org.jwalk.core.EnumTestCase

Executes this EnumTestCase, returning the result.

execute(ObjectGenerator, Object) - Method in class org.jwalk.core.InvokeTestCase

Executes this InvokeTestCase, returning the invoked method's result.

execute(ObjectGenerator, Object) - Method in class org.jwalk.core.ParamTestCase

Executes this ParamTestCase, returning null.

execute() - Method in class org.jwalk.core.ProtocolWalker

Executes this ProtocolWalker test strategy according to the settings.

execute() - Method in class org.jwalk.core.StateSpaceWalker

Executes this StateSpaceWalker test strategy according to the settings.

execute(ObjectGenerator, Object) - Method in class org.jwalk.core.TestCase

Executes this TestCase, returning the result.

execute(ObjectGenerator) - Method in class org.jwalk.core.TestSequence

Executes this TestSequence and returns the result.

execute() - Method in class org.jwalk.JWalker

Executes this JWalker as a single-threaded application.

executeProbeCycle(List<TestSequence>, int) - Method in class org.jwalk.core.AlgebraWalker

Executes one probing cycle, refining the algebraic category of methods.

executeProbeCycle(List<TestSequence>, int) - Method in class org.jwalk.core.StateSpaceWalker

Executes a probing cycle to determine whether new states were reached.

executeTestCycle(List<TestSequence>, int) - Method in class org.jwalk.core.ProtocolWalker

Executes a test set for a given test cycle and reports the results.

executeTests() - Method in class org.jwalk.tool.JWalkTester

Executes the next test series, according to the current test settings.

executeTestSeries() - Method in class org.jwalk.core.ProtocolWalker

Executes a series of test cycles on paths of increasing length.

executeTestSeries() - Method in class org.jwalk.core.StateSpaceWalker

Executes a series of test cycles for multiple high-level states.

ExecutionException - Exception in org.jwalk

ExecutionException signals when a test sequence did not execute properly.

ExecutionException(Member) - Constructor for exception org.jwalk.ExecutionException

Creates an ExecutionException for a given operation.

ExecutionException(Member, String) - Constructor for exception org.jwalk.ExecutionException

Creates an ExecutionException with a specific message, for a given operation.

ExecutionException(Member, boolean) - Constructor for exception org.jwalk.ExecutionException

Creates an ExecutionException for a given operation, which behaved unpredictably when it was executed.

executionFailed() - Method in exception org.jwalk.ExecutionException

Reports that the operation behaved unpredictably.

explorationSummary() - Method in class org.jwalk.out.SummaryReport

Returns a summary of the results of exploration.

F

failed - Variable in class org.jwalk.out.StatisticalReport

finalize() - Method in class org.jwalk.gen.RedirectInGenerator

Secret method to reset standard input.

finishedTests() - Method in class org.jwalk.tool.JWalkTester

Reports asynchronously to this JWalkTester when testing has finished.

firstCycle() - Method in class org.jwalk.core.ProtocolWalker

Creates the first test set, consisting of singleton TestSequences made from each of the public Constructors (or enumerated constants) of the test class.

firstCycle(String) - Method in class org.jwalk.core.StateSpaceWalker

Creates the first test set placing the test object into a given state.

G

Generator - Interface in org.jwalk

Generator is the interface implemented by every test input generator.

GeneratorDialog - Class in org.jwalk.tool

GeneratorDialog is a kind of dialog for selecting custom generators.

GeneratorDialog(JWalkTester) - Constructor for class org.jwalk.tool.GeneratorDialog

Creates a GeneratorDiaolog for its owning JWalkTester.

GeneratorException - Exception in org.jwalk

GeneratorException signals when a Generator could not synthesise a value.

GeneratorException(Class<?>) - Constructor for exception org.jwalk.GeneratorException

Creates a GeneratorException reporting the inability to synthesise a value for a particular type.

GeneratorException(Class<?>, Generator) - Constructor for exception org.jwalk.GeneratorException

Creates a GeneratorException reporting that a (custom) generator failed during synthesis.

generatorFailed() - Method in exception org.jwalk.GeneratorException

Reports that the generator failed in its operation.

GeneratorLoader - Class in org.jwalk

GeneratorLoader is a class loader for loading custom generators.

GeneratorLoader(ClassLoader) - Constructor for class org.jwalk.GeneratorLoader

Creates a GeneratorLoader that delegates to another loader.

generatorRefused() - Method in exception org.jwalk.PermissionException

Reports whether the refusing class is a generator.

getAnswer() - Method in class org.jwalk.test.AnswerCycle

Returns the current Answer value.

getBorrower() - Method in class org.jwalk.test.LibraryBook

Returns the name of the current borrower, or null.

getCategory(Enum<?>) - Method in class org.jwalk.core.AlgebraWalker

Returns the algebraic category of an enumerated constant.

getCategory(Member) - Method in class org.jwalk.core.AlgebraWalker

Returns the algebraic category of a Field, Constructor, or Method.

getChannels() - Method in class org.jwalk.JWalker

Returns the Channels API, to enable setting call-back channels.

getClassName() - Method in exception org.jwalk.LoaderException

Returns the name of the class that was not loaded.

getConstants() - Method in class org.jwalk.core.ClassInspector

Returns the enumerated constants of the test class.

getConstants() - Method in class org.jwalk.out.ProtocolReport

Returns the public enumerated constants of the test class.

getConstructors() - Method in class org.jwalk.core.ClassInspector

Returns the public constructors of the test class.

getConstructors() - Method in class org.jwalk.out.ProtocolReport

Returns the public constructors of the test class.

getContent() - Method in class org.jwalk.out.AlgebraReport

Returns the content this AlgebraReport as formatted text.

getContent() - Method in class org.jwalk.out.Confirmation

Returns the content this Confirmation request as formatted text.

getContent() - Method in class org.jwalk.out.CycleReport

Returns the content of this CycleReport as formatted text.

getContent() - Method in class org.jwalk.out.Notification

Returns the textual information content of this Notification.

getContent() - Method in class org.jwalk.out.ProtocolReport

Returns the content of this ProtocolReport as formatted text.

getContent() - Method in class org.jwalk.out.Report

Returns the content of this Report as formatted text.

getContent() - Method in class org.jwalk.out.StateReport

Returns the content of this StateSpaceReport as formatted text.

getContent() - Method in class org.jwalk.out.SummaryReport

Returns the content this SummaryReport as formatted text.

getConvention() - Method in class org.jwalk.Settings

Returns the test convention, one of {STANDARD, CUSTOM, COMPLETE}.

getCustomGenerators() - Method in class org.jwalk.Settings

Returns the list of custom generators.

getEdition() - Method in class org.jwalk.out.Report

Returns the edition of this Report.

getError() - Method in exception org.jwalk.JWalkException

Returns the enumerated error value.

getException() - Method in class org.jwalk.out.Notification

Returns the exception object wrapped by this Notification.

getFields(Class<?>) - Method in class org.jwalk.core.StateInspector

Determines all the fields of the current test class.

getGenerator() - Method in exception org.jwalk.GeneratorException

Returns the generator which failed during execution, or null.

getGeneratorDirectory() - Method in class org.jwalk.Settings

Returns the directory in which any custom generators are to be found.

getJWalker() - Method in class org.jwalk.core.ObjectGenerator

Returns the JWalker which created this ObjectGenerator.

getJWalker() - Method in interface org.jwalk.gen.MasterGenerator

Returns the JWalker which created this MasterGenerator.

getJWalker() - Method in class org.jwalk.out.AlgebraReport

Return the AlgebraWalker which was the source of this report.

getJWalker() - Method in class org.jwalk.out.ProtocolReport

Return the ClassInspector which was the source of this report.

getJWalker() - Method in class org.jwalk.out.Report

Returns the source JWalker that published this Report.

getJWalker() - Method in class org.jwalk.out.StateReport

Return the StateSpaceWalker which was the source of this report.

getKey(ObjectGenerator) - Method in class org.jwalk.core.CreateTestCase

Returns a unique indexing key for this CreateTestCase.

getKey(ObjectGenerator) - Method in class org.jwalk.core.EnumTestCase

Returns a unique indexing key for this EnumTestCase.

getKey(ObjectGenerator) - Method in class org.jwalk.core.InvokeTestCase

Returns a unique indexing key for this InvokeTestCase.

getKey(ObjectGenerator) - Method in class org.jwalk.core.ParamTestCase

Returns a unique indexing key for this ParamTestCase.

getKey(ObjectGenerator) - Method in class org.jwalk.core.TestCase

Returns a unique indexing key for this TestCase.

getLongKey() - Method in class org.jwalk.core.TestSequence

Returns a unique long indexing key for this TestSequence.

getMethods() - Method in class org.jwalk.core.ClassInspector

Returns the public methods of the test class.

getMethods() - Method in class org.jwalk.out.ProtocolReport

Returns the public methods of the test class.

getModality() - Method in class org.jwalk.Settings

Returns the test modality, one of {INSPECT, EXPLORE, VALIDATE}.

getOperation() - Method in class org.jwalk.core.CreateTestCase

Returns the tested operation for this CreateTestCase.

getOperation() - Method in class org.jwalk.core.EnumTestCase

Returns the tested operation for this EnumTestCase.

getOperation() - Method in class org.jwalk.core.InvokeTestCase

Returns the tested operation for this InvokeTestCase.

getOperation() - Method in class org.jwalk.core.TestCase

Returns the tested operation for this TestCase.

getOperation() - Method in class org.jwalk.core.TestSequence

Returns the last operation executed in this TestSequence.

getOperation() - Method in exception org.jwalk.ExecutionException

Returns the operation that failed to execute.

getOracleDirectory() - Method in class org.jwalk.Settings

Returns the directory in which test oracles are written and read.

getOutcome() - Method in class org.jwalk.core.TestSequence

Returns the test outcome, as judged by an Oracle.

getProbeDepth() - Method in class org.jwalk.Settings

Returns the maximum depth to which paths are explored during analysis.

getQuestion() - Method in class org.jwalk.out.Confirmation

Returns the query-part of this Confirmation request as formatted text.

getQuestion() - Method in class org.jwalk.out.Notification

Returns the query-part of this Notification request as formatted text.

getQuestion() - Method in class org.jwalk.out.Question

Returns the query-prompt of this Question as formatted text.

getQuestion() - Method in class org.jwalk.QuestionEvent

Returns the Question being asked in this event.

getReport() - Method in class org.jwalk.ReportEvent

Returns the Report being sent in this event.

getRequester() - Method in class org.jwalk.test.ReservableBook

Returns the name of the current requester, or null.

getResult() - Method in class org.jwalk.core.TestSequence

Returns the result of this TestSequence.

getReturnType() - Method in class org.jwalk.core.CreateTestCase

Returns the result type of the tested operation.

getReturnType() - Method in class org.jwalk.core.EnumTestCase

Returns the result type of the tested operation.

getReturnType() - Method in class org.jwalk.core.InvokeTestCase

Returns the result type of the tested operation.

getReturnType() - Method in class org.jwalk.core.TestCase

Returns the result type of the tested operation.

getReturnType() - Method in class org.jwalk.core.TestSequence

Returns the expected type of the last operation in this TestSequence.

getSequence() - Method in class org.jwalk.core.TestSequence

Returns the TestCases making up this TestSequence.

getSettings() - Method in class org.jwalk.JWalker

Returns the Settings API, to enable setting test parameters.

getSettings() - Method in class org.jwalk.tool.JWalkTester

Returns the current test settings for the JWalker test engine.

getShortKey() - Method in class org.jwalk.core.TestSequence

Returns a short indexing key for this TestSequence.

getSource() - Method in class org.jwalk.QuestionEvent

Returns the JWalker source which dispatched this event.

getSource() - Method in class org.jwalk.ReportEvent

Returns the JWalker source which dispatched this event.

getStartingState() - Method in class org.jwalk.out.CycleReport

Returns the name of the starting state, or null.

getState() - Method in class org.jwalk.core.TestCase

Returns the encoded state of the target object.

getStateCover() - Method in class org.jwalk.core.StateSpaceWalker

Returns the map from state names to state cover sequences.

getStateCover() - Method in class org.jwalk.out.StateReport

Returns the map from state names to state cover sequences.

getStateNames() - Method in class org.jwalk.out.StateReport

Returns a list of the names of the discovered states.

getStatePredicates() - Method in class org.jwalk.core.StateSpaceWalker

Returns the list of state predicates for the test class.

getStatePredicates() - Method in class org.jwalk.out.StateReport

Returns a list of the state predicates of the test class.

getStrategy() - Method in class org.jwalk.Settings

Returns the test strategy, one of {PROTOCOL, ALGEBRA, STATES}.

getString() - Method in class org.jwalk.test.InputReader

Reads a single input line and returns this as a String.

getTarget() - Method in class org.jwalk.core.ObjectGenerator

Returns the target object, if this has already been logged.

getTarget() - Method in class org.jwalk.core.TestSequence

Returns the target object in its final state.

getTarget() - Method in interface org.jwalk.gen.MasterGenerator

Returns the target object, once it has been logged.

getTargetType() - Method in class org.jwalk.core.ObjectGenerator

Returns the type of the target object.

getTargetType() - Method in interface org.jwalk.gen.MasterGenerator

Returns the type of the target object.

getTestClass() - Method in class org.jwalk.core.ClassInspector

Returns the test class.

getTestClass() - Method in class org.jwalk.JWalker

Returns the test class.

getTestClass() - Method in class org.jwalk.out.ProtocolReport

Returns the test class.

getTestClass() - Method in class org.jwalk.Settings

Returns the current test class.

getTestClassDirectory() - Method in class org.jwalk.Settings

Returns the directory in which the test class is to be found.

getTestCycle() - Method in class org.jwalk.out.CycleReport

Returns the number of the current test cycle.

getTestDepth() - Method in class org.jwalk.Settings

Returns the maximum depth to which paths are explored during testing.

getTestResult() - Method in class org.jwalk.out.Confirmation

Returns the TestSequence whose result is being confirmed.

getTestResults() - Method in class org.jwalk.out.CycleReport

Returns the list of test results for the current cycle.

getTreeDepth() - Method in class org.jwalk.Settings

Returns the depth to which object state is inspected.

getType() - Method in exception org.jwalk.GeneratorException

Returns the type that could not be synthesised.

getType() - Method in exception org.jwalk.PermissionException

Returns the type which refused permission to execute.

getUrgency() - Method in class org.jwalk.out.Notification

Reports how severe this notification is.

getValue() - Method in exception org.jwalk.SettingsException

Returns the value which caused the settings conversion failure.

getValue() - Method in class org.jwalk.test.Abstract

Returns the current value.

getValue() - Method in interface org.jwalk.test.Interface

Returns a notional integer value.

H

handle(Confirmation) - Method in class org.jwalk.tool.QuestionMaster

Responds to a Confirmation question asked by a JWalker.

handle(Notification) - Method in class org.jwalk.tool.QuestionMaster

Responds to a Notification question asked by a JWalker.

handle(ProtocolReport) - Method in class org.jwalk.tool.ReportPublisher

Publishes a ProtocolReport dispatched by a JWalker.

handle(AlgebraReport) - Method in class org.jwalk.tool.ReportPublisher

Publishes an AlgebraReport dispatched by a JWalker.

handle(StateReport) - Method in class org.jwalk.tool.ReportPublisher

Publishes a StateReport dispatched by a JWalker.

handle(CycleReport) - Method in class org.jwalk.tool.ReportPublisher

Publishes a CycleReport dispatched by a JWalker.

handle(SummaryReport) - Method in class org.jwalk.tool.ReportPublisher

Publishes a SummaryReport dispatched by a JWalker.

handleException(JWalkException) - Method in class org.jwalk.tool.JWalkTester

The main exception handler for this JWalkTester.

hasExecuted() - Method in class org.jwalk.core.TestSequence

Reports whether this TestSequence has been executed.

hasFailed() - Method in class org.jwalk.core.TestSequence

Reports whether this TestSequence has been failed.

hashCode() - Method in class org.jwalk.test.Abstract

Returns a hash code computed from this object.

hashCode() - Method in interface org.jwalk.test.Interface

Returns a hash code computed from this object.

hasMissingStates() - Method in class org.jwalk.core.StateSpaceWalker

Reports if there are still missing states after exploration.

hasMissingStates() - Method in class org.jwalk.out.StateReport

Reports if there are still missing states after state exploration.

hasPassed() - Method in class org.jwalk.core.TestSequence

Reports whether this TestSequence has been passed.

hasSucceeded() - Method in class org.jwalk.core.TestSequence

Reports whether this TestSequence executed normally.

hasTerminated() - Method in class org.jwalk.core.TestSequence

Reports whether this TestSequence terminated with an exception.

I

incorrect - Variable in class org.jwalk.core.Oracle

The collection of known incorrect test results, indexed by long key.

inCredit() - Method in class org.jwalk.test.Wallet

Reports whether this Wallet has some money left.

indexMap - Variable in class org.jwalk.core.ObjectGenerator

The bag counting the created instances of each class

indexMap - Variable in class org.jwalk.gen.EnumGenerator

The map relating each seen Enum type to a current index.

InputReader - Class in org.jwalk.test

InputReader has methods to read integers and strings from standard input.

InputReader() - Constructor for class org.jwalk.test.InputReader

Creates an InputReader and opens a reader onto System.in.

inspect(Object) - Method in class org.jwalk.core.StateInspector

Inspects the current state of the test object.

inspectArray(Class<?>, Object, int) - Method in class org.jwalk.core.StateInspector

Returns an encoding of the state of a primitive array.

inspectObject(Class<?>, Object, int) - Method in class org.jwalk.core.StateInspector

Returns an encoding of the state of the test object to a given depth.

inspector - Static variable in class org.jwalk.core.TestCase

The StateInspector to use, when inspecting object states.

inspectProtocols() - Method in class org.jwalk.core.ClassInspector

Inspects the public interface of the test class by introspection.

intConversionFailed() - Method in exception org.jwalk.SettingsException

Reports if the failure was due to bad int conversion.

Interface - Interface in org.jwalk.test

Interface is an interface with four abstract method signatures.

InterfaceGenerator - Class in org.jwalk.gen

InterfaceGenerator is a custom generator of values for interface types.

InterfaceGenerator() - Constructor for class org.jwalk.gen.InterfaceGenerator

interrupted() - Method in class org.jwalk.Channels

Reports whether the current operating status is interrupted.

interruptTests() - Method in class org.jwalk.tool.JWalkTester

Interrupts the currently executing test series.

invocationFailed() - Method in exception org.jwalk.ExecutionException

Reports that the operation was not properly invoked.

InvokeTestCase - Class in org.jwalk.core

InvokeTestCase is a kind of test case that invokes a single method.

InvokeTestCase(Method) - Constructor for class org.jwalk.core.InvokeTestCase

Creates an InvokeTestCase for a Method.

isAbstract(Method) - Method in class org.jwalk.out.ProtocolReport

Reports whether a method is abstract.

isArray(Class<?>) - Method in class org.jwalk.core.ArrayGenerator

Reports if a type is a primitive Array type.

isBinary - Variable in class org.jwalk.core.ParamTestCase

A flag to indicate that the tested operation is a binary method.

isConfirmed() - Method in class org.jwalk.core.TestSequence

Reports whether this TestSequence has been manually confirmed.

isCorrect() - Method in class org.jwalk.core.TestSequence

Reports whether this TestSequence is automatically correct.

isEmpty() - Method in class org.jwalk.test.Stack

Reports if this Stack is empty.

isEmpty() - Method in class org.jwalk.test.StackProxy

Reports if this StackProxy is empty.

isEmpty() - Method in class org.jwalk.test.Wallet

Reports whether this Wallet has no money left.

isEnumerated(Class<?>) - Method in class org.jwalk.core.ValueGenerator

Reports if a type is an enumerated Java type.

isFull() - Method in class org.jwalk.test.Stack

Reports if this Stack is full.

isFull() - Method in class org.jwalk.test.StackProxy

Reports if this StackProxy is full.

isIncorrect() - Method in class org.jwalk.core.TestSequence

Reports whether this TestSequence is automatically incorrect.

isMetaClass(Class<?>) - Method in class org.jwalk.core.ObjectGenerator

Reports if a type is any metaclass type "Class>T<".

isObserver(Member) - Method in class org.jwalk.out.AlgebraReport

Reports if a member is an OBSERVER, in the algebraic sense.

isOnLoan() - Method in class org.jwalk.test.LibraryBook

Reports if this LibraryBook is on loan.

isPrimitive(Class<?>) - Method in class org.jwalk.core.ValueGenerator

Reports if a type is a primitive Java type.

isPrimitive(Enum<?>) - Method in class org.jwalk.out.AlgebraReport

Reports if an enumerated constant is primitive.

isPrimitive(Member) - Method in class org.jwalk.out.AlgebraReport

Reports if a member is a CONSTRUCTOR, in the algebraic sense.

isPrintable(Class<?>) - Method in class org.jwalk.core.ArrayGenerator

Reports whether a type is printable.

isPrintable(Class<?>) - Method in class org.jwalk.core.ValueGenerator

Reports whether a type is printable.

isPrunable(TestSequence) - Method in class org.jwalk.core.AlgebraWalker

Reports whether a given TestSequence may be pruned.

isPrunable(TestSequence) - Method in class org.jwalk.core.ProtocolWalker

Reports whether a given TestSequence may be pruned.

isPrunable(TestSequence) - Method in class org.jwalk.core.StateSpaceWalker

Reports whether a given TestSequence may be pruned.

isReentrant() - Method in class org.jwalk.core.TestSequence

Reports whether this TestSequence re-entered a visited state.

isRejected() - Method in class org.jwalk.core.TestSequence

Reports whether this TestSequence has been manually rejected.

isReserved() - Method in class org.jwalk.test.ReservableBook

Reports if this ReservableBook has been reserved.

issue(String) - Method in class org.jwalk.test.LibraryBook

Issues this LibraryBook to the named person.

issue(String) - Method in class org.jwalk.test.ReservableBook

Issues this ReservableBook to the named person, if allowed.

isTransformer(Member) - Method in class org.jwalk.out.AlgebraReport

Reports if a member is a TRANSFORMER, in the algebraic sense.

isUnchanged() - Method in class org.jwalk.core.TestSequence

Reports whether this TestSequence ended with no state change.

isValidated() - Method in class org.jwalk.core.TestSequence

Reports whether this TestSequence has been passed or failed.

isWrapped(Class<?>) - Method in class org.jwalk.core.ValueGenerator

Reports if a type is a wrapped primitive Java type.

J

JWalker - Class in org.jwalk

JWalker is the top-level API class through which third-party software communicates with the different lazy systematic unit testing algorithms for unit testing Java classes.

JWalker() - Constructor for class org.jwalk.JWalker

Creates a JWalker, ready to use.

JWalker(Settings, Channels) - Constructor for class org.jwalk.JWalker

Secretly initialises the settings and channels.

JWalkException - Exception in org.jwalk

JWalkException is the top-level exception handled by JWalk.

JWalkException(String, Error) - Constructor for exception org.jwalk.JWalkException

Creates a JWalkException with an error message and error value.

JWalkTester - Class in org.jwalk.tool

JWalkTester is a simple GUI for conducting JWalk tests.

JWalkTester() - Constructor for class org.jwalk.tool.JWalkTester

Creates a JWalkTester.

JWalkUtility - Class in org.jwalk.tool

JWalkUtility is a command-line utility for lazy, systematic unit testing.

JWalkUtility() - Constructor for class org.jwalk.tool.JWalkUtility

L

LibraryBook - Class in org.jwalk.test

A simple LibraryBook that can be issued and discharged on loan to a borrower.

LibraryBook() - Constructor for class org.jwalk.test.LibraryBook

Constructs a LibraryBook in its default state.

LicenseManager - Class in org.jwalk.core

LicenseManager grants a licensed user authority to use the JWalk tool suite.

LicenseManager() - Constructor for class org.jwalk.core.LicenseManager

Creates a LicenseManager that grants permission to use the JWalk tools.

loadClass(String) - Method in class org.jwalk.TestClassLoader

Loads the class specified by the package-qualified name.

LoaderException - Exception in org.jwalk

LoaderException signals when a test class or generator could not be loaded.

LoaderException(String) - Constructor for exception org.jwalk.LoaderException

Creates a LoaderException for a class that could not be found.

LoaderException(String, boolean) - Constructor for exception org.jwalk.LoaderException

Creates a LoaderException for a class that was accessed without using its package-qualified name.

logException(JWalkException) - Method in class org.jwalk.tool.AbstractDialog

Prints out a more detailed description of exceptions on standard error.

logObject(Object) - Method in class org.jwalk.core.ObjectGenerator

Registers a synthesised object with this ObjectGenerator.

logObject(Object) - Method in interface org.jwalk.gen.MasterGenerator

Registers a created object with this MasterGenerator.

logTarget(Object) - Method in class org.jwalk.core.ObjectGenerator

Registers the target object with this ObjectGenerator.

logTarget(Object) - Method in interface org.jwalk.gen.MasterGenerator

Registers the target object with this MasterGenerator.

M

main(String[]) - Static method in class org.jwalk.tool.JWalkTester

Main program to create and open a JWalkTester.

main(String[]) - Static method in class org.jwalk.tool.JWalkUtility

Decodes the command line and executes a test strategy on a test class.

makeGenerator() - Method in class org.jwalk.core.ProtocolWalker

Factory method to produce a suitably customised ObjectGenerator.

MasterGenerator - Interface in org.jwalk.gen

MasterGenerator is the interface implemented by top-level generators.

methods - Variable in class org.jwalk.core.ClassInspector

The list of inspected methods.

Modality - Enum in org.jwalk

Modality enumerates the levels of static, dynamic and interactive analysis.

money() - Method in class org.jwalk.test.Wallet

Returns the balance of the money in the Wallet.

N

nextCycle(List<TestSequence>) - Method in class org.jwalk.core.ProtocolWalker

Creates a subsequent test set, consisting of TestSequences from the previous cycle which have been extended with every Method in the test class's public interface.

nextValue(Class<?>) - Method in class org.jwalk.core.ObjectGenerator

Creates the next quasi-unique value in sequence for a particular type.

nextValue(Class<?>) - Method in class org.jwalk.gen.EnumGenerator

Returns the next enumerated value in sequence.

nextValue(Class<?>) - Method in class org.jwalk.gen.InterfaceGenerator

Creates the next value in sequence for the requested interface.

nextValue(Class<?>) - Method in class org.jwalk.gen.PlatformGenerator

Creates the next value in sequence.

nextValue(Class<?>) - Method in class org.jwalk.gen.RedirectInGenerator

Creates the next quasi-unique value in sequence for a particular type.

nextValue(Class<?>) - Method in class org.jwalk.gen.StringGenerator

Returns the next String value in sequence.

nextValue(Class<?>) - Method in interface org.jwalk.Generator

Creates the next quasi-unique value in sequence for a particular type.

nominal() - Method in class org.jwalk.Channels

Reports whether the current operating status is nominal.

Notification - Class in org.jwalk.out

Notification is a kind of acknowledged interaction with the tester.

Notification(JWalker, String, Urgency) - Constructor for class org.jwalk.out.Notification

Creates a Notification, containing information, with a given urgency.

Notification(JWalker, JWalkException) - Constructor for class org.jwalk.out.Notification

Creates a Notification, wrapping up an exception raised by a JWalker.

Notification(JWalker) - Constructor for class org.jwalk.out.Notification

Creates a silent Notification, sent by a JWalker as a signal.

O

ObjectGenerator - Class in org.jwalk.core

ObjectGenerator is the standard generator of object, array and basic values.

ObjectGenerator(JWalker) - Constructor for class org.jwalk.core.ObjectGenerator

Creates an ObjectGenerator.

open() - Method in class org.jwalk.core.Oracle

Opens this Oracle, reading its test data.

Oracle - Class in org.jwalk.core

Oracle is the test oracle used to store and predict test outcomes.

Oracle(JWalker) - Constructor for class org.jwalk.core.Oracle

Creates an Oracle for a particular JWalker.

oracle - Variable in class org.jwalk.core.ProtocolWalker

The test oracle used to store and predict test outcomes.

oracleMap - Variable in class org.jwalk.core.ObjectGenerator

The log mapping from object addresses to oracle values

oracleResult() - Method in class org.jwalk.core.TestSequence

Returns the oracle value for the result of this TestSequence.

oracleValue(Object) - Method in class org.jwalk.core.ArrayGenerator

Converts any synthesised object into its oracle value format.

oracleValue(Object) - Method in class org.jwalk.core.ObjectGenerator

Converts an object into its oracle value format.

oracleValue(Object) - Method in class org.jwalk.core.ValueGenerator

Converts any synthesised object into its oracle value format.

oracleValue(Object) - Method in interface org.jwalk.gen.MasterGenerator

Converts a created object into its oracle value format.

org.jwalk - package org.jwalk

This package contains the JWalk 1.1 lazy systematic unit testing tool suite, © Anthony J H Simons, 2006-2011.

org.jwalk.core - package org.jwalk.core

This sub-package for JWalk 1.1 contains the core JWalk test engine, © Anthony J H Simons, 2006-2011.

org.jwalk.gen - package org.jwalk.gen

This sub-package for JWalk 1.1 contains custom test input generators, © Anthony J H Simons, 2006-2011.

org.jwalk.out - package org.jwalk.out

This sub-package for JWalk 1.1 contains various JWalk test reports, © Anthony J H Simons, 2006-2011.

org.jwalk.test - package org.jwalk.test

This sub-package for JWalk 1.1 contains sample test classes for JWalk, © Anthony J H Simons, 2006-2011.

org.jwalk.tool - package org.jwalk.tool

This sub-package for JWalk 1.1 contains two JWalk class unit testing tools, © Anthony J H Simons, 2006-2011.

Outcome - Enum in org.jwalk.core

Outcome enumerates all the possible test outcomes as judged by an oracle.

outOfMemory() - Method in class org.jwalk.Channels

Reports whether the JWalker engine ran out of memory during testing.

outOfMemory() - Method in class org.jwalk.JWalker

Reports whether Java ran out of heap memory during the execution of this JWalker engine.

P

ParamTestCase - Class in org.jwalk.core

ParamTestCase is a kind of test case that accepts input parameters.

ParamTestCase(Constructor<?>) - Constructor for class org.jwalk.core.ParamTestCase

Creates a ParamTestCase for a Constructor.

ParamTestCase(Method) - Constructor for class org.jwalk.core.ParamTestCase

Creates a ParamTestCase for a Method.

paramTypes - Variable in class org.jwalk.core.ParamTestCase

The parameter types of the tested operation.

paramValues - Variable in class org.jwalk.core.ParamTestCase

The parameter values for the tested operation.

passed - Variable in class org.jwalk.out.StatisticalReport

payIn(int) - Method in class org.jwalk.test.Wallet

Pays in an amount of money.

payOut(int) - Method in class org.jwalk.test.Wallet

Pays out an amount of money, if the Wallet can support this.

PermissionException - Exception in org.jwalk

PermissionException signals the refusal to execute a class or a generator.

PermissionException(Class<?>) - Constructor for exception org.jwalk.PermissionException

Creates a PermissionException for a class which refused permission to execute.

PermissionException(Class<?>, String) - Constructor for exception org.jwalk.PermissionException

Creates a PermissionException for a class which refused permission to execute, with a specific error message.

PermissionException(Class<?>, boolean) - Constructor for exception org.jwalk.PermissionException

Creates a PermissionException for a generator which refused permission to execute.

PlatformGenerator - Class in org.jwalk.gen

PlatformGenerator is a custom generator of platform-dependent values.

PlatformGenerator() - Constructor for class org.jwalk.gen.PlatformGenerator

Constructs a PlatformGenerator.

pop() - Method in class org.jwalk.test.Stack

Pops an object off this Stack.

pop() - Method in class org.jwalk.test.StackProxy

Pops an object off this StackProxy.

predicates - Variable in class org.jwalk.core.StateSpaceWalker

The subset of methods that are state predicates.

ProtocolReport - Class in org.jwalk.out

ProtocolReport is a report on the test class's public interface.

ProtocolReport(ClassInspector) - Constructor for class org.jwalk.out.ProtocolReport

Creates a ProtocolReport.

ProtocolReport(Edition, ClassInspector) - Constructor for class org.jwalk.out.ProtocolReport

Secretly initialises the edition and walker.

ProtocolWalker - Class in org.jwalk.core

ProtocolWalker exercises all the method protocols of a test class.

ProtocolWalker(Settings, Channels) - Constructor for class org.jwalk.core.ProtocolWalker

Creates a ProtocolWalker, using the settings and channels.

publish(ReportEvent) - Method in class org.jwalk.Console

Publishes the Report contained in the ReportEvent.

publish(ReportEvent) - Method in interface org.jwalk.ReportListener

Publishes a ReportEvent.

publish(ReportEvent) - Method in class org.jwalk.tool.ReportPublisher

Publishes a report dispatched by a JWalker.

push(Object) - Method in class org.jwalk.test.Stack

Pushes an object onto this Stack.

push(Object) - Method in class org.jwalk.test.StackProxy

Pushes an object onto this StackProxy.

Q

Question - Class in org.jwalk.out

Question is the abstract ancestor of all kinds of question.

Question(Edition, JWalker) - Constructor for class org.jwalk.out.Question

Secretly initialises the edition and the walker.

question - Variable in class org.jwalk.QuestionEvent

The question that is being asked in this QuestionEvent.

QuestionEvent - Class in org.jwalk

QuestionEvent is a kind of event that notifies about a Question.

QuestionEvent(JWalker, Question) - Constructor for class org.jwalk.QuestionEvent

Creates a QuestionEvent with a dispatching source and a question.

QuestionListener - Interface in org.jwalk

QuestionListener is the listener interface for receiving question events.

QuestionMaster - Class in org.jwalk.tool

QuestionMaster implements the question-response interaction with the tester.

QuestionMaster(JWalkTester) - Constructor for class org.jwalk.tool.QuestionMaster

Creates a QuestionMaster owned by a JWalkTester.

R

RedirectInGenerator - Class in org.jwalk.gen

RedirectInGenerator is a custom generator that redirects standard input.

RedirectInGenerator() - Constructor for class org.jwalk.gen.RedirectInGenerator

Creates a RedirectInGenerator that redirects standard input.

rejected - Variable in class org.jwalk.out.StatisticalReport

removeCustomGenerator(Class<CustomGenerator>) - Method in class org.jwalk.Settings

Removes a custom Generator from the set of custom generators.

removeCustomGenerator(String) - Method in class org.jwalk.Settings

Removes a custom Generator by its name.

removeQuestionListener(QuestionListener) - Method in class org.jwalk.Channels

Unregisters the handler for QuestionEvents.

removeReportListener(ReportListener) - Method in class org.jwalk.Channels

Unregisters the handler for ReportEvents.

Report - Class in org.jwalk.out

Report is the ancestor of all kinds of report.

Report(Edition, JWalker) - Constructor for class org.jwalk.out.Report

Creates a Report published by a JWalker.

report - Variable in class org.jwalk.ReportEvent

The Report that is being sent in this ReportEvent.

ReportEvent - Class in org.jwalk

ReportEvent is a kind of event that notifies about a Report.

ReportEvent(JWalker, Report) - Constructor for class org.jwalk.ReportEvent

Creates a ReportEvent with a dispatching source and a Report.

ReportListener - Interface in org.jwalk

ReportListener is the listener interface for receiving report events.

ReportPublisher - Class in org.jwalk.tool

ReportPublisher implements the reporting of test results to the tester.

ReportPublisher(JWalkTester) - Constructor for class org.jwalk.tool.ReportPublisher

Creates a ReportPublisher owned by a JWalkTester.

ReservableBook - Class in org.jwalk.test

A more sophisticated ReservableBook also supports reservations and cancellations.

ReservableBook() - Constructor for class org.jwalk.test.ReservableBook

Constructs a ReservableBook in its default state.

reserve(String) - Method in class org.jwalk.test.ReservableBook

Reserves this ReservableBook for the named person.

respond(QuestionEvent) - Method in class org.jwalk.Console

Responds to a question contained in the QuestionEvent.

respond(QuestionEvent) - Method in interface org.jwalk.QuestionListener

Accept a QuestionEvent.

respond(QuestionEvent) - Method in class org.jwalk.tool.QuestionMaster

Responds to a question asked by a JWalker.

restart() - Method in class org.jwalk.tool.TestExecutePanel

Restarts the thread controlling the "JWalking Jimbo" button animation.

run() - Method in class org.jwalk.JWalker

Executes this JWalker inside a recently-started worker Thread.

S

saveSettings(boolean) - Method in class org.jwalk.tool.AbstractDialog

Commits the current settings of this AbstractDialog.

saveSettings() - Method in class org.jwalk.tool.ClassFinderPanel

Commits the settings recorded in this panel.

saveSettings(boolean) - Method in class org.jwalk.tool.ConfigureDialog

Uploads the current custom configuration to the JWalker's settings.

saveSettings(boolean) - Method in class org.jwalk.tool.GeneratorDialog

Uploads the current custom generator list to the JWalker's settings.

saveSettings() - Method in class org.jwalk.tool.TestSettingsPanel

Commits the settings recorded in this panel.

sequence - Variable in class org.jwalk.out.Confirmation

The TestSequence whose outcome must be judged by the tester.

setAnswer(Answer) - Method in class org.jwalk.test.AnswerCycle

Sets the current Answer to the given value.

setConvention(Convention) - Method in class org.jwalk.Settings

Sets the test convention to use when executing a JWalker.

setEnabled(boolean) - Method in class org.jwalk.tool.TestExecutePanel

Enables or disables this TestExecutePanel.

setGeneratorDirectory(File) - Method in class org.jwalk.Settings

Changes the default custom generator directory.

setInspector(StateInspector) - Static method in class org.jwalk.core.TestCase

Sets the StateInspector to use for all TestCases.

setModality(Modality) - Method in class org.jwalk.Settings

Sets the test modality to use when executing a JWalker.

setNominal() - Method in class org.jwalk.Channels

Resets the operating status to nominal.

setOracleDirectory(File) - Method in class org.jwalk.Settings

Changes the default test oracle directory.

setOutcome(Outcome) - Method in class org.jwalk.core.TestSequence

Sets the test outcome, as judged by an Oracle.

setOutOfMemory() - Method in class org.jwalk.Channels

Sets the operating status to Out of Memory.

setOwner(MasterGenerator) - Method in interface org.jwalk.gen.CustomGenerator

Registers a MasterGenerator as the owner of this CustomGenerator.

setOwner(MasterGenerator) - Method in class org.jwalk.gen.EnumGenerator

Sets the owning MasterGenerator for this CustomGenerator.

setOwner(MasterGenerator) - Method in class org.jwalk.gen.InterfaceGenerator

Sets the owner of this InterfaceGenerator to a MasterGenerator.

setOwner(MasterGenerator) - Method in class org.jwalk.gen.PlatformGenerator

Sets the owning MasterGenerator for this CustomGenerator.

setOwner(MasterGenerator) - Method in class org.jwalk.gen.RedirectInGenerator

Registers a MasterGenerator as the owner of this RedirectInGenerator.

setOwner(MasterGenerator) - Method in class org.jwalk.gen.StringGenerator

Sets the owning MasterGenerator for this CustomGenerator.

setProbeDepth(int) - Method in class org.jwalk.Settings

Sets the maximum depth to which paths are explored during analysis.

setStrategy(Strategy) - Method in class org.jwalk.Settings

Sets the test strategy to use when executing a JWalker.

setTestClass(Class<?>) - Method in class org.jwalk.Settings

Sets the test class directly.

setTestClass(String) - Method in class org.jwalk.Settings

Sets the test class by its name.

setTestClassDirectory(File) - Method in class org.jwalk.Settings

Changes the default test class directory.

setTestDepth(int) - Method in class org.jwalk.Settings

Sets the maximum depth to which paths are explored during testing.

settings - Variable in class org.jwalk.JWalker

The Settings API supports supplying test parameters.

Settings - Class in org.jwalk

Settings is the API through which client programs set up the various test parameters for a JWalker.

Settings() - Constructor for class org.jwalk.Settings

Creates a standard collection of Settings.

SettingsException - Exception in org.jwalk

SettingsException signals when incorrect test settings have been supplied.

SettingsException(Object) - Constructor for exception org.jwalk.SettingsException

Creates a SettingsException for a bad enumerated input.

SettingsException(Object, boolean) - Constructor for exception org.jwalk.SettingsException

Creates a SettingsException for a bad integer input.

setTreeDepth(int) - Method in class org.jwalk.Settings

Sets the depth to which object state is inspected.

setUserAborted() - Method in class org.jwalk.Channels

Sets the operating status to User Aborted.

setValue(int) - Method in class org.jwalk.test.Abstract

Sets the current value.

setValue(int) - Method in interface org.jwalk.test.Interface

Sets a notional integer value.

size() - Method in class org.jwalk.core.TestSequence

Returns the size of this TestSequence.

size() - Method in class org.jwalk.test.Stack

Reports the dynamic size of this Stack.

size() - Method in class org.jwalk.test.StackProxy

Reports the dynamic size of this StackProxy.

Stack - Class in org.jwalk.test

Stack is a fixed-length, bounded implementation of a push-down Stack.

Stack() - Constructor for class org.jwalk.test.Stack

Creates a Stack with a maximum capacity for five elements.

StackProxy - Class in org.jwalk.test

StackProxy is a proxy for a fixed-length, bounded push-down Stack.

StackProxy() - Constructor for class org.jwalk.test.StackProxy

Creates a StackProxy whose remote Stack has the capacity for five elements.

state - Variable in class org.jwalk.core.TestCase

The encoded state of the target object.

stateCover - Variable in class org.jwalk.core.StateSpaceWalker

The map from state names to the state cover sequences.

stateFlag - Variable in class org.jwalk.core.StateSpaceWalker

The missing states flag that, when set to true, indicates that states were expected, but not found during the probing cycle.

StateInspector - Class in org.jwalk.core

StateInspector inspects the concrete state of a test object.

StateInspector() - Constructor for class org.jwalk.core.StateInspector

Creates a StateInspector that examines to the 0 depth.

StateInspector(int) - Constructor for class org.jwalk.core.StateInspector

Creates a StateInspector that examines to the given depth.

StateReport - Class in org.jwalk.out

StateReport is a report on the test class's high-level design states.

StateReport(StateSpaceWalker) - Constructor for class org.jwalk.out.StateReport

Creates a StateReport.

StateSpaceWalker - Class in org.jwalk.core

StateSpaceWalker exercises all the high-level states and transitions of the test class.

StateSpaceWalker(Settings, Channels) - Constructor for class org.jwalk.core.StateSpaceWalker

Creates a StateSpaceWalker, using the settings and channels.

StatisticalReport - Class in org.jwalk.out

StatisticalReport is an abstract report containing test statistics.

StatisticalReport(Edition, ClassInspector) - Constructor for class org.jwalk.out.StatisticalReport

Secret method to initialise the edition and inspector.

Strategy - Enum in org.jwalk

Strategy enumerates the protocol, algebra and state-based test strategies.

StringGenerator - Class in org.jwalk.gen

StringGenerator is a custom generator to synthesise string values.

StringGenerator() - Constructor for class org.jwalk.gen.StringGenerator

Constructs a StringGenerator.

succeeded - Variable in class org.jwalk.out.StatisticalReport

Counters for various judgements upon tests.

summary - Variable in class org.jwalk.core.ProtocolWalker

The test summary report that is published when testing is finished.

SummaryReport - Class in org.jwalk.out

SummaryReport is a summary of test statistics once testing is finished.

SummaryReport(ClassInspector) - Constructor for class org.jwalk.out.SummaryReport

Creates a SummaryReport once all testing is finished.

T

tallyResults(List<TestSequence>) - Method in class org.jwalk.out.StatisticalReport

Secret function to tally the test results after testing is finished.

tallyResults(CycleReport) - Method in class org.jwalk.out.SummaryReport

Tallies the results of several TestCycleReports.

target - Variable in class org.jwalk.core.ObjectGenerator

The target object, the instance of the test class, which we may need to return as a value in response to a request for a binary method argument.

targetType - Variable in class org.jwalk.core.ObjectGenerator

The target type we need to retain, in case of needing to synthesise values for binary methods.

terminated - Variable in class org.jwalk.out.StatisticalReport

TestCase - Class in org.jwalk.core

TestCase represents a single invocation, construction or constant selection.

TestCase() - Constructor for class org.jwalk.core.TestCase

Initialises the abstract part of a TestCase.

testClass - Variable in class org.jwalk.core.ClassInspector

The test class.

TestClassLoader - Class in org.jwalk

TestClassLoader is a class loader for loading the test class.

TestClassLoader(ClassLoader, String) - Constructor for class org.jwalk.TestClassLoader

Creates a TestClassLoader which treats the test class as special.

testClassRefused() - Method in exception org.jwalk.PermissionException

Reports whether the refusing class is the test class.

TestExecutePanel - Class in org.jwalk.tool

TestExecutePanel is a kind of panel for running the JWalker test engine.

TestExecutePanel(JWalkTester) - Constructor for class org.jwalk.tool.TestExecutePanel

Creates a TestExecutePanel for its owning JWalkTester.

TestSequence - Class in org.jwalk.core

TestSequence represents a constructor and method invocation sequence.

TestSequence() - Constructor for class org.jwalk.core.TestSequence

Creates a new empty TestSequence.

TestSequence(TestSequence) - Constructor for class org.jwalk.core.TestSequence

Creates a true copy of the prefix TestSequence.

TestSettingsPanel - Class in org.jwalk.tool

TestSettingsPanel is a kind of panel for selecting the test settings.

TestSettingsPanel(JWalkTester) - Constructor for class org.jwalk.tool.TestSettingsPanel

Creates a TestSettingsPanel for its owning JWalkTester.

top() - Method in class org.jwalk.test.Stack

Returns the top object on this Stack.

top() - Method in class org.jwalk.test.StackProxy

Returns the top object on this StackProxy.

toString(ObjectGenerator) - Method in class org.jwalk.core.CreateTestCase

Returns a pretty-printed representation of this CreateTestCase.

toString(ObjectGenerator) - Method in class org.jwalk.core.EnumTestCase

Returns a pretty-printed representation of this EnumTestCase.

toString(ObjectGenerator) - Method in class org.jwalk.core.InvokeTestCase

Returns a pretty-printed representation of this InvokeTestCase.

toString(ObjectGenerator) - Method in class org.jwalk.core.ParamTestCase

Returns a pretty-printed representation of this ParamTestCase.

toString(ObjectGenerator) - Method in class org.jwalk.core.TestCase

Returns a pretty-printed representation of this TestCase.

toString() - Method in class org.jwalk.core.TestSequence

Returns a formatted representation of this TestSequence.

toString(TestSequence, boolean) - Method in class org.jwalk.out.CycleReport

Returns a formatted version of a TestSequence and its outcome.

toString(Class<?>) - Method in class org.jwalk.out.ProtocolReport

Returns a formatted version of a given class's name.

toString(Constructor<?>) - Method in class org.jwalk.out.ProtocolReport

Returns a formatted constructor signature.

toString(Method) - Method in class org.jwalk.out.ProtocolReport

Returns a formatted method signature.

toString() - Method in class org.jwalk.out.Question

Returns this Question as formatted text.

toString() - Method in class org.jwalk.out.Report

Returns this Report as formatted text.

toString(TestSequence) - Method in class org.jwalk.out.StateReport

Returns a formatted version of a TestSequence.

toString() - Method in class org.jwalk.QuestionEvent

Returns a printable representation of this event.

toString() - Method in class org.jwalk.ReportEvent

Returns a printable representation of this event.

toString() - Method in class org.jwalk.test.Abstract

Returns a string representation of this object.

toString() - Method in interface org.jwalk.test.Interface

Returns a string representation of this object.

U

uncaughtException(Thread, Throwable) - Method in class org.jwalk.tool.JWalkTester

Special method for handling uncaught exceptions in any GUI thread.

Urgency - Enum in org.jwalk.out

Urgency enumerates the possible levels of severity of a notification.

userAborted() - Method in class org.jwalk.Channels

Reports whether the user aborted the current test cycle voluntarily.

userAborted() - Method in class org.jwalk.JWalker

Reports whether the user aborted the execution of this JWalker engine.

V

validate(TestSequence) - Method in class org.jwalk.core.Oracle

Validate a TestSequence from information known to this Oracle.

validateLicense() - Method in class org.jwalk.core.LicenseManager

Loads and validates the user's JWalk license.

validationSummary() - Method in class org.jwalk.out.SummaryReport

Returns a summary of the results of validation.

ValueGenerator - Class in org.jwalk.core

ValueGenerator is an abstract generator for synthesising simple values.

ValueGenerator() - Constructor for class org.jwalk.core.ValueGenerator

Initialises the ValueGenerator ancestor part of an ObjectGenerator.

valueOf(String) - Static method in enum org.jwalk.Convention

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.jwalk.core.Category

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.jwalk.core.Outcome

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.jwalk.Error

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.jwalk.Modality

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.jwalk.out.Answer

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.jwalk.out.Edition

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.jwalk.out.Urgency

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.jwalk.Strategy

Returns the enum constant of this type with the specified name.

values() - Static method in enum org.jwalk.Convention

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.jwalk.core.Category

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.jwalk.core.Outcome

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.jwalk.Error

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.jwalk.Modality

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.jwalk.out.Answer

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.jwalk.out.Edition

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.jwalk.out.Urgency

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.jwalk.Strategy

Returns an array containing the constants of this enum type, in the order they are declared.

W

walker - Variable in class org.jwalk.core.ObjectGenerator

The JWalker which created this Generator.

walker - Variable in class org.jwalk.core.Oracle

The JWalker which requested this Oracle.

walker - Variable in class org.jwalk.out.Report

The JWalker which published this Report.

Wallet - Class in org.jwalk.test

Wallet is a simple purse accepting and disbursing money payments.

Wallet() - Constructor for class org.jwalk.test.Wallet

Creates a new Wallet with a balance of zero.

A B C D E F G H I J L M N O P Q R S T U V W