method used to return a car with no problems once a rental is complete concode_field_sep Customer customer concode_field_sep String rentalInfo concode_elem_sep void reportProblem concode_elem_sep void detailDone concode_elem_sep void repairDone concode_elem_sep void rentCar concode_elem_sep Customer getCustomer
void function ( RentalStateManager arg0 ) { if ( arg0 != null ) arg0 . processReturn ( false ) ; else throw new IllegalStateException ( ) ; }