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

Packages that use Event

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 Event in uk.ac.sheffield.vtts.model

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

Modifier and Type	Class and Description
class	Scenario Scenario represents one branching path through a single operation.
class	TestStep TestStep represents a single executable test step within a test sequence.

Fields in uk.ac.sheffield.vtts.model with type parameters of type Event

Modifier and Type	Field and Description
protected java.util.List<Event>	Sequence.events The sequence of events.

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

Modifier and Type	Method and Description
Event	Sequence.getFirstEvent() Returns the first event in this Sequence.
Event	Sequence.getLastEvent() Returns the last event in this Sequence.

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

Modifier and Type	Method and Description
java.util.Set<Event>	Alphabet.getEvents() Returns the set of events in this alphabet.
java.util.List<Event>	Sequence.getEvents() Returns the ordered list of events.

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

Modifier and Type	Method and Description
boolean	Machine.accept(Event event) Reports whether this Machine accepts an Event in its current State.
boolean	Operation.accept(Event event) Reports whether this Operation accepts an Event in the current Memory state.
boolean	Protocol.accept(Event event) Reports whether this Protocol accepts an Event in its current Memory state.
Alphabet	Alphabet.addEvent(Event event) Adds an event to this alphabet.
Sequence	Sequence.addEvent(Event event) Adds an event to the end of this sequence.
boolean	Machine.fireEvent(Event event) Fires an event on this Machine.
boolean	Operation.fireEvent(Event event) Fires an event on this Operation.
boolean	Protocol.fireEvent(Event event) Fires an event on this Protocol.
protected TestStep	Service.generateTestStep(Event event) Generates a single TestStep from an abstract Event.
Transition	State.getEnabled(Event event) Returns the exit Transition whose name matches a given event.
Operation	Protocol.getOperation(Event event) Returns the Operation corresponding to the supplied Event.
Scenario	Operation.getScenario(Event event) Returns the Scenario corresponding to the supplied Event.
Scenario	Protocol.getScenario(Event event) Returns the Scenario corresponding to the supplied Event.