- back() - Method in class uk.ac.sheffield.vtts.client.pojo.HolidayBooking
-
Mimics clicking on the "Back" button in either of the states
BookDays or DeleteDays to return to the ViewDays state.
- BadDocumentIdentifier - Exception in uk.ac.sheffield.vtts.client.pojo
-
BadDocumentIdentifier is a kind of RuntimeException thrown by the example
service DocumentStore
.
- BadDocumentIdentifier() - Constructor for exception uk.ac.sheffield.vtts.client.pojo.BadDocumentIdentifier
-
- BadDocumentIdentifier - Exception in uk.ac.sheffield.vtts.client.rs
-
BadDocumentIdentifier is a kind of RuntimeException thrown by the example
service DocumentStore
.
- BadDocumentIdentifier() - Constructor for exception uk.ac.sheffield.vtts.client.rs.BadDocumentIdentifier
-
- BadDocumentIdentifier - Exception in uk.ac.sheffield.vtts.client.ws
-
BadDocumentIdentifier is a kind of RuntimeException thrown by the example
service DocumentStore
.
- BadDocumentIdentifier() - Constructor for exception uk.ac.sheffield.vtts.client.ws.BadDocumentIdentifier
-
- BadVersionIdentifier - Exception in uk.ac.sheffield.vtts.client.pojo
-
BadVersionIdentifier is a kind of RuntimeException thrown by the example
service DocumentStore
.
- BadVersionIdentifier() - Constructor for exception uk.ac.sheffield.vtts.client.pojo.BadVersionIdentifier
-
- BadVersionIdentifier - Exception in uk.ac.sheffield.vtts.client.rs
-
BadVersionIdentifier is a kind of RuntimeException thrown by the example
service DocumentStore
.
- BadVersionIdentifier() - Constructor for exception uk.ac.sheffield.vtts.client.rs.BadVersionIdentifier
-
- BadVersionIdentifier - Exception in uk.ac.sheffield.vtts.client.ws
-
BadVersionIdentifier is a kind of RuntimeException thrown by the example
service DocumentStore
.
- BadVersionIdentifier() - Constructor for exception uk.ac.sheffield.vtts.client.ws.BadVersionIdentifier
-
- Binding - Class in uk.ac.sheffield.vtts.model
-
Binding represents a particular set of value-bindings to parameters.
- Binding() - Constructor for class uk.ac.sheffield.vtts.model.Binding
-
Creates a default Binding.
- bookDays() - Method in class uk.ac.sheffield.vtts.client.pojo.HolidayBooking
-
Mimics clicking on the "BookDays" button to move from the ViewDays
state to the BookDays state, in which more holidays may be booked.
- bound - Variable in class uk.ac.sheffield.vtts.model.Parameter
-
Flag denoting whether this Parameter is currently bound.
- BrokerAtCloudVTTS - Class in uk.ac.sheffield.vtts.gui
-
BrokerAtCloudVTTS is a Java Swing GUI that demonstrates the verification
and testing tools.
- BrokerAtCloudVTTS() - Constructor for class uk.ac.sheffield.vtts.gui.BrokerAtCloudVTTS
-
Create the frame.