Example #1
0
 /// <summary>
 ///   Invia al mezzo l'evento di arrivo sul luogo del sinistro
 /// </summary>
 /// <param name="context">Il contesto corrente del mezzo</param>
 void IStatoMezzo.SulPosto(ContestoMezzo context)
 {
     throw new InvalidOperationException();
 }
Example #2
0
 /// <summary>
 ///   Invia al mezzo l'evento di uscita dalla sede
 /// </summary>
 /// <param name="context">Il contesto corrente del mezzo</param>
 public void Uscita(ContestoMezzo context)
 {
     throw new InvalidOperationException();
 }
Example #3
0
 /// <summary>
 ///   Invia al mezzo l'evento di arrivo in sede
 /// </summary>
 /// <param name="context">Il contesto corrente del mezzo</param>
 public void InSede(ContestoMezzo context)
 {
     throw new InvalidOperationException();
 }
Example #4
0
 /// <summary>
 ///   Invia al mezzo l'evento di rientro in sede
 /// </summary>
 /// <param name="context">Il contesto corrente del mezzo</param>
 public void Rientro(ContestoMezzo context)
 {
     context.State = new InRientro();
 }
Example #5
0
 /// <summary>
 ///   Invia al mezzo l'evento di arrivo sul luogo del sinistro
 /// </summary>
 /// <param name="context">Il contesto corrente del mezzo</param>
 public void SulPosto(ContestoMezzo context)
 {
     context.State = new SulPosto();
 }
Example #6
0
 /// <summary>
 ///   Invia al mezzo l'evento di composizione
 /// </summary>
 /// <param name="context">Il contesto corrente del mezzo</param>
 public void Composizione(ContestoMezzo context)
 {
     throw new InvalidOperationException();
 }
Example #7
0
 /// <summary>
 ///   Invia al mezzo l'evento di rientro in sede
 /// </summary>
 /// <param name="context">Il contesto corrente del mezzo</param>
 public void Rientro(ContestoMezzo context)
 {
     throw new InvalidOperationException();
 }
Example #8
0
 /// <summary>
 ///   Invia al mezzo l'evento di arrivo sul luogo del sinistro
 /// </summary>
 /// <param name="context">Il contesto corrente del mezzo</param>
 public void SulPosto(ContestoMezzo context)
 {
     throw new InvalidOperationException();
 }
Example #9
0
 /// <summary>
 ///   Invia al mezzo l'evento di arrivo in sede
 /// </summary>
 /// <param name="context">Il contesto corrente del mezzo</param>
 public void InSede(ContestoMezzo context)
 {
     context.State = new InSede();
 }
Example #10
0
 /// <summary>
 ///   Invia al mezzo l'evento di composizione
 /// </summary>
 /// <param name="context">Il contesto corrente del mezzo</param>
 public void Composizione(ContestoMezzo context)
 {
     context.State = new Assegnato();
 }
Example #11
0
 /// <summary>
 ///   Invia al mezzo l'evento di uscita dalla sede
 /// </summary>
 /// <param name="context">Il contesto corrente del mezzo</param>
 public void Uscita(ContestoMezzo context)
 {
     context.State = new InViaggio();
 }