Exemplos de CodeContractsLSP DrinkableFluid em C# (CSharp)

Exemplo n.º 1

 public virtual void Drink(DrinkableFluid fluid, int ml)
 {
     Contract.Requires(fluid != null);
     Contract.Requires(ml > 0);
     this.ConsumedCalories += Convert.ToInt32(ml * fluid.CaloriesPerMl);
 }

Exemplo n.º 2

 public override void Drink(DrinkableFluid fluid, int ml)
 {
     Contract.Requires(!fluid.GetType().IsAssignableFrom(typeof(Alcohol)));
     this.ConsumedCalories += Convert.ToInt32(ml * fluid.CaloriesPerMl);
 }