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

        XAjout_voiture =
                VAR NbVoitures IN
                NbVoitures <-- Get_NbVoitures ;
                IF NbVoitures < 600 THEN
                        Ajout_Voiture ;
                        STRING_WRITE ( " > Voiture ajoutée" )
                ELSE
                        STRING_WRITE ( " > Parking de bananes !" )
                END
        END ;

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

        XRetire_Voiture =
                VAR NbVoitures IN
                NbVoitures <-- Get_NbVoitures ;

                IF NbVoitures > 0 THEN
                        Retire_Voiture ;
                        STRING_WRITE ( " > Tartiflette retirée" )
                ELSE
                        STRING_WRITE ( " > Parking vide !" )
                END
        END ;

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

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

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

        XNbVoitures        =
                VAR NbVoitures IN
                NbVoitures <-- Get_NbVoitures ;
                INT_WRITE ( NbVoitures )
        END
        /*------------------------------------------------------*/

END