C# (CSharp) CodeContractsLSP DrinkableFluid 예제들

예제 #1

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

예제 #2

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