Requisiti. L’applicazione riguarda una parte di un sistema di gestione di agenzie di noleggio veicoli.

Un’agenzia è caratterizzata da un nome (stringa), dalla località (stringa) in cui si trova e il bilancio interno
(double). Dei veicoli messi a disposizione per il noleggio ci interessa la marca (stringa), il modello (stringa), il
colore (stringa) e il costo giornaliero. Questi possono essere esclusivamente veicoli a motore o biciclette.
Dei primi ci interessa la targa e a loro volta si suddividono in auto e camion. Delle auto siamo interessati al
numero di posti (intero) mentre dei camion se hanno il rimorchio (boolean). Delle biciclette si vuole
conoscere il se ha le marce o no (boolean)L’agenzia vuole quindi tenere traccia dell’insieme dei veicoli
disponibili per il noleggio, dell’insieme dei veicoli noleggiati e non ancora restituiti e di tutti i noleggi
passati. Dei noleggi ci interessa la data di inizio noleggio (date), il cliente (Cliente) e, una volta concluso il
noleggio, la data finale (calcolata come data inizio noleggio - data attuale).

Una volta che il veicolo viene restituito l’agenzia è soggetta ad entrate (da aggiungere al bilancio) e uscite
(da sottrarre al bilancio). Le prime corrispondono al guadagno ottenuto dal relativo noleggio, le seconde dai
costi di manutenzione del veicolo noleggiato e che dovranno essere calcolati nel seguente modo:

Bicicletta: RANDOM [0, 5] * numero giorni noleggio

Auto: RANDOM [5, 10] * numero giorni noleggio

Camion: Senza rimorchio RANDOM [7, 15] / con rimorchio RANDOM [10, 20]) * numero giorni noleggio

Precondizioni noleggio

Biciclette: il cliente deve avere almeno 16 anni

Auto: il cliente deve avere almeno 21 anni

Camion: il cliente deve avere almeno 26 anni

Di ciascun Cliente siamo interessati al nome, cognome e data di nascita.