- validate(String) - Method in class uk.ac.sheffield.vtts.model.Event
-
Validates the name of an Event.
- validateMachine(Protocol) - Method in class uk.ac.sheffield.vtts.model.Machine
-
Validates the States and Transitions of this Machine for completeness.
- validateMachine() - Method in class uk.ac.sheffield.vtts.model.Service
-
Validates the states and transitions of this Service's state Machine.
- ValidateMachine - Class in uk.ac.sheffield.vtts
-
Program that reads an XML service specification and checks the finite
state machine for state reachability and transition completeness.
- ValidateMachine() - Constructor for class uk.ac.sheffield.vtts.ValidateMachine
-
- value - Variable in class uk.ac.sheffield.vtts.model.Parameter
-
The strongly-typed bound value of this Parameter, or null.
- Variable - Class in uk.ac.sheffield.vtts.model
-
Variable is a state parameter representing part of the system's memory.
- Variable() - Constructor for class uk.ac.sheffield.vtts.model.Variable
-
Creates a default Variable parameter.
- Variable(String, String) - Constructor for class uk.ac.sheffield.vtts.model.Variable
-
Creates a variable parameter with the given name and type.
- verifyProtocol(Machine) - Method in class uk.ac.sheffield.vtts.model.Protocol
-
Verifies this Protocol for formal consistency and completeness.
- verifyProtocol() - Method in class uk.ac.sheffield.vtts.model.Service
-
Verifies this Service's Protocol for consistency and completeness.
- VerifyProtocol - Class in uk.ac.sheffield.vtts
-
Program that reads an XML service specification and checks the protocol of
the service for input and memory completeness and deterministic behaviour.
- VerifyProtocol() - Constructor for class uk.ac.sheffield.vtts.VerifyProtocol
-