Package uk.ac.sheffield.vtts.client.pojo

This package contains example Java POJO clients for testing with generated JUnit test drivers that test Java POJO services.

See: Description

Class Summary

Class	Description
Account	Account is a correct POJO implementation of the Account.xml specification.
ContactList	ContactList is a correct POJO implementation of the ContactList.xml specification.
Document	Document is an example witness-type, implementing the symbolic type used in the DocumentStore.xml specification.
DocumentStore	DocumentStore is a correct POJO implementation of the DocumentStore.xml specification.
Dvd	Dvd is an example witness-type, implementing the symbolic type used in the ShoppingCart.xml specification.
HolidayBooking	HolidayBooking is a correct POJO implementation of the HolidayBooking.xml specification.
Login	Login is a correct POJO implementation of the Login.xml specification.
ShoppingCart	ShoppingCart is a correct POJO implementation of the ShoppingCart.xml specification.

Exception Summary

Exception	Description
BadDocumentIdentifier	BadDocumentIdentifier is a kind of RuntimeException thrown by the example service DocumentStore.
BadVersionIdentifier	BadVersionIdentifier is a kind of RuntimeException thrown by the example service DocumentStore.

Package uk.ac.sheffield.vtts.client.pojo Description

This package contains example Java POJO clients for testing with generated JUnit test drivers that test Java POJO services. It is part of the Broker@Cloud Verification and Testing Tool Suite, v1.0, © Anthony J H Simons and Raluca Lefticaru, 2015. Main web site: http://staffwww.dcs.shef.ac.uk/people/A.Simons/broker/.

Sub-package uk.ac.sheffield.vtts.client.pojo

This package is a repository where you may place service clients that are "Plain Old Java Objects" (POJOs). Target POJO-testers onto clients in this package. We have provided a number of complete POJO client examples that were developed to satisfy their specifications.

Some key aspects of these illustrative examples are: the use of the State Pattern (in the sense of Gamma et al. Design Patterns) to model the different responsive modes of a service, in which it either responds to, or ignores, different requests; and the ability to observe fully the request and response behaviour, which is recorded as meta-data.

Apart from the service clients, further kinds of domain object (such as the class DVD used in the ShoppingCart example) are provided here, so that they are available to the generated test-drivers along with the tested service client.