Вопросы по теме 'preconditions'
Медленное утверждение Scala
Недавно мы профилировали наш код и натолкнулись на несколько раздражающих горячих точек. Они в форме
assert(a == b, a + " is not equal to " + b)
Поскольку некоторые из этих утверждений могут быть вызваны в коде огромное количество раз,...
1570 просмотров
schedule
20.10.2023
OCL: Как я могу написать предварительные и постусловия для операции max, чтобы найти максимальное значение из коллекции?
Я пытаюсь написать предварительные и последующие условия, чтобы найти максимальное значение коллекции «col». Я не совсем уверен, как это сделать, рекурсивно, поэтому мне было интересно, может ли кто-нибудь помочь!
pre: true
post: result = ...
5423 просмотров
schedule
11.05.2023
Java: слабое предварительное условие и сильное постусловие, как это сделать?
Мне очень трудно понять, как должны работать предварительные и постусловия, не нарушая Принцип замещения. Итак, давайте предположим, что у нас есть класс Rectangle и Square — как их связать? Какой из них должен быть подклассом?
Итак, я...
1494 просмотров
schedule
21.11.2022
Аксиоматическая семантика - Как рассчитать самое слабое предварительное условие
Вот пример:
x = y + 1;
y = y - 2;
{y < 3}
Какое предусловие является самым слабым в этом примере?
Я думаю, что, возможно, y ‹ 3 является ответом.
Если нет, то не могли бы вы подробно рассказать, почему?
3282 просмотров
schedule
27.05.2023
Проверьте, не нуль или не 0 в предварительном условии Liquibase
В настоящее время у меня проблема с предварительными условиями Liquibase. Я хотел бы вставить что-то, только если запрос предварительного условия не отвечает 0 или null... Я объясняю:
<changeSet id="myId" author="myName">
<preConditions...
4364 просмотров
schedule
15.07.2022