private var statoMachina: Int
Int fase attuale della procedura
statoMachina - Int fase attuale della procedura
statoMachina