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