HolidayBooking

java.lang.Object
- uk.ac.sheffield.vtts.client.pojo.HolidayBooking

```
public class HolidayBooking
extends java.lang.Object
```
HolidayBooking is a correct POJO implementation of the HolidayBooking.xml specification. It mimics a simple SAP application built in OpenUI5 and deployed on the SAP HANA cloud. This application offers three UI states, in which the user could view booked holidays, book more days, or delete existing days. The user could book up to five days holiday. The system should refuse booking duplicate days and disallow more than the five days in total.
This uses the State Pattern (a Design Pattern from Gamma, et al.) for its implementation. All requests are delegated to an abstract State, which has concrete subclasses ViewDays, BookDays and DeleteDays, which respond to certain requests in different ways.
Indexing in the specification language runs from 1..n; this is preserved in the selected row, but converted to 0..n-1 when accessing the underlying Java Lists. It demonstrates the facility to return multiple values as the response to a request. This is translated into returning an Object[] array in Java clients. In the same way that an error case always returns an unbound output with a null value, multiple unbound results are returned as an array of nulls.
Suggestions are given for how to modify the source code to seed faults deliberately, which will be detected during testing.

Version:

1.0

Author:

Anthony J H Simons

Constructor Summary

Constructors
Constructor and Description

HolidayBooking()
Creates a HolidayBooking.

Constructors
Constructor and Description
`HolidayBooking()` Creates a HolidayBooking.

Method Summary

Methods
Modifier and Type	Method and Description
`void`	`back()` Mimics clicking on the "Back" button in either of the states BookDays or DeleteDays to return to the ViewDays state.
`void`	`bookDays()` Mimics clicking on the "BookDays" button to move from the ViewDays state to the BookDays state, in which more holidays may be booked.
`void`	`choose(int firstDay, int lastDay)` 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.
`java.lang.Object[]`	`delete()` Mimics clicking on the "Delete" button to delete the currently selected row in the list of booked holidays.
`java.lang.String`	`getScenario()` Returns the last scenario that was enacted.
`java.lang.String`	`getState()` Returns the last state that was entered.
`java.lang.Object[]`	`save()` Mimics clicking on the "Save" button to record the selected range of days as holiday.
`void`	`select(int row)` Allows selection of one booked holiday period, stored in a list.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - HolidayBooking
```
public HolidayBooking()
```
    Creates a HolidayBooking. Enacts the scenario create/ok and enters the ViewDays state.
- Method Detail
  - getScenario
```
public java.lang.String getScenario()
```
    Returns the last scenario that was enacted. This State Pattern implementation logs separately the request received and the response triggered (which is state-dependent). The name of the last scenario that was enacted is obtained by concatenating the request, "/" and the response.
    
    Returns:
    the last scenario that was enacted.
  - getState
```
public java.lang.String getState()
```
    Returns the last state that was entered. This State Pattern implementation models the states explicitly as nested inner classes, which also have access to the HolidayBooking's fields. The name of the current state is obtained by reflection on the class name.
    
    Returns:
    the name of the current State instance.
  - bookDays
```
public void bookDays()
```
    Mimics clicking on the "BookDays" button to move from the ViewDays state to the BookDays state, in which more holidays may be booked.
  - select
```
public void select(int row)
```
    Allows selection of one booked holiday period, stored in a list.
    
    Parameters:
    row - the row selected in the UI (indexing is 1..n).
  - back
```
public void back()
```
    Mimics clicking on the "Back" button in either of the states BookDays or DeleteDays to return to the ViewDays state.
  - choose
```
public void choose(int firstDay,
          int lastDay)
```
    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. The current month and year are assumed and are not modelled in this example.
    
    Parameters:
    firstDay - the starting day (inclusive).
    lastDay - the ending day (inclusive).
  - save
```
public java.lang.Object[] save()
```
    Mimics clicking on the "Save" button to record the selected range of days as holiday.
    
    Returns:
    a pair of days (integers), or a pair of nulls.
  - delete
```
public java.lang.Object[] delete()
```
    Mimics clicking on the "Delete" button to delete the currently selected row in the list of booked holidays.
    
    Returns:
    a pair of days (integers), or a pair of nulls.

Class HolidayBooking

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

HolidayBooking

Method Detail

getScenario

getState

bookDays

select

back

choose

save

delete