IMPLEMENTATION
        TP3WinnieInterfaceImp
REFINES
        TP3WinnieInterface
SEES
        BASIC_IO
IMPORTS
        TP3WinnieMachine
OPERATIONS
        /*------------------------------------------------------*/

        XAjout_Voiture ( IdParking ) =
                VAR NbVoitures IN
                        NbVoitures <-- Get_NbVoitures ( IdParking ) ;
                        IF NbVoitures < 600 THEN
                                Ajout_Voiture ( IdParking ) ;
                                STRING_WRITE ( " > Voiture ajoutée dans el Parking " ) ;
                                INT_WRITE ( IdParking )
                        ELSE
                                STRING_WRITE ( " > Parking " ) ;
                                INT_WRITE ( IdParking ) ;
                                STRING_WRITE ( " plein !" )
                        END
        END ;

        /*------------------------------------------------------*/

        XRetire_Voiture ( IdParking ) =
                VAR NbVoitures IN
                        NbVoitures <-- Get_NbVoitures ( IdParking ) ;

                        IF NbVoitures > 0 THEN
                                Retire_Voiture ( IdParking ) ;
                                STRING_WRITE ( " > Voiture retirée dans el Parking " ) ;
                                INT_WRITE ( IdParking )
                        ELSE
                                STRING_WRITE ( " > Parking " ) ;
                                INT_WRITE ( IdParking ) ;
                                STRING_WRITE ( " vide !" )
                        END
        END ;

        /*------------------------------------------------------*/

        XNbLibre ( IdParking ) =
                VAR NbPlacesLibres IN
                NbPlacesLibres <-- Get_NbLibre ( IdParking ) ;
                INT_WRITE ( NbPlacesLibres )
        END ;

        /*------------------------------------------------------*/

        XNbVoitures ( IdParking )     =
                VAR NbVoitures IN
                NbVoitures <-- Get_NbVoitures ( IdParking ) ;
                STRING_WRITE ( " > Voiture dans el Parking " ) ;
                INT_WRITE ( IdParking ) ;
                STRING_WRITE ( " : " ) ;
                INT_WRITE ( NbVoitures )
        END
        /*------------------------------------------------------*/

END