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.
|
Modifier and Type | Class and Description |
---|---|
class |
State
State represents a named state in a finite state machine.
|
class |
Transition
Transition represents a named transition in a finite state machine.
|
Modifier and Type | Method and Description |
---|---|
Coverable |
Coverable.setCovered(boolean value)
Sets whether this Coverable has been covered.
|