Esempi in C# (CSharp) per CodeContractsLSP DrinkableFluid

Esempio 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);
 }

Esempio n. 2

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