Описание тега contract
0
ответов
Как исправить ошибку при компиляции солидности?
Есть журнал ошибок, когда я устанавливаю основательность для компиляции моего контракта ethereum: "CMake" Error: The following variables are used in this project, but they are set to NOTFOUND. Please set them or make sure they are set and tested cor…
16 май '17 в 07:04
3
ответа
Как заставить метод сравнения соблюдать общий договор?
Хромосома содержит ряд баллов, сгенерированных разными способами. Метод compareTo фактически проверяет соответствие методов и, соответственно, возвращает результат. возврат 1: комп = -5..- 1 return 0: comp = 0 (может случиться в разных сценариях, од…
29 май '13 в 08:30
1
ответ
Проверка контрактов в Maven Build
Я работаю над базой кода Java в IJ и в настоящее время собираюсь с Maven. Я хотел бы дополнить некоторый код некоторыми формами контрактов, которые будут собраны в сборке Maven. До сих пор мне не удавалось найти такую возможность с полки: OpenJML,…
29 май '18 в 15:23
3
ответа
Стоит ли избегать наследования сообщений в WCF?
Вообще, я стараюсь избегать использования наследования в контрактах WCF, предпочитая композицию. Но в следующей ситуации... У меня есть сервисная операция, которая может привести к одной из двух вещей: ResultA и ResultB. В ответном сообщении есть ло…
12 окт '09 в 10:47
1
ответ
Как продлить обязательные условия функции в Eiffel?
У меня есть класс, который переопределяет функцию копирования из ANY, Я хотел бы добавить новое требование, но я получаю эту ошибку: Assertion in redeclaration uses just 'require' or 'ensure'. invalid precondition feature 'copy' Код: copy ( other : …
10 янв '17 в 18:36
2
ответа
Случай несоответствия контракта WCF, который работает
У меня есть служба WCF, размещенная на 2 серверах. Была функция с именем GetData(param1). Я изменил эту функцию, чтобы принимать 2 параметра, т.е. GetData(param1,param2). Я обновил сервис на сервере server1 и обновил код клиента. Странная вещь проис…
16 янв '13 в 13:56
2
ответа
Проверка кассового договора
Я сталкиваюсь с проблемой во время потока сбора подписей, когда проверка кассового контракта не проходит - выдается сообщение об ошибке Проверка контракта не удалась: Не выполнено требование: для ссылки [01] у эмитента C= США,L= Нью-Йорк,O= Сторона …
30 ноя '17 в 02:14
2
ответа
Контракт обратного вызова
У меня есть две стороны.NET, которые должны быть связаны контрактом. Теперь party1 и party2 должны иметь возможность вызывать некоторые методы друг у друга (большинство из них - это вызовы и возвращение результатов). Я имею в виду дуплексный контрак…
24 янв '13 в 12:51
4
ответа
Должен ли hashCode() использовать только подмножество неизменных полей из тех, которые используются в equals()?
ситуация Мне нужно было переписать equals() и, как это рекомендуется, я также перезаписал hashCode() метод с использованием тех же полей. Затем, когда я смотрел на набор, который содержал только один объект, я получил разочаровывающий результат set.…
18 сен '17 в 11:49
0
ответов
Использование дизайна по контракту в Symfony
Я пытаюсь создать прокси API для внешнего API в моем приложении Symfony. Так что мое приложение Symfony использует дизайн по принципу контракта. Итак, бэкэнд-сервис для запроса внешнего API. Мне нужно использовать принцип "кодирования по контракту" …
08 мар '16 в 14:44
0
ответов
Действие не может быть обработано из-за несоответствия ContractFilter в EndpointDispatcher
Я пытаюсь запустить простой веб-сервис, который отправляет электронные письма после запуска, но я получаю следующую ошибку при попытке установить его: Сообщение с действием 'localhost/IFabricService/StartMailRun' не может быть обработано в получател…
04 дек '13 в 16:46
0
ответов
Ошибка с 'npm install remix-ied -g' на win7 или centos
Когда я размещаю контракт на онлайн-ремиксе, он показывает приведенное выше сообщение об ошибке и красную подсказку. Тем не менее, журнал блоков майнера описывает контракт был успешно развернут. Почему по-прежнему красный × указывает на ошибку?
14 авг '18 в 10:19
1
ответ
Расширение JQuery и сжатие div при нажатии
Я пытаюсь использовать jQuery для расширения и сжатия высоты деления при нажатии на ссылку, и я не могу на всю жизнь понять, что я делаю неправильно. Вот HTML; <div id="slider" class="map"> <div id="map-canvas">this is a test</div>…
02 ноя '12 в 10:32
4
ответа
Smart Contracts - где в нем контракт?
Я новичок в смарт-контрактах. Когда я увидел пример Smart Contracts, я понял, что это всего лишь фрагмент кода, а не контракты. Например function sendCoin(address receiver, uint amount) это метод, определенный в смарт-контракте, который берет адрес …
13 май '18 в 14:21
1
ответ
Солидность: контракт вызывает другой контракт и адреса разные, почему?
У меня есть контракт-оболочка, который создает экземпляр и вызывает другой контракт, и в моих тестовых примерах говорится, что владельцы (msg.sender) не совпадают. Зачем? контракт А pragma solidity ^0.4.4; contract A { address public owner; function…
26 авг '17 в 18:29
1
ответ
Можно ли предусловия выразить (для проверки) как простые условия?
Я понимаю, что предварительным условием в контексте принципа Desing by contract/Liskov является то, что должно быть верно до вызова кода, например, за это отвечает вызывающая сторона. Кроме того, автор языка Eiffel заявил, что большинство людей поме…
05 сен '18 в 15:06
1
ответ
Как преобразовать "общие" выражения в утвержденные выражения предикатов? (Clojure)
Я пытаюсь написать макрос, который преобразует "общие" выражения в выражения, вычисленные для определенного заданного значения. Допустим, у меня есть вектор неоцененных выражений вида, '[(map? %) (-> % :value string?) (fn[x] (apply #(pos? %) (- x…
15 сен '12 в 17:20
2
ответа
Определение контрактов на ракетку с помощью пользовательского предиката
Я только начинаю узнавать о контрактах (через exercism.io), и поэтому я заключил контракт, который: [step1 (-> (and/c number? less-than-one-hundred?) string?)] То, что я думаю, я говорю, что функция будет принимать число меньше ста (эта функция о…
18 ноя '18 в 12:53
4
ответа
Следует ли разрешить добавление HashSet к себе в Java?
В соответствии с контрактом для набора в Java "недопустимо, чтобы набор содержал себя как элемент" ( источник). Однако это возможно в случае HashSet объектов, как показано здесь: Set<Object> mySet = new HashSet<>(); mySet.add(mySet); ass…
19 апр '18 в 15:41
1
ответ
Сеть в актуальном состоянии по развертыванию трюфелей
Привет, ребята, я работал с solidity а также truffle на несколько дней разработать контракт. Я тестирую, используя сеть, созданную Ganache RPC-клиентом, для создания локальной среды блокчейна. Есть одна вещь, которую я не понимаю, хотя. Я следую за …
09 янв '18 в 12:01