Uses of Class
uk.ac.sheffield.vtts.model.TestSequence

Packages that use TestSequence

Package	Description
uk.ac.sheffield.vtts.ground	This package contains Broker@Cloud components that implement grounding, or the translation of platform-neutral test suites to technology-specific test suites that may be executed.
uk.ac.sheffield.vtts.model	This package contains Broker@Cloud components for modelling service specifications and test suites, and for modelling expressions in the formal expression language.

Uses of TestSequence in uk.ac.sheffield.vtts.ground

Methods in uk.ac.sheffield.vtts.ground with parameters of type TestSequence

Modifier and Type	Method and Description
void	JaxRsGrounding.groundTestSequence(TestSequence sequence) Translates one abstract TestSequence into a JUnit test-method.
void	JavaGrounding.groundTestSequence(TestSequence sequence) Translates one abstract TestSequence into a JUnit test-method.
void	Grounding.groundTestSequence(TestSequence sequence) Intermediate grounding method.
void	JaxWsGrounding.groundTestSequence(TestSequence sequence) Translates one abstract TestSequence into a JUnit test-method.
protected void	AbstractGrounding.writeMethodComment(TestSequence sequence) Prints out a method-level comment for one test-method of the JUnit driver class source file.

Uses of TestSequence in uk.ac.sheffield.vtts.model

Methods in uk.ac.sheffield.vtts.model that return TestSequence

Modifier and Type	Method and Description
TestSequence	TestSequence.doVerify() Verify the outcome of this TestSequence.
protected TestSequence	Service.generateTestSequence(Sequence sequence) Generates a single TestSequence from an abstract Sequence of Events.
TestSequence	TestSequence.setTest(int test) Sets the test index of this TestSequence.

Methods in uk.ac.sheffield.vtts.model that return types with arguments of type TestSequence

Modifier and Type	Method and Description
java.util.Set<TestSequence>	TestSuite.getTestSequences() Returns the set of TestSequences that constitute this TestSuite.

Methods in uk.ac.sheffield.vtts.model with parameters of type TestSequence

Modifier and Type	Method and Description
TestSuite	TestSuite.addTestSequence(TestSequence sequence) Adds a sequence to the set of TestSequences in this TestSuite.
int	TestSequence.compareTo(TestSequence other) Compares one TestSequence with another, as part of a sorting algorithm.
boolean	TestSequence.hasPrefix(TestSequence other) Reports whether this TestSequence contains the other as a prefix.
boolean	TestSequence.mergePrefix(TestSequence prefix) Optionally merges a prefix TestSequence with this TestSequence.