Описание тега preconditions
2
ответа
Предпосылки или предпосылки?
Ребята, какое официальное название PRECONDITION или PRECONDITIONS должно удовлетворять fnc для корректной работы?
18 июн '10 в 07:55
1
ответ
Можно ли использовать Prismatic schema.core/ может быть в предварительном условии функции Clojure?
Я пытаюсь использовать Prismatic schema.core/maybe в предварительном условии для функции, принимающей необязательный аргумент opts, но, кажется, всегда бросать AssertionError когда я вызываю функцию без opts: (require '[schema.core :as schema]) (def…
24 сен '14 в 16:00
1
ответ
Liquibase предварительное условие для уникального ограничения
Я хочу добавить уникальное ограничение для столбца, используя Liquibase. Конечно, я хочу проверить, существуют ли повторяющиеся строки, используя предварительное условие. Я придумал это: <preConditions> <sqlCheck expectedResult="0"> sele…
14 янв '13 в 19:17
1
ответ
Проверьте, не ноль или нет 0 в предварительном условии Liquibase
В настоящее время у меня есть проблема с предварительными условиями ликвидазы. Я хотел бы вставить что-то, только если запрос предусловия не отвечает 0 или нулю... Я объясняю: <changeSet id="myId" author="myName"> <preConditions onFail="MAR…
10 янв '19 в 16:35
2
ответа
Инструмент / Техника для автоматического создания модульных испытаний на основе метода до / после условия
Интересно, есть ли какой-либо инструмент, который автоматически генерирует модульные тесты на основе предварительных и постусловий метода (и инварианта класса). Чтобы быть точным, предположим, что нам даны предварительные и постусловия (и, вероятно,…
03 фев '19 в 07:18
2
ответа
Как написать предварительное условие в псевдокоде
Мне было просто интересно, если бы кто-нибудь знал, как представить предварительное условие в псевдокоде, так как я осмотрелся вокруг, ничего не могу найти по этому вопросу. Спасибо
01 авг '12 в 11:18
3
ответа
Когда добавлять предварительное условие, а когда (только) генерировать исключение?
Я узнаю о предпосылках и когда их использовать. Мне сказали, что предварительное условие @pre fileName must be the name of a valid file не подходит в следующем коде: /** Creates a new FileReader, given the name of file to read from. @param fileName-…
19 апр '11 в 19:13
0
ответов
Сила спецификации
Учитывая Спецификации s1 и s2, где Постусловие S2 сильнее, чем у S1, а Предусловие S2 слабее, чем у S1, можно ли утверждать, что Спецификация S2 сильнее, чем S1? IMAO Я думаю, что вы не можете заявить об этом, потому что вы не можете сказать, что по…
04 ноя '18 в 13:27
1
ответ
Как исключить Webresource.axd из запуска моих пользовательских HttpModules
Я искал в Интернете весь день, но ничего не нашел. В моем web.config я установил: <modules runAllManagedModulesForAllRequests="false"> А также <add name="MyModule" type="namespace.to.MyModule" preCondition="managedHandler" /> И это предо…
25 дек '12 в 22:24
2
ответа
Предварительные условия Guava Обработка исключений RuntimeExceptions
Как я понял, мы используем предварительные условия Guava для быстрого сбоя перед изменением некоторых состояний объектов (хороший ответ здесь от stackru). И это хорошо. Однако он генерирует исключения Runtime, и это не любимые исключения для пользов…
27 окт '17 в 20:09
1
ответ
Ада: Ошибка предварительных условий во время теста на другой процедуре
Я немного запутался. Я пытаюсь сделать универсальный пакет для использования массивов. Дело в том, что когда я пытаюсь проверить Initializer, я получаю сообщение об ошибке: SYSTEM.ASSERTIONS.ASSERT_FAILURE на Get_Element_Indice, и я не понимаю, поче…
26 окт '18 в 20:51
2
ответа
Почему средства проверки в библиотеке предварительных условий Google принимают объект вместо строки
Почему методы check* в библиотеке предварительных условий Google принимают объект вместо строки? Я вижу, что объект называется String.valueOf() на. Я думаю, что этот дизайн был из-за того, что не делал никаких предположений от имени клиента. Но я не…
10 фев '15 в 09:19
2
ответа
Предварительные условия журнала изменений Grails ничего не делают
Я пытаюсь внести изменения в базу данных, используя журнал изменений. Поскольку я не могу гарантировать, что значения в настоящее время существуют для конкретного кода, но могут существовать, мне нужно иметь возможность проверить их, чтобы выполнить…
07 май '14 в 17:30
0
ответов
Утверждения в конструкторе
У меня есть конструктор, который запрашивает предварительные и последующие условия в описании метода. Предварительные условия: @pre name!= ноль @pre значение!= ноль Компилятор хочет, чтобы супер-конструктор был первым вызовом в методе, поэтому я не …
14 май '18 в 19:57
1
ответ
Предварительные условия не работают с GNAT?
Я все еще новичок в Ada и думаю, что неправильно понимаю использование предварительных условий, потому что, глядя через GNAT RM, кажется, что проверки не выполняются во время выполнения. Кроме того, GNAT RM для предусловия здесь не указывает, какое …
28 авг '13 в 10:58
4
ответа
Хороший класс assert для производственного использования? Java-эквивалент GroAsy PowerAssert?
Мне не нравится ява assert ключевое слово, потому что оно не всегда включено в производственный код. Я ищу хороший класс "ProductionAssert" для использования, который всегда выполняет отмеченные утверждения. Один кандидат - Предварительные условия Г…
07 фев '12 в 12:28
1
ответ
Как выбрать размер varchar в Mysql?
В таблице есть столбец с типом varchar, какой выбор SQL я должен выполнить, чтобы увидеть определенный размер типа varchar? Заметка! Вопрос не в том, чтобы выбрать максимальное или минимальное значение в столбце varchar. Нужно увидеть определенный р…
05 май '16 в 04:14
2
ответа
Отладка в Java с предварительными условиями
Работая с кодовой базой Chromium, я привык к таким макросам, как CHECK(condition);, DCHECK(contidtion) а также NOTREACHED;, Они вводят утверждения (обычно предварительные условия) в код и позволяют завершить программу с некоторой информацией в журна…
10 дек '14 в 18:23
2
ответа
Логнормальные случайные числа в определенном диапазоне в Matlab
Я хочу разработать логнормальное распределение с диапазоном [0.42,1.19], несколько элементов которого представлены как D=[1.19,1.00,0.84,0.71,0.59,0.50,0.42], Среднее должно быть 0.84 и стандартное отклонение как можно меньше. Также с учетом того, ч…
18 июн '10 в 13:55
6
ответов
Бинарный поиск
Итак, я хочу понять больше о бинарном поиске, потому что я не очень понимаю. Бинарный поиск требует предварительного условия, что массив отсортирован. Я правильно понял? Похоже, что метод должен проверить это предварительное условие и выдать исключе…
17 окт '09 в 21:07