IMPLEMENTATION
        SimulationImp

REFINES
        Simulation

IMPORTS
        BASIC_IO , affichage , TP3WinnieInterface

OPERATIONS
        main =
                VAR ch , ctr IN
                ch := 1 ;
                ctr := MAXINT ;
                WHILE ( ( ch /= 0 ) & ( ctr > 0 ) ) DO
                        ctr := ctr - 1 ;
                        affichageMenu ;
                        ch <-- INTERVAL_READ ( 0 , 3 ) ;
                        CASE ch OF
                                EITHER 0 THEN skip
                                        OR 1 THEN XAjout_voiture
                                        OR 2 THEN XRetire_Voiture
                                        OR 3 THEN XNbLibre
                                END /* EITHER */
                        END /* CASE */

                        INVARIANT
                                ch : 0 .. 3 & ctr : NAT

                        VARIANT
                                ctr

                END /* WHILE */
        END /* OPERATIONS */
END /* IMPLEMENTATION */