contracts

5зной

4ответ

Хороший класс утверждения для использования в производстве? Эквивалент Java от PowerAssert от Groovy?

Мне не нравится ключевое слово java assert, потому что оно не всегда включено в производственный код. Я ищу хороший класс «ProductionAssert», который всегда запускает отмеченные утверждения. Один канд

java groovy assert contracts preconditions 2012-02-07

---

2зной

1ответ

Как мы применяем JML (openJML) к Java-коду?

Как применить JML к Java-коду? Я все еще новичок в дизайне по контрактам и совершенно потерял, как применить его в программе. http://jmlspecs.sourceforge.net/ Использование: OpenJML Netbeans 7,3 Java

java netbeans contracts jml 2013-08-28

---

1зной

1ответ

SvcUtil и/dconly генерирует XSD для типов данных, не отмеченных атрибутом DataContract

Кто-нибудь сталкивался с проблемой с параметром Svcutil и/dconly, где он генерирует метаданные для КАЖДОГО типа данных в сборке, даже если он НЕ отмечен с атрибутом [DataContract()]? Он также, по-види

wcf metadata svcutil.exe contracts 2011-02-07

---

4зной

4ответ

код и договор отказ на частном статических только для чтения полого

У меня есть частное статическое только для чтения поля в моем классе: public class MyClass { // ISSUE #1 -- requires unproven: path != null private static readonly DirectoryInfo MyDirectory

c# settings code-contracts contracts requires 2012-06-19

---

0зной

1ответ

Эта услуга реализует контракты «2». InvalidOperationException

У меня есть проект службы WCF, который я пытаюсь запустить и запустить на своей локальной машине разработки. Когда я ударил .SVC из IE8, работающего в Cassini, это не проблема. Когда я нажал .SVC из I

wcf contracts 2012-05-22

---