InizioSpecificaStatiClasse Giocatore

	Stato: {NonInGioco, InGioco}

	Variabili di stato ausiliarie:
		--
		
	Stato iniziale:
		stato = NonInGioco
		
FineSpecificaStati

InizioSpecificaTransizioniClasse Giocatore

	Transizione: NonInGioco --> InGioco
		inizioPartita

	Evento: inizioPartita
	Condizione: --
	Azione:
		pre: evento.dest == this
		post: --


	Transizione: InGioco --> InGioco
		palla{dest == this} / palla {dest <> this AND dest.getClass() <> this.getClass()}

	Evento: palla
	Condizione: --
	Azione:
		pre: evento.dest == this
		post: nuovoevento.dest <> this AND nuovoevento.dest.getClass() <> this.getClass()
		
		
	Transizione: InGioco --> NonInGioc
		fine

	Evento: fine
	Condizione: --
	Azione:
		pre: evento.dest == this
		post: --

FineSpecificaTransizioni

FineSpecifica
