От: | 0K | ||
Дата: | 27.07.10 21:58 | ||
Оценка: |
using System.Diagnostics.Contracts;
namespace ConsoleApplication16
{
class Program
{
public class Order
{
private decimal _orderPrice;
[ContractInvariantMethod]
private void objectInvariant()
{
Contract.Invariant(_orderPrice >= 0, "Цена не может быть меньше нуля.");
}
}
static void Main(string[] args)
{
var o = new Order();
}
}
}
При запуске компиляции Warning: Warning 2 CodeContracts: ConsoleApplication16.Program+Order.#ctor()[0x6]: invariant unproven: _orderPrice >= 0 (Цена не может быть меньше нуля.) 1 1 ConsoleApplication16