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

Packages that use Sequence

Package	Description
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 Sequence in uk.ac.sheffield.vtts.model

Subclasses of Sequence in uk.ac.sheffield.vtts.model

Modifier and Type	Class and Description
class	TestSequence TestSequence represents a test whose steps are to be executed in order.

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

Modifier and Type	Method and Description
Sequence	Sequence.addEvent(Event event) Adds an event to the end of this sequence.
Sequence	Sequence.addSequence(Sequence other) Concatenates another sequence onto the end of this sequence.
Sequence	Sequence.setPath(int path) Sets the length of the path explored from the covered State.
Sequence	Sequence.setState(java.lang.String state) Sets the name of the state covered by this Sequence.

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

Modifier and Type	Method and Description
java.util.Set<Sequence>	Language.getSequences() Returns the set of sequences that constitute this language.

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

Modifier and Type	Method and Description
Language	Language.addSequence(Sequence sequence) Adds a sequence to the set of sequences in this language.
Sequence	Sequence.addSequence(Sequence other) Concatenates another sequence onto the end of this sequence.
protected TestSequence	Service.generateTestSequence(Sequence sequence) Generates a single TestSequence from an abstract Sequence of Events.

Constructors in uk.ac.sheffield.vtts.model with parameters of type Sequence

Constructor and Description
Sequence(Sequence other) Copies another sequence.
TestSequence(Sequence sequence) Constructs an empty TestSequence covering the same state and path as the coverage Sequence.