Вопросы по теме 'preconditions'

Медленное утверждение Scala
Недавно мы профилировали наш код и натолкнулись на несколько раздражающих горячих точек. Они в форме assert(a == b, a + " is not equal to " + b) Поскольку некоторые из этих утверждений могут быть вызваны в коде огромное количество раз,...
1570 просмотров

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