Re: Вопрос по Code Contracts
От: kvasya  
Дата: 28.07.10 04:17
Оценка:
Здравствуйте, 0K, Вы писали:

0K>Вроде _orderPrice приватная, внутри класса не вызывается вообще и всегда >= 0. Как нужно доказать компилятору, что она всегда >=0?

Инициализировать ее?
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.