|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
regex
^[A-Z][a-z]*
- seat < dimension of the flight and > 0
bookingNumber
is masked
regex
^0*[1-9]+0*
* - arg
belongs to [min max]
cancel
and their arguments are correct.
create
and their arguments are correct.
flights
is correct.
identify
and their arguments are correct.
list
and their arguments are correct.
reservation
and their arguments are correct.
Flight
named flightName
with the size dimension
flight
is masked
row
for a Flight
and the col of the seat for a Person
.
dimension
(Rows and row length) of the flight
fligth
rows
for a Flight
and the row of the seat for a Person
.
Person
named personName
booked on the flight
the seat pos
and has the booking number : bookingNumber
.
Pos
object.
personName
is masked
pos
is masked
flight
flight
Flight
object.
FlightSystem
object.
Person
object.
Flight
object.
Flight
object.
cancel
.
create
.
flights
.
identify
.
list
.
reload
.
reserve
.
reload
.
Save
.
regex
[[A-Z]*[a-z]*[0-9]*]+ROWS_MAX
,ROWS_LENGHT_MAX
) and > 0
regex
^[A-Z][a-z]*
- seat < dimension of the flight and > 0
rows
belongs to [1 Flight.ROWS_MAX
]
- rowsLength
belongs to [1 Flight.ROW_LENGTH_MAX
]
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |