- DEFAULT_REST_URI - Static variable in class uk.ac.sheffield.vtts.GroundTests
-
The default dummy URI for a RESTful web service.
- delete() - Method in class uk.ac.sheffield.vtts.client.pojo.HolidayBooking
-
Mimics clicking on the "Delete" button to delete the currently
selected row in the list of booked holidays.
- deleteVersion(Integer, Integer) - Method in class uk.ac.sheffield.vtts.client.pojo.DocumentStore
-
If LoggedIn, attempts to delete a Document with the given docid and
version number.
- deleteVersion(Integer, Integer) - Method in interface uk.ac.sheffield.vtts.client.ws.DocumentStoreInterface
-
Attempts to delete a given version of a document with the given docid.
- dependency - Variable in class uk.ac.sheffield.vtts.ground.AbstractGrounding
-
Records package dependencies submitted by the end-user, so that the
standard JavaFactory can create instances of these types.
- deposit(int) - Method in class uk.ac.sheffield.vtts.client.pojo.Account
-
Attempts to deposit an amount in this Account.
- divide(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Arithmetic
-
Computes the quotient of two numerical values.
- Document - Class in uk.ac.sheffield.vtts.client.pojo
-
Document is an example witness-type, implementing the symbolic type used
in the DocumentStore.xml specification.
- Document() - Constructor for class uk.ac.sheffield.vtts.client.pojo.Document
-
The default constructor, which always creates the first Document in the
monotonic sequence, with the identifier: "doc1".
- Document(String) - Constructor for class uk.ac.sheffield.vtts.client.pojo.Document
-
The from-String constructor that is required for a witness-type.
- Document(String, int) - Constructor for class uk.ac.sheffield.vtts.client.pojo.Document
-
A domain-specific constructor that allows creation of any Document
with any ID and terabyte size.
- Document - Class in uk.ac.sheffield.vtts.client.rs
-
Document is an example witness-type, implementing the symbolic type used
in the DocumentStore.xml specification.
- Document() - Constructor for class uk.ac.sheffield.vtts.client.rs.Document
-
The default constructor, which always creates the first Document in the
monotonic sequence, with the identifier: "doc1".
- Document(String) - Constructor for class uk.ac.sheffield.vtts.client.rs.Document
-
The from-String constructor that is required for a witness-type.
- Document(String, int) - Constructor for class uk.ac.sheffield.vtts.client.rs.Document
-
A domain-specific constructor that allows creation of any Document
with any ID and terabyte size.
- Document - Class in uk.ac.sheffield.vtts.client.ws
-
Document is an example witness-type, implementing the symbolic type used
in the DocumentStore.xml specification.
- Document() - Constructor for class uk.ac.sheffield.vtts.client.ws.Document
-
The default constructor, which always creates the first Document in the
monotonic sequence, with the identifier: "doc1".
- Document(String) - Constructor for class uk.ac.sheffield.vtts.client.ws.Document
-
The from-String constructor that is required for a witness-type.
- Document(String, int) - Constructor for class uk.ac.sheffield.vtts.client.ws.Document
-
A domain-specific constructor that allows creation of any Document
with any ID and terabyte size.
- DocumentStore - Class in uk.ac.sheffield.vtts.client.pojo
-
DocumentStore is a correct POJO implementation of the
DocumentStore.xml
specification.
- DocumentStore() - Constructor for class uk.ac.sheffield.vtts.client.pojo.DocumentStore
-
Creates this DocumentStore.
- DocumentStoreInterface - Interface in uk.ac.sheffield.vtts.client.ws
-
DocumentStoreInterface is a skeleton of the JAX-WS client interface for
the JAX-WS implementation of the DocumentStore.xml example.
- DocumentStoreService - Class in uk.ac.sheffield.vtts.client.ws
-
DocumentStoreService is a skeleton of the JAX-WS resource class needed
for the JAX-WS implementation of the DocumentStore.xml
example.
- DocumentStoreService() - Constructor for class uk.ac.sheffield.vtts.client.ws.DocumentStoreService
-
Constructs the DocumentStoreService resource.
- doVerify() - Method in class uk.ac.sheffield.vtts.model.TestSequence
-
Verify the outcome of this TestSequence.
- Dvd - Class in uk.ac.sheffield.vtts.client.pojo
-
Dvd is an example witness-type, implementing the symbolic type used in
the ShoppingCart.xml specification.
- Dvd() - Constructor for class uk.ac.sheffield.vtts.client.pojo.Dvd
-
The default constructor, which always creates the first Dvd in the
monotonic sequence, with the identifier: "dvd1".
- Dvd(String) - Constructor for class uk.ac.sheffield.vtts.client.pojo.Dvd
-
The from-String constructor that is required for a witness-type.
- Dvd - Class in uk.ac.sheffield.vtts.client.rs
-
Dvd is an example witness-type, implementing the symbolic type used in
the ShoppingCart.xml specification.
- Dvd() - Constructor for class uk.ac.sheffield.vtts.client.rs.Dvd
-
The default constructor, which always creates the first Dvd in the
monotonic sequence, with the identifier: "dvd1".
- Dvd(String) - Constructor for class uk.ac.sheffield.vtts.client.rs.Dvd
-
The from-String constructor that is required for a witness-type.
- Dvd - Class in uk.ac.sheffield.vtts.client.ws
-
Dvd is an example witness-type, implementing the symbolic type used in
the ShoppingCart.xml specification.
- Dvd() - Constructor for class uk.ac.sheffield.vtts.client.ws.Dvd
-
The default constructor, which always creates the first Dvd in the
monotonic sequence, with the identifier: "dvd1".
- Dvd(String) - Constructor for class uk.ac.sheffield.vtts.client.ws.Dvd
-
The from-String constructor that is required for a witness-type.