uk.ac.sheffield.vtts.model
Classes
Alphabet
Analysis
Annotated
Arithmetic
Assignment
Atomic
Binding
Comparison
Condition
Constant
Coverable
Effect
Element
Entity
Event
Expression
Failure
Function
Input
Language
Machine
Manipulation
Membership
Memory
Named
Notice
Operation
Output
Parameter
Predicate
Projection
Proposition
Protocol
Scenario
Scope
Sequence
Service
Specification
State
TestSequence
TestStep
TestSuite
Transition
Variable
Warning
Errors
SemanticError