- checkBindings(Notice, Notice) - Method in class uk.ac.sheffield.vtts.model.Operation
-
Checks that the Input values of this Operation are bound to some
suggested values in the Binding clause.
- checkCompleteness(Notice) - Method in class uk.ac.sheffield.vtts.model.Memory
-
Checks the completeness of this Memory.
- checkCompleteness(Notice) - Method in class uk.ac.sheffield.vtts.model.Operation
-
Checks this Operation for completeness under all memory and input
conditions.
- checkCompleteness(Notice, Alphabet) - Method in class uk.ac.sheffield.vtts.model.State
-
Checks the completeness of this State with respect to an Alphabet.
- checkDifference(Notice, Alphabet) - Method in class uk.ac.sheffield.vtts.model.Machine
-
Checks the difference between the Protocol alphabet and the Machine
alphabet.
- checkDifference(Notice, Alphabet) - Method in class uk.ac.sheffield.vtts.model.Protocol
-
Checks the difference between the Machine alphabet and the Protocol
alphabet.
- checkInitialState(Notice) - Method in class uk.ac.sheffield.vtts.model.Machine
-
Checks that this Machine has an initial State.
- checkout() - Method in class uk.ac.sheffield.vtts.client.pojo.ShoppingCart
-
Attempts to checkout from the Shopping state.
- checkout() - Method in interface uk.ac.sheffield.vtts.client.ws.ShoppingCartInterface
-
Advances to the checkout, if the cart contains some items.
- checkStateCoverage(Notice) - Method in class uk.ac.sheffield.vtts.model.Machine
-
Checks the coverage of States after simulating this Machine to find
the state cover.
- checkTargetStates(Notice) - Method in class uk.ac.sheffield.vtts.model.Machine
-
Checks that the Transitions of this Machine refer to properly-named
target States.
- checkTransitionCoverage(Notice) - Method in class uk.ac.sheffield.vtts.model.Machine
-
Checks the coverage of Transitions after simulating this Machine with a
Language of a given maximum size.
- choose(int, int) - Method in class uk.ac.sheffield.vtts.client.pojo.HolidayBooking
-
Mimics clicking on a pair of days on the calendar, to indicate
selecting a short period of holiday, where the selected range
includes both days.
- clear() - Method in class uk.ac.sheffield.vtts.model.Machine
-
Resets every State and Transition in this Machine to its unmarked
status.
- clearItems() - Method in class uk.ac.sheffield.vtts.client.pojo.ShoppingCart
-
In the Shopping state, removes all Dvd purchases from the cart.
- clearItems() - Method in interface uk.ac.sheffield.vtts.client.ws.ShoppingCartInterface
-
Removes all purchases from the shopping cart.
- CLIENT_PACKAGE_PATH - Static variable in class uk.ac.sheffield.vtts.GroundTests
-
The client package path in your Java IDE (Eclipse or NetBeans, etc).
- close() - Method in class uk.ac.sheffield.vtts.client.pojo.Account
-
Attempts to close this Account.
- compareTo(TestSequence) - Method in class uk.ac.sheffield.vtts.model.TestSequence
-
Compares one TestSequence with another, as part of a sorting algorithm.
- Comparison - Class in uk.ac.sheffield.vtts.model
-
Comparison represents an inequality expression, comparing two operands.
- Comparison() - Constructor for class uk.ac.sheffield.vtts.model.Comparison
-
Creates a default Comparison.
- Comparison(String) - Constructor for class uk.ac.sheffield.vtts.model.Comparison
-
Creates a Comparison with the given name.
- compress() - Method in class uk.ac.sheffield.vtts.model.TestSuite
-
Compress this TestSuite, returning a more compact TestSuite in which
single TestSequences may verify multiple test objectives.
- Condition - Class in uk.ac.sheffield.vtts.model
-
Condition represents a logical guard, or a precondition.
- Condition() - Constructor for class uk.ac.sheffield.vtts.model.Condition
-
Creates a default Condition.
- confirm() - Method in class uk.ac.sheffield.vtts.client.pojo.ShoppingCart
-
In the Payment state, confirms the payment and shipping address that
were previously supplied and makes the payment.
- confirm() - Method in interface uk.ac.sheffield.vtts.client.ws.ShoppingCartInterface
-
Confirms the amount to pay, completes the transaction and returns
to the ready state.
- Constant - Class in uk.ac.sheffield.vtts.model
-
Constant is a kind of parameter standing for some fixed constant value.
- Constant() - Constructor for class uk.ac.sheffield.vtts.model.Constant
-
Creates a default Constant parameter.
- Constant(String, String) - Constructor for class uk.ac.sheffield.vtts.model.Constant
-
Creates a Constant parameter with the given name and type.
- ContactList - Class in uk.ac.sheffield.vtts.client.pojo
-
ContactList is a correct POJO implementation of the
ContactList.xml
specification.
- ContactList() - Constructor for class uk.ac.sheffield.vtts.client.pojo.ContactList
-
Creates a ContactList.
- content - Variable in class uk.ac.sheffield.vtts.model.Parameter
-
The textual printed representation of the value, or null.
- countVerify() - Method in class uk.ac.sheffield.vtts.model.TestSequence
-
Counts the number of verified TestSteps in this TestSequence.
- Coverable - Class in uk.ac.sheffield.vtts.model
-
Coverable is the abstract ancestor of coverable parts of a specification.
- Coverable() - Constructor for class uk.ac.sheffield.vtts.model.Coverable
-
Creates a default unnamed Coverable.
- Coverable(String) - Constructor for class uk.ac.sheffield.vtts.model.Coverable
-
Creates a named Coverable.
- covered - Variable in class uk.ac.sheffield.vtts.model.Coverable
-
Volatile flag indicating whether this Coverable has been covered by a
given generated Language.
- create(String, String) - Method in class uk.ac.sheffield.vtts.ground.AbstractFactory
-
Creates a strongly-typed instance of any kind of Java Object with the
given printed representation and Java type.
- create(String, String) - Method in interface uk.ac.sheffield.vtts.ground.Factory
-
Creates a strongly-typed instance of any kind of Java Object with the
given printed representation and Java type.
- createBoundedPlus(Alphabet, int) - Static method in class uk.ac.sheffield.vtts.model.Language
-
Creates a language containing all non-empty sequences up to a given
length, chosen from an alphabet.
- createBoundedStar(Alphabet, int) - Static method in class uk.ac.sheffield.vtts.model.Language
-
Creates a language containing all sequences up to a given length,
chosen from an alphabet.
- createDefaultObject(String) - Method in class uk.ac.sheffield.vtts.ground.AbstractFactory
-
Creates a default object of a simple type.
- createExactly(Alphabet, int) - Static method in class uk.ac.sheffield.vtts.model.Language
-
Creates a language containing all sequences of a given length, chosen
from an alphabet.
- createExternalObject(String, String) - Method in class uk.ac.sheffield.vtts.ground.AbstractFactory
-
Creates an instance of an uninterpreted external type, with the given
value.
- createExternalObject(String, String) - Method in class uk.ac.sheffield.vtts.ground.JavaFactory
-
Creates an instance of an uninterpreted external type, with the given
value.
- createExternalObject(String, String) - Method in class uk.ac.sheffield.vtts.ground.ModelFactory
-
Creates an instance of an uninterpreted external type, with the given
value.
- createListObject(String, List<String>) - Method in class uk.ac.sheffield.vtts.ground.AbstractFactory
-
Creates a generic List of the given element type, having the given
value.
- createMapObject(String, List<String>) - Method in class uk.ac.sheffield.vtts.ground.AbstractFactory
-
Creates a generic Map object of the given parametric type, with the
given value.
- createObject(String, String) - Method in interface uk.ac.sheffield.vtts.ground.Factory
-
Creates an instance of any type of Object, with the given value.
- createObject(String, String) - Method in class uk.ac.sheffield.vtts.ground.JavaFactory
-
Creates an instance of any kind of Java Object with the given printed
representation and Java type.
- createObject(String) - Method in class uk.ac.sheffield.vtts.ground.ModelFactory
-
Creates a default instance of any kind of model Object with the given
model type.
- createObject(String, String) - Method in class uk.ac.sheffield.vtts.ground.ModelFactory
-
Creates an instance of any kind of model Object with the given printed
representation and model type.
- createPairObject(String, List<String>) - Method in class uk.ac.sheffield.vtts.ground.AbstractFactory
-
Creates a generic Pair object of the given parametric type, with the
given value.
- createSetObject(String, List<String>) - Method in class uk.ac.sheffield.vtts.ground.AbstractFactory
-
Creates a generic Set of the given element type, having the given
value.
- createSimpleObject(String, String) - Method in class uk.ac.sheffield.vtts.ground.AbstractFactory
-
Creates an object of a simple type, having the given value.