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 */