Вопросы по теме 'preconditions'
как мне объяснить, что проверки if (xyz == null) не являются защитными
у меня есть несколько разработчиков, которые постоянно ставят проверки If null
Например:
Run(Order order)
{
if (order == null) return;
}
в своем коде, поскольку они думают, что защищают свой класс, если кто-то передает параметр, имеющий...
585 просмотров
schedule
14.11.2021
Логнормальные случайные числа в определенном диапазоне в Matlab
Я хочу разработать логнормальное распределение с диапазоном [0.42,1.19], несколько элементов которого указаны как D=[1.19,1.00,0.84,0.71,0.59,0.50,0.42] . Среднее значение должно быть 0.84 , а стандартное отклонение - как можно меньшим. Также...
5915 просмотров
schedule
06.11.2021
Какой разреженный линейный решатель быстрее? SparseLU или BiCGSTAB?
Я протестировал методы Eigen SparseLU и BicGSTAB на некоторой разреженной матрице, размер плотных аналогов которой колеблется от 3000 * 3000 до 16000 * 16000. Все случаи показывают, что SparseLU примерно на 13% быстрее, чем метод BicGSTAB.
Я не...
1022 просмотров
schedule
19.11.2021
Предварительное условие и включение класса
Предположим, у меня есть следующий класс:
public class Player {
private Board board;
private int roundsPlayed = 0;
public void play() {
while (board.isAvailable() && roundsPlayed < 10) {
// playing on the board...
9 просмотров
schedule
18.06.2022
Предварительные условия Liquibase: как проверить, что столбец не может быть нулевым?
У меня есть сценарий обновления базы данных, чтобы удалить ненулевое ограничение для столбца. Я хочу выполнить предварительную проверку и вызвать ALTER TABLE только тогда, когда оно не равно нулю.
Сценарий master.xml — это прогрессивный...
11415 просмотров
schedule
13.07.2022
Использовать одну и ту же логику предварительных условий метода между контроллерами и службами?
У меня есть Service и Controller .
У каждого метода в сервисе свои предусловия, например:
public void doSomething(Parameter para1 , Parameter para2 ...) {
if ( something wrong ) {
throw new RuntimeException1();
}
if (...
185 просмотров
schedule
09.08.2022
Проверка предварительных условий Clojure без запуска функции?
У меня есть одна функция, которая выполняет некоторую (возможно, длительную) работу (defn workwork [x] ...) , и несколько других функций, чтобы заранее проверить, будет ли вызов успешным (defn workwork-precondition-1 [x] ...) .
Функции...
1078 просмотров
schedule
20.09.2022
Наибольший общий делитель — предварительные и постусловия
Ниже приведены предварительные и последующие условия для метода gcd.
pre: x > 0 & y > 0
post: result > 0 &
x mod result = 0 & y mod result = 0 &
∀t:Integer · t > 0 & x mod t = 0 & y mod t = 0 ⇒...
465 просмотров
schedule
20.06.2023
Не могут ли ослабление предусловий и усиление постусловий также нарушить принцип замещения Лискова?
Фактическое предусловие подтипа создается путем комбинирования (с использованием логических OR ) предварительных условий базового типа и предварительных условий подтипа , в результате чего результирующее предварительное условие менее...
2598 просмотров
schedule
25.01.2023
Какой смысл в гуаве checkNotNull
Я довольно новичок в Guava (давайте будем честными, я не «довольно новичок», я полный новичок в этом вопросе), поэтому я решил просмотреть некоторую документацию и был очень поражен, читая это:...
40352 просмотров
schedule
15.06.2023
Предварительные условия при настройке содержимого для ключа с помощью boto3
На boto2 мы можем сохранить объект, используя имя объекта Key в качестве ключа и предварительные условия (например, If-Match, If-None-Match и т. д.) внутри параметра dict заголовков, который будет отправлен с запросом PUT.
Пример:
# assume both...
122 просмотров
schedule
21.01.2023
Как проверить предварительное условие для деления Бурникеля и Циглера?
Алгоритм Burnikel и Ziegler «RecursiveDivision» для деления больших чисел имеет два предварительных условия, одно из которых: «Частное Q должно умещаться в n цифр». Как узнать, выполняется ли предварительное условие, не выполняя сначала деление?
269 просмотров
schedule
03.07.2023
Проверка предусловия и постусловия в публичных методах
Я читал документацию Oracle об использовании ключевое слово assert для проверки предварительных и постусловий метода.
В документе говорится, что можно использовать ключевое слово assert для проверки постусловий для методов public , но вы...
921 просмотров
schedule
15.06.2023
Планируется ли добавление ожиданий в std::Optional?
Эта тема является спорной, но я нахожусь в лагере, который считает, что предварительные условия и инварианты классов должны быть защищены утверждениями, которые завершают программу, если нарушается контракт соответствующего компонента ПО - до тех пор,...
211 просмотров
schedule
21.12.2022
ADA - предварительные и последующие условия не работают?
Я пытаюсь учиться на своих собственных предварительных и почтовых условиях в ada.
253 просмотров
schedule
18.05.2023
Проверка предусловия Dafny в сгенерированном коде
Мне было интересно, есть ли способ добавить проверки предварительных условий в сгенерированный код Dafny. Например, возьмем следующий фрагмент кода:
method MultipleReturns(x: int, y: int) returns (more: int, less: int)
requires 0 < y...
35 просмотров
schedule
25.12.2022
