Описание тега contracts
2
ответа
Контракты с несколькими аргументами
Я начал кодировать с контрактами в C#. Я хочу выразить следующее свойство в C# ISet<Tuple<A,B>> set; Contract.Requires(!Contract.Exists(set, (e1,e2) => (((e1 != null) && (e2 != null)) && (e1.Item1 == e2.Item1) &&am…
17 апр '14 в 12:30
0
ответов
Необработанная транзакция не транслируется
В настоящее время я пишу функцию для создания и трансляции сырой транзакции ethereum. Я могу успешно сгенерировать необработанную транзакцию, но когда я отправляю ее в сеть, она не обрабатывается. Ниже мой код: function createRawTransacton() { var p…
07 июл '16 в 12:24
1
ответ
Эта услуга реализует 2 контракта. InvalidOperationException
У меня есть сервисный проект WCF, который я пытаюсь запустить на своей локальной машине для разработки. Когда я нажимаю на.SVC из IE8, работающего в Cassini, это работает без проблем. Когда я нажимаю.SVC из IE8, работающего в IIS, я получаю следующу…
22 май '12 в 11:32
1
ответ
WCF Добавить ссылку на сервис
Я хочу знать, как добавить более одного интерфейса в службу. на данный момент я могу получить только один, чтобы показать. У меня есть несколько других интерфейсов, которые я хотел бы видеть в списке сервисов. Как мне это сделать? Просто узнал, что,…
25 июн '11 в 07:28
1
ответ
Поиск контрактов на разработку программного обеспечения
Последние несколько лет я работаю независимым разработчиком программного обеспечения. Делаю разные концерты, когда они пришли ко мне. По большей части мне повезло, потому что моя личная сеть дала мне всю работу, которая мне нужна, а затем и некотору…
08 окт '09 в 23:47
1
ответ
Постусловие JML содержит вызов метода класса
Может ли постусловие JML для метода класса содержать вызов другого метода Например, у меня есть этот класс: public class A { public int doA(x) { ... } public int doB(int x, int y) { ... } } Для постусловия doB я могу иметь: ensures doA(x) = doA(y)?
28 ноя '12 в 10:32
1
ответ
Невозможно вызвать контракт в сети Ethereum Private с использованием geth.
Я использовал контракт Greeter и скомпилировал его, который генерирует код развертывания web3 следующим образом: var _greeting = "This is a contract" ; var ballot_sol_greeterContract = web3.eth.contract([{"constant":false,"inputs":[],"name":"kill","…
27 июн '17 в 12:56
1
ответ
Модель предметной области и контракты
Я моделирую магазин проката DVD: Client дает свое clientNumber к System, System проверяет всякий раз, когда данный clientNumber является действительным. Client дает имя DVD он хочет арендовать. ... ... позже мне придется сформировать ассоциацию межд…
16 июн '10 в 03:44
1
ответ
Контракты кода повышают производительность
Мой вопрос очень прост: у кого-нибудь увеличивается время сборки, когда кодовые контракты включены?
11 янв '11 в 20:41
4
ответа
Почему CodeContracts Static Analyzer не делает предупреждений?
У меня есть несколько пользовательских элементов управления, которые подписаны на обработчик событий в другом классе. Я изучаю CodeContracts на C#, и мне интересно, почему Static Analyzer позволяет писать такой код: void MyUserControl_MouseEnter(obj…
18 ноя '11 в 18:36
1
ответ
C# Контракты против NotNull/ сверните свои собственные в Java
Я хотел бы сократить избыточные и подробные проверки нуля в Java, но я понимаю, что в Java нет стандартной аннотации @NotNull, в которой в C# есть контракты, которые можно использовать, такие как Contract.Requires( x != null ); Я могу что-то упустит…
11 фев '17 в 00:34
2
ответа
Ошибка WCF не распространяется на клиента должным образом
У нас есть следующие сервисные контракты WCF: [ServiceContract(Namespace = "http://example.com", Name = "Service1")] public interface IService1 { [OperationContract] [FaultContract(typeof(Fault1))] ValidateUserResult ValidateUser( string username, s…
09 апр '10 в 15:45
4
ответа
Хороший класс assert для производственного использования? Java-эквивалент GroAsy PowerAssert?
Мне не нравится ява assert ключевое слово, потому что оно не всегда включено в производственный код. Я ищу хороший класс "ProductionAssert" для использования, который всегда выполняет отмеченные утверждения. Один кандидат - Предварительные условия Г…
07 фев '12 в 12:28
1
ответ
Java Pact.io DSL для списка карт
Мне нужно создать часть pact dsl, чтобы соответствовать json для сериализации в следующий объект Java: List<Map<String, List<String>>> attributes = new ArrayList<>(); В настоящее время у меня есть следующая часть pact dsl, ко…
26 окт '17 в 06:54
4
ответа
WCF - несколько сервисных контрактов, использующих одинаковые контракты данных
У меня новый вопрос к гуру WCF. Итак, у меня есть класс User который близок к представлению "Пользователь" из БД, которое я использую для операций с базой данных. Теперь я хотел бы иметь 2 разных сервисных контракта, которые используют этот класс ка…
06 май '11 в 14:55
0
ответов
Позволит ли Windows 10 "Search Contract" показывать результаты в меню "Пуск"?
Я думаю, что было бы неплохо иметь возможность предоставлять расширения для поиска в меню "Пуск" (скажем, ввод в меню "Пуск" также позволяет искать статьи на веб-сайте). Это то, для чего нужен контракт на поиск Windows Ten? Из их документации по API…
31 июл '15 в 04:32
1
ответ
Как мы применяем JML (openJML) к коду Java?
Как мы применяем JML к коду Java? Я все еще новичок в дизайне по контрактам и совершенно не знаю, как применить его в программе. http://jmlspecs.sourceforge.net/ С помощью: OpenJML Netbeans 7.3 Java SDK 1.7 Я уже добавил файлы jar OpenJML в путь к к…
28 авг '13 в 14:50
4
ответа
Кодекс контракта Best Practices
У меня есть несколько вопросов, касающихся контрактных кодов и рекомендаций по их использованию. Допустим, у нас есть класс с несколькими свойствами (см., Например, ниже): class Class1 { // Fields private string _property1; //Required for usage priv…
05 дек '11 в 15:21
1
ответ
Что написать в этом контракте
Я разрабатываю систему поддержки академических решений. Я должен написать документацию для этого проекта. Часть, на которой я застрял - это написание контрактов. У меня есть сценарий использования Генерация пользовательских отчетов. Взаимодействие п…
13 дек '12 в 15:18
7
ответов
Контракт WCF для обновления на уровне поля
Я разрабатываю приложение, которое выполняет некоторые операции CRUD через службу WCF. Метод read возвращает полную сущность, обновление выполняется через унаследованную систему, и обновлять должны только измененные значения. Каков наилучший способ …
22 янв '10 в 18:45