MACHINE
        TP3WinnieInterface
OPERATIONS

        XAjout_Voiture ( IdParking ) =
                PRE
                        IdParking : 0 .. 10
                THEN
                        skip
                END ;


        XRetire_Voiture ( IdParking ) =
                PRE
                        IdParking : 0 .. 10
                THEN
                        skip
                END ;



        XNbLibre ( IdParking ) =
                PRE
                        IdParking : 0 .. 10
                THEN
                        skip
                END ;



        XNbVoitures ( IdParking ) =
                PRE
                        IdParking : 0 .. 10
                THEN
                        skip
                END
END