diff --git a/2.Design Document/DD.lyx b/2.Design Document/DD.lyx index e22add0..98b9992 100644 --- a/2.Design Document/DD.lyx +++ b/2.Design Document/DD.lyx @@ -1870,19 +1870,11 @@ Authentication Manager \end_layout \begin_layout Standard -\begin_inset ERT -status open -\begin_layout Plain Layout - - -\backslash -texttt{register} -\end_layout - -\end_inset - -: This function creates a new entity +\family typewriter +register(UserData) +\family default +: This function creates a new instance \begin_inset ERT status open @@ -3969,7 +3961,7 @@ begin{lstlisting} \begin_layout Plain Layout -/* This function will apply the fees for each Reservation entity. +/* This function will apply the fees for each Reservation instance. Actually, the user can terminate a reservation for free, but in the future if PowerEnjoy would decide to apply a fee for the termination of a reservation, it would be very easy to modify this value. @@ -4100,7 +4092,7 @@ begin{lstlisting} \begin_layout Plain Layout -/* This function will calculate the eventual discount for each rent entity. +/* This function will calculate the eventual discount for each rent instance. */ \end_layout @@ -4330,7 +4322,7 @@ begin{lstlisting} \begin_layout Plain Layout -/* This function will calculate the additional fees for each rent entity. +/* This function will calculate the additional fees for each rent instance. */ \end_layout @@ -4427,7 +4419,7 @@ begin{lstlisting} \begin_layout Plain Layout -/* This function will calculate the fees for each Rent entity. +/* This function will calculate the fees for each Rent instance. In this case we have to consider eventual discounts and other additional fees before sending the payment request to the external payment service. It would not be difficult in the future to change some parameters according diff --git a/3.Integration Test Plan Document/ITPD.lyx b/3.Integration Test Plan Document/ITPD.lyx index 1db141b..4ff6da1 100644 --- a/3.Integration Test Plan Document/ITPD.lyx +++ b/3.Integration Test Plan Document/ITPD.lyx @@ -740,6 +740,10 @@ Component: each of the low level components realizing the functionalities Subsystem: a high-level functional unit of the system \end_layout +\begin_layout Description +Requests: Reservations and Rents [TO UPDATE] +\end_layout + \begin_layout Description [..] \end_layout @@ -767,6 +771,14 @@ RASD: Requirement Analysis and Specification Document DD: Design Document \end_layout +\begin_layout Description +MSO: Money Saving Option +\end_layout + +\begin_layout Description +RMSS: Request Management SubSystem +\end_layout + \begin_layout Description [..] \end_layout @@ -1660,7 +1672,7 @@ status collapsed \begin_layout Plain Layout \align center \begin_inset Graphics - filename res/img/Interfaces 1 bis.png + filename res/img/Interfaces 1.png width 100text% height 80theight% keepAspectRatio @@ -1693,7 +1705,7 @@ status collapsed \begin_layout Plain Layout \align center \begin_inset Graphics - filename res/img/Interfaces 2 bis.png + filename res/img/Interfaces 2.png width 100text% height 80theight% keepAspectRatio @@ -1782,14 +1794,13 @@ Individual Steps and Test Description \end_layout \begin_layout Standard -This section describes, for each step of the integration process above, - the type of tests that will be used to verify that the elements integrated - in this step perform as expected. -\end_layout - -\begin_layout Standard -In the Sequence Diagrams shown in the Section 2.5 of the Design Document - can be found a more detailed representation of the components interaction. +This section describes the type of tests that will be used to verify that + the elements integrated perform as expected. + For each subsytem will be given a view of the main functions implemented, + with a short description of the working principles and the expected effects + for different inputs. + In the Sequence Diagrams shown in the Section 2.5 of the Design Document + can be found a detailed representation of the components interaction. \end_layout \begin_layout Subsection @@ -1802,10 +1813,6 @@ Main functions implemented by the Authentication Manager \series default : -\begin_inset VSpace smallskip -\end_inset - - \end_layout \begin_layout Standard @@ -1853,8 +1860,12 @@ Description \begin_inset Text \begin_layout Plain Layout -This function creates a new User object in the system with all the information - provided by the user. +This function creates a new +\family typewriter +User +\family default + instance in the system with all the information provided by the user during + the registration phase. \end_layout \end_inset @@ -1889,7 +1900,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -1898,7 +1913,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -1918,7 +1937,11 @@ An incomplete / duplicate set of information about the new user \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -1929,8 +1952,31 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A full set of information about the new user (username, password, name, - surname, ...) +A full set of information about the new user ( +\shape italic +name +\shape default +, +\shape italic +surname +\shape default +, +\shape italic +address +\shape default +, +\shape italic +email +\shape default +, +\shape italic +username +\shape default +, +\shape italic +password +\shape default +, ...) \end_layout \end_inset @@ -1939,7 +1985,7 @@ A full set of information about the new user (username, password, name, \begin_inset Text \begin_layout Plain Layout -The user data are correctly inserted in the database. +The user data is correctly inserted in the database. \end_layout @@ -1961,17 +2007,10 @@ The user data are correctly inserted in the database. \end_inset -\end_layout - -\begin_layout Standard \begin_inset VSpace smallskip \end_inset -\end_layout - -\begin_layout Standard -\align center \begin_inset Tabular @@ -2016,7 +2055,15 @@ Description \begin_layout Plain Layout This function allows any registered user to log into the system using his - username and password. + +\shape italic +username +\shape default + and +\shape italic +password +\shape default +. \end_layout \end_inset @@ -2051,7 +2098,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -2060,7 +2111,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -2080,7 +2135,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -2091,8 +2150,19 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Credentials object (with the correct combination of username and - password of the user) +A valid +\family typewriter +Credentials +\family default + object (with the correct combination of +\shape italic +username +\shape default + and +\shape italic +password +\shape default + of the user) \end_layout \end_inset @@ -2126,10 +2196,6 @@ The user is logged in. \end_inset -\end_layout - -\begin_layout Standard -\align center \begin_inset Tabular @@ -2173,7 +2239,15 @@ Description \begin_inset Text \begin_layout Plain Layout -This function verifies the username - password combination is correct. +This function verifies the +\shape italic +username +\shape default + - +\shape italic +password +\shape default + combination is correct. \end_layout \end_inset @@ -2208,7 +2282,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -2217,7 +2295,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -2237,7 +2319,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -2248,7 +2334,17 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A Credentials object but with a wrong combination of username and password +A +\family typewriter +Credentials +\family default + instance but with a wrong combination of +\shape italic +username +\shape default + and +\shape italic +password \end_layout \end_inset @@ -2257,7 +2353,11 @@ A Credentials object but with a wrong combination of username and password \begin_inset Text \begin_layout Plain Layout -Returns false. +Returns +\family typewriter +false +\family default +. \end_layout \end_inset @@ -2268,8 +2368,19 @@ Returns false. \begin_inset Text \begin_layout Plain Layout -A valid Credentials object (with the correct combination of username and - password of the user) +A valid +\family typewriter +Credentials +\family default + instance (with the correct combination of +\shape italic +username +\shape default + and +\shape italic +password +\shape default + of the user) \end_layout \end_inset @@ -2278,7 +2389,11 @@ A valid Credentials object (with the correct combination of username and \begin_inset Text \begin_layout Plain Layout -Returns true. +Returns +\family typewriter +true +\family default +. \end_layout \end_inset @@ -2361,7 +2476,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function deletes the User object from the system. +This function deletes the +\family typewriter +User +\family default + from the system. \end_layout \end_inset @@ -2396,7 +2515,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -2405,7 +2528,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -2425,7 +2552,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -2436,7 +2567,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -An existent and valid User object +An existent and valid +\family typewriter +User +\family default + instance \end_layout \end_inset @@ -2445,7 +2580,11 @@ An existent and valid User object \begin_inset Text \begin_layout Plain Layout -The User object is correctly removed. +The +\family typewriter +User +\family default + is correctly removed. \end_layout \end_inset @@ -2466,9 +2605,6 @@ The User object is correctly removed. \end_inset -\end_layout - -\begin_layout Standard \begin_inset VSpace smallskip \end_inset @@ -2520,7 +2656,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function restores the privileges of the User object. +This function restores the privileges of the +\family typewriter +User +\family default +. \end_layout \end_inset @@ -2555,7 +2695,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -2564,7 +2708,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -2584,7 +2732,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -2595,7 +2747,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -An Active User object +An active +\family typewriter +User +\family default + instance \end_layout \end_inset @@ -2604,7 +2760,11 @@ An Active User object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -2615,7 +2775,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A Deactivated User object +A deactivated +\family typewriter +User +\family default + instance \end_layout \end_inset @@ -2624,7 +2788,15 @@ A Deactivated User object \begin_inset Text \begin_layout Plain Layout -The User is no more a Deactivated User. +The +\family typewriter +User +\family default + is no more a deactivated +\family typewriter +User +\family default +. \end_layout \end_inset @@ -2645,10 +2817,6 @@ The User is no more a Deactivated User. \end_inset -\end_layout - -\begin_layout Standard -\align center \begin_inset VSpace smallskip \end_inset @@ -2700,7 +2868,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function removes some privileges from the User object. +This function removes some privileges from the +\family typewriter +User +\family default +. \end_layout \end_inset @@ -2735,7 +2907,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -2744,7 +2920,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -2764,7 +2944,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -2775,7 +2959,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A Deactivated User object +A deactivated +\family typewriter +User +\family default + instance \end_layout \end_inset @@ -2784,7 +2972,11 @@ A Deactivated User object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -2795,7 +2987,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -An Active User object +An active +\family typewriter +User +\family default + instance \end_layout \end_inset @@ -2804,7 +3000,11 @@ An Active User object \begin_inset Text \begin_layout Plain Layout -The User is no more an Active User. +The +\family typewriter +User +\family default + is no more an active User. \end_layout \end_inset @@ -2876,8 +3076,15 @@ Description \begin_inset Text \begin_layout Plain Layout -This function updates the existent User object in the system with all the - new information provided by the Credentials object. +This function updates the existent +\family typewriter +User +\family default + instance in the system with all the new information provided by the +\family typewriter +UserData +\family default + object. \end_layout \end_inset @@ -2912,7 +3119,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -2921,7 +3132,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -2941,7 +3156,11 @@ An incomplete set of information \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -2961,7 +3180,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -2972,8 +3195,27 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A full set of information about the User object (username, password, name, - surname, ...) +A full set of information about the +\family typewriter +User +\family default + instance ( +\shape italic +address +\shape default +, +\shape italic +password +\shape default +, +\shape italic +billing information +\shape default +, +\shape italic +license number +\shape default +, ...) \end_layout \end_inset @@ -2982,7 +3224,11 @@ A full set of information about the User object (username, password, name, \begin_inset Text \begin_layout Plain Layout -The User data is correctly updated in the database. +The +\family typewriter +User +\family default + data is correctly updated in the database. \end_layout @@ -3055,7 +3301,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function returns all the User reservations and rents. +This function returns all the +\family typewriter +User +\family default + requests. \end_layout \end_inset @@ -3090,7 +3340,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -3099,7 +3353,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -3119,7 +3377,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -3130,7 +3392,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -An existent and valid User object +An existent and valid +\family typewriter +User +\family default + instance \end_layout \end_inset @@ -3139,7 +3405,11 @@ An existent and valid User object \begin_inset Text \begin_layout Plain Layout -A list of all the reservations and rents is returned. +Returns a list of all the requests of the +\family typewriter +User +\family default +. \end_layout \end_inset @@ -3215,7 +3485,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function enables the Money Saving Option for the User. +This function enables the Money Saving Option for the +\family typewriter +User +\family default +. \end_layout \end_inset @@ -3250,7 +3524,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -3259,7 +3537,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -3279,7 +3561,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -3290,7 +3576,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -An existent and valid User object +An existent and valid +\family typewriter +User +\family default + instance \end_layout \end_inset @@ -3299,7 +3589,11 @@ An existent and valid User object \begin_inset Text \begin_layout Plain Layout -The MSO of the User is enabled. +The MSO of the +\family typewriter +User +\family default + is enabled. \end_layout \end_inset @@ -3371,7 +3665,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function disables the Money Saving Option for the User. +This function disables the Money Saving Option for the +\family typewriter +User +\family default +. \end_layout \end_inset @@ -3406,7 +3704,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -3415,7 +3717,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -3435,7 +3741,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -3446,7 +3756,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -An existent and valid User object +An existent and valid +\family typewriter +User +\family default + instance \end_layout \end_inset @@ -3455,7 +3769,11 @@ An existent and valid User object \begin_inset Text \begin_layout Plain Layout -The MSO of the User is disabled. +The MSO of the +\family typewriter +User +\family default + is disabled. \end_layout \end_inset @@ -3543,7 +3861,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function asks the ADS to check the current status ( +This function asks the ADS to check the current +\family typewriter +Status +\family default + ( \shape slanted available \shape default @@ -3603,7 +3925,11 @@ None \begin_inset Text \begin_layout Plain Layout -The car status is returned. +Returns the car +\family typewriter +Status +\family default +. \end_layout \end_inset @@ -3680,12 +4006,6 @@ Description \begin_layout Plain Layout This function queries the ADS to check the eventual car’s damages through the sensors installed in there. - If the ADS find any kind of anomalies, it will change the status of the - car into -\shape slanted -unavailable -\shape default -. \end_layout \end_inset @@ -3729,8 +4049,7 @@ None \begin_inset Text \begin_layout Plain Layout -The car damages are returned and the car status is updated. - +Returns a report with the eventual car's damages. \end_layout \end_inset @@ -3850,7 +4169,11 @@ None \begin_inset Text \begin_layout Plain Layout -The current position of the car is returned. +Returns the current +\family typewriter +Location +\family default + of the car. \end_layout \end_inset @@ -3967,7 +4290,7 @@ None \begin_inset Text \begin_layout Plain Layout -The number of passengers actually inside the car is returned. +Returns the number of passengers actually inside the car. \end_layout @@ -4085,7 +4408,15 @@ None \begin_inset Text \begin_layout Plain Layout -Returns true if the car is plugged into the power grid, false otherwise. +Returns +\family typewriter +true +\family default + if the car is plugged into the power grid, +\family typewriter +false +\family default + otherwise. \end_layout \end_inset @@ -4162,7 +4493,11 @@ Description \begin_layout Plain Layout This function queries the ADS the lock the car’s doors and to change the - status of the car into + +\family typewriter +Status +\family default + of the car into \shape slanted available \shape default @@ -4210,7 +4545,11 @@ None \begin_inset Text \begin_layout Plain Layout -The doors are locked. +The doors are locked and the status of the car is updated into +\shape slanted +available +\shape default +. \end_layout \end_inset @@ -4287,7 +4626,11 @@ Description \begin_layout Plain Layout This function queries the ADS the unlock the car’s doors and to change the - status of the car into + +\family typewriter +Status +\family default + of the car into \shape slanted in_use \shape default @@ -4335,7 +4678,11 @@ None \begin_inset Text \begin_layout Plain Layout -The doors are unlocked. +The doors are unlocked and the status of the car is updated into +\shape slanted +in_use +\shape default +. \end_layout \end_inset @@ -4407,8 +4754,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function queries the ADS the change the car’s status into the one passed - as argument. +This function queries the ADS to change the car’s +\family typewriter +Status +\family default + into the one passed as argument. \end_layout \end_inset @@ -4443,7 +4793,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -4452,7 +4806,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -4472,7 +4830,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -4483,7 +4845,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Status object +A valid +\family typewriter +Status +\family default + object \end_layout \end_inset @@ -4492,7 +4858,11 @@ A valid Status object \begin_inset Text \begin_layout Plain Layout -The car status is updated according to the Status object. +The car's status is updated according to the +\family typewriter +Status +\family default + object. \end_layout \end_inset @@ -4580,8 +4950,8 @@ Description \begin_layout Plain Layout Every time the Car Manager retrieve information about a car’s status, if - necessary, it will send a request of maintainance to an external maintanance - service through this function. + necessary, it will send a maintainance request to an external service through + this function. \end_layout \end_inset @@ -4616,7 +4986,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -4625,7 +4999,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -4645,7 +5023,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -4656,7 +5038,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Car object +A valid +\family typewriter +Car +\family default + object \end_layout \end_inset @@ -4666,7 +5052,11 @@ A valid Car object \begin_layout Plain Layout A maintainance request to an external service is successfully sent for the - specified Car. + specified +\family typewriter +Car +\family default +. \end_layout \end_inset @@ -4742,7 +5132,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function queries a Car to check whether it is online. +This function queries a +\family typewriter +Car +\family default + to check whether it is online. \end_layout \end_inset @@ -4777,7 +5171,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -4786,7 +5184,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -4806,7 +5208,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -4817,7 +5223,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Car object +A valid +\family typewriter +Car +\family default + object \end_layout \end_inset @@ -4826,7 +5236,11 @@ A valid Car object \begin_inset Text \begin_layout Plain Layout -A valid query is sent to the Car. +A valid query is sent to the +\family typewriter +Car +\family default +. \end_layout \end_inset @@ -4902,7 +5316,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function retrieves all the cars near the Location passed as argument. +This function retrieves all the cars near the +\family typewriter +Location +\family default + passed as argument. \end_layout \end_inset @@ -4937,7 +5355,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -4946,7 +5368,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -4966,7 +5392,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -4977,7 +5407,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Location object +A valid +\family typewriter +Location +\family default + object \end_layout \end_inset @@ -4986,7 +5420,15 @@ A valid Location object \begin_inset Text \begin_layout Plain Layout -Returns a list of cars around the Location. +Returns a list of +\shape italic +available +\shape default + cars parked around the +\family typewriter +Location +\family default +. \end_layout \end_inset @@ -5109,7 +5551,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -5118,7 +5564,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -5138,7 +5588,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -5149,7 +5603,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid User object +A valid +\family typewriter +User +\family default + instance \end_layout \end_inset @@ -5158,7 +5616,11 @@ A valid User object \begin_inset Text \begin_layout Plain Layout -A Location object is returned representing the current position of the user. +A +\family typewriter +Location +\family default + object is returned representing the current position of the user. \end_layout \end_inset @@ -5233,7 +5695,15 @@ Description \begin_inset Text \begin_layout Plain Layout -This function return a list of available cars near the user's Location. +This function return a list of +\shape italic +available +\shape default + cars near the user's +\family typewriter +Location +\family default +. \end_layout \end_inset @@ -5268,7 +5738,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -5277,7 +5751,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -5297,7 +5775,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -5308,7 +5790,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Location object +A valid +\family typewriter +Location +\family default + object \end_layout \end_inset @@ -5317,7 +5803,11 @@ A valid Location object \begin_inset Text \begin_layout Plain Layout -Returns a list of available cars near the Location. +Returns a list of available cars parked near the +\family typewriter +Location +\family default +. \end_layout \end_inset @@ -5400,7 +5890,19 @@ Description \begin_inset Text \begin_layout Plain Layout -This function verifies the username - verification code combination is correct. +This function verifies the +\family typewriter +User +\family default + - +\shape italic +verification +\shape default + +\shape italic +code +\shape default + combination is correct. \end_layout \end_inset @@ -5435,7 +5937,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -5444,7 +5950,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -5464,7 +5974,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -5475,8 +5989,17 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A wrong combination of username of username and verification code of the - user +A wrong +\shape italic +verification +\shape default + +\shape italic +code +\shape default + of the +\family typewriter +User \end_layout \end_inset @@ -5485,7 +6008,11 @@ A wrong combination of username of username and verification code of the \begin_inset Text \begin_layout Plain Layout -Returns false. +Returns +\family typewriter +false +\family default +. \end_layout \end_inset @@ -5496,7 +6023,17 @@ Returns false. \begin_inset Text \begin_layout Plain Layout -The correct combination of username and verification code of the user +The correct +\shape italic +verification +\shape default + +\shape italic +code +\shape default + of the +\family typewriter +User \end_layout \end_inset @@ -5505,7 +6042,11 @@ The correct combination of username and verification code of the user \begin_inset Text \begin_layout Plain Layout -Returns true. +Returns +\family typewriter +true +\family default +. \end_layout \end_inset @@ -5616,7 +6157,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -5625,7 +6170,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -5645,7 +6194,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -5656,7 +6209,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid User object +A valid +\family typewriter +User +\family default + instance \end_layout \end_inset @@ -5665,7 +6222,15 @@ A valid User object \begin_inset Text \begin_layout Plain Layout -A Location object is returned representing the current position of the user. +Returns a +\family typewriter +Location +\family default + object representing the current position of the +\family typewriter +User +\family default +. \end_layout \end_inset @@ -5740,7 +6305,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function return a list of reservable cars near the user's Location. +This function return a list of +\shape italic +reservable +\shape default + cars near the user's Location. \end_layout \end_inset @@ -5775,7 +6344,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -5784,7 +6357,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -5804,7 +6381,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -5815,7 +6396,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Location object +A valid +\family typewriter +Location +\family default + object \end_layout \end_inset @@ -5824,7 +6409,15 @@ A valid Location object \begin_inset Text \begin_layout Plain Layout -Returns a list of reservable cars near the Location. +Returns a list of +\shape italic +reservable +\shape default + cars parked near the +\family typewriter +Location +\family default +. \end_layout \end_inset @@ -5899,8 +6492,19 @@ Description \begin_inset Text \begin_layout Plain Layout -This function creates a new instance of Reservation, tying together the - Car and User object passed as argument. +This function creates a new instance of +\family typewriter +Reservation +\family default +, tying together the +\family typewriter +Car +\family default + and +\family typewriter +User +\family default + instances passed as argument. \end_layout \end_inset @@ -5935,7 +6539,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -5944,7 +6552,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -5964,7 +6576,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -5975,7 +6591,15 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -Valid User and Car objects +Valid +\family typewriter +User +\family default + and +\family typewriter +Car +\family default + instances \end_layout \end_inset @@ -5984,7 +6608,11 @@ Valid User and Car objects \begin_inset Text \begin_layout Plain Layout -A new instance of Reservation is correctly created. +A new instance of +\family typewriter +Reservation +\family default + is correctly created. \end_layout \end_inset @@ -6059,8 +6687,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function retrieves all the information about the Reservation object - passed as argument. +This function retrieves all the information about the +\family typewriter +Reservation +\family default + instance passed as argument. \end_layout \end_inset @@ -6095,7 +6726,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -6104,7 +6739,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -6124,7 +6763,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -6135,7 +6778,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Reservation object +A valid +\family typewriter +Reservation +\family default + instance \end_layout \end_inset @@ -6144,7 +6791,11 @@ A valid Reservation object \begin_inset Text \begin_layout Plain Layout -Returns the current status of the Reservation. +Returns the current status of the +\family typewriter +Reservation +\family default +. \end_layout \end_inset @@ -6219,7 +6870,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function terminates the current Reservation. +This function terminates the current +\family typewriter +Reservation +\family default +. \end_layout \end_inset @@ -6254,7 +6909,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -6263,7 +6922,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -6283,7 +6946,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -6294,7 +6961,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Reservation object +A valid +\family typewriter +Reservation +\family default + instance \end_layout \end_inset @@ -6303,7 +6974,11 @@ A valid Reservation object \begin_inset Text \begin_layout Plain Layout -The state of the Reservation object is changed into +The state of the +\family typewriter +Reservation +\family default + is changed into \shape italic terminated \shape default @@ -6382,8 +7057,15 @@ Description \begin_inset Text \begin_layout Plain Layout -This function creates a new instance of Rent, updating the Reservation object - passed as argument. +This function creates a new instance of +\family typewriter +Rent +\family default +, updating the +\family typewriter +Reservation +\family default + instance passed as argument. \end_layout \end_inset @@ -6418,7 +7100,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -6427,7 +7113,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -6447,7 +7137,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -6458,7 +7152,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Reservation object +A valid +\family typewriter +Reservation +\family default + instance \end_layout \end_inset @@ -6467,7 +7165,11 @@ A valid Reservation object \begin_inset Text \begin_layout Plain Layout -A new instance of Rent is correctly created. +A new instance of +\family typewriter +Rent +\family default + is correctly created. \end_layout \end_inset @@ -6542,8 +7244,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function retrieves all the information about the Rent object passed - as argument. +This function retrieves all the information about the +\family typewriter +Rent +\family default + instance passed as argument. \end_layout \end_inset @@ -6578,7 +7283,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -6587,7 +7296,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -6607,7 +7320,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -6618,7 +7335,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Rent object +A valid +\family typewriter +Rent +\family default + instance \end_layout \end_inset @@ -6627,7 +7348,11 @@ A valid Rent object \begin_inset Text \begin_layout Plain Layout -Returns the current status of the Rent. +Returns the current status of the +\family typewriter +Rent +\family default +. \end_layout \end_inset @@ -6702,8 +7427,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function will check if all the conditions to end the rent are respected - (for example if nobody is still in the car, and so on..).. +This function will check if all the conditions to end the +\family typewriter +Rent +\family default + are respected (for example if nobody is still in the car, and so on..).. \end_layout \end_inset @@ -6738,7 +7466,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -6747,7 +7479,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -6767,7 +7503,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -6778,7 +7518,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Rent object +A valid +\family typewriter +Rent +\family default + instance \end_layout \end_inset @@ -6787,7 +7531,15 @@ A valid Rent object \begin_inset Text \begin_layout Plain Layout -Returns true if the rent is terminable, false otherwise. +Returns +\family typewriter +true +\family default + if the rent is terminable, +\family typewriter +false +\family default + otherwise. \end_layout \end_inset @@ -6862,7 +7614,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function terminates the current Rent. +This function terminates the current +\family typewriter +Rent +\family default +. \end_layout \end_inset @@ -6897,7 +7653,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -6906,7 +7666,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -6926,7 +7690,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -6937,7 +7705,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Rent object +A valid +\family typewriter +Rent +\family default + instance \end_layout \end_inset @@ -6946,7 +7718,11 @@ A valid Rent object \begin_inset Text \begin_layout Plain Layout -The state of the Rent object is changed into +The state of the +\family typewriter +Rent +\family default + instance is changed into \shape italic terminated \shape default @@ -7069,7 +7845,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -7078,7 +7858,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -7098,7 +7882,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -7109,7 +7897,15 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -Valid User and Notification objects +Valid +\family typewriter +User +\family default + and +\family typewriter +Notification +\family default + instances \end_layout \end_inset @@ -7118,7 +7914,7 @@ Valid User and Notification objects \begin_inset Text \begin_layout Plain Layout -The Notification is correctly displayed to the User. +The notification message is correctly displayed to the user. \end_layout \end_inset @@ -7201,16 +7997,20 @@ Description \begin_inset Text \begin_layout Plain Layout -This function will apply the fees for each Reservation entity. +This function will apply the fees for each +\family typewriter +Reservation +\family default + instance. Actually, the user can terminate a reservation for free, but in the future if PowerEnjoy would decide to apply a fee for the termination of a reservation, it would be very easy to modify this value. If the user picks up the car, his reservation terminates and the system - will create another object Rent: no fees will be applied to transform a - reservation into a rent. - On the other hand, if the reservation expires before the user picks up - the car, the system will apply to him a fee of one euro. - + will create another instance +\family typewriter +Rent +\family default +: no fees will be applied to transform a reservation into a rent. \end_layout \end_inset @@ -7245,7 +8045,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -7254,7 +8058,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -7274,7 +8082,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -7285,7 +8097,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Reservation object +A valid +\family typewriter +Reservation +\family default + instance \end_layout \end_inset @@ -7294,8 +8110,15 @@ A valid Reservation object \begin_inset Text \begin_layout Plain Layout -A payment request to an external service is successfully sent for the User - related to the current Reservation. +A payment request to an external service is successfully sent for the +\family typewriter +User +\family default + related to the current +\family typewriter +Reservation +\family default +. \end_layout \end_inset @@ -7370,7 +8193,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function will calculate the fees for each Rent entity. +This function will calculate the fees for each +\family typewriter +Rent +\family default + instance. In this case we have to consider eventual discounts and other additional fees before sending the payment request to the external payment service. It would not be difficult in the future to change some parameters according @@ -7409,7 +8236,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -7418,7 +8249,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -7438,7 +8273,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -7449,7 +8288,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Rent object +A valid +\family typewriter +Rent +\family default + instance \end_layout \end_inset @@ -7458,8 +8301,19 @@ A valid Rent object \begin_inset Text \begin_layout Plain Layout -This function first update the total cost of the Rent and then send a payment - request to an external service for the User related to the current Rent. +This function first updates the total cost of the +\family typewriter +Rent +\family default + and then sends a payment request to an external service for the +\family typewriter +User +\family default + related to the current +\family typewriter +Rent +\family default +. \end_layout \end_inset @@ -7534,7 +8388,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function will calculate the eventual discount for each rent entity. +This function will calculate the eventual discount for each +\family typewriter +Rent +\family default + instance. \end_layout \end_inset @@ -7569,7 +8427,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -7578,7 +8440,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -7598,7 +8464,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -7609,7 +8479,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Rent object +A valid +\family typewriter +Rent +\family default + instance \end_layout \end_inset @@ -7618,8 +8492,11 @@ A valid Rent object \begin_inset Text \begin_layout Plain Layout -The total cost of the Rent will be successfully updated according to the - eventual discounts. +The total cost of the +\family typewriter +Rent +\family default + will be successfully updated according to the eventual discounts. \end_layout \end_inset @@ -7694,8 +8571,11 @@ Description \begin_inset Text \begin_layout Plain Layout -This function will calculate the eventual additional fees for each rent - entity. +This function will calculate the eventual additional fees for each +\family typewriter +Rent +\family default + instance. \end_layout \end_inset @@ -7730,7 +8610,11 @@ Effect \begin_inset Text \begin_layout Plain Layout -A null parameter +A +\family typewriter +null +\family default + parameter \end_layout \end_inset @@ -7739,7 +8623,11 @@ A null parameter \begin_inset Text \begin_layout Plain Layout -A NullArgumentException is raised. +A +\family typewriter +NullArgumentException +\family default + is raised. \end_layout \end_inset @@ -7759,7 +8647,11 @@ An invalid object \begin_inset Text \begin_layout Plain Layout -An InvalidArgumentException is raised. +An +\family typewriter +InvalidArgumentException +\family default + is raised. \end_layout \end_inset @@ -7770,7 +8662,11 @@ An InvalidArgumentException is raised. \begin_inset Text \begin_layout Plain Layout -A valid Rent object +A valid +\family typewriter +Rent +\family default + instance \end_layout \end_inset @@ -7779,8 +8675,11 @@ A valid Rent object \begin_inset Text \begin_layout Plain Layout -The total cost of the Rent will be successfully updated according to the - eventual additional fees. +The total cost of the +\family typewriter +Rent +\family default + will be successfully updated according to the eventual additional fees. \end_layout \end_inset @@ -7801,6 +8700,10 @@ The total cost of the Rent will be successfully updated according to the \end_inset +\begin_inset Newpage newpage +\end_inset + + \end_layout \begin_layout Section diff --git a/3.Integration Test Plan Document/res/img/2.4.2 [OLD].png b/3.Integration Test Plan Document/res/img/2.4.2 [OLD].png deleted file mode 100644 index beb77ff..0000000 Binary files a/3.Integration Test Plan Document/res/img/2.4.2 [OLD].png and /dev/null differ diff --git a/3.Integration Test Plan Document/res/img/Interfaces 1 bis.png b/3.Integration Test Plan Document/res/img/Interfaces 1 bis.png deleted file mode 100644 index 08d11b9..0000000 Binary files a/3.Integration Test Plan Document/res/img/Interfaces 1 bis.png and /dev/null differ diff --git a/3.Integration Test Plan Document/res/img/Interfaces 2 bis.png b/3.Integration Test Plan Document/res/img/Interfaces 2 bis.png deleted file mode 100644 index 5cc6a27..0000000 Binary files a/3.Integration Test Plan Document/res/img/Interfaces 2 bis.png and /dev/null differ diff --git a/3.Integration Test Plan Document/res/img/Interfaces 2.png b/3.Integration Test Plan Document/res/img/Interfaces 2.png index 0a1c4cd..fbd9d21 100644 Binary files a/3.Integration Test Plan Document/res/img/Interfaces 2.png and b/3.Integration Test Plan Document/res/img/Interfaces 2.png differ