preconditions

2зной

5ответ

Пользовательские исключения с гуавы предусловий

Это очень простой вопрос, я часто использую com.google.common.base.Preconditions в своих проектах для проверки аргументов и параметров, например: Preconditions.checkNotNull(parameter, "message"); Prec

java guava preconditions 2013-12-20

---

3зной

1ответ

Как класс инвариант усиливает pre и post-conditions?

Link Вы можете думать о классе инварианта в качестве критерия здоровья, которые должны быть выполнены всеми объектами между операциями. В качестве предварительного условия каждой публичной операции кл

domain-driven-design design-by-contract invariants preconditions post-conditions 2013-05-02

---

0зной

6ответ

Предварительное условие против пост-состояния в java?

Например, у меня есть следующий код: public class Calc(){ final int PI = 3.14; //is this an invariant? private int calc(int a, int b){ return a + b; //would the parameters be pr

java preconditions post-conditions 2013-10-01

---

7зной

5ответ

Нельзя ли ослабить предпосылки и усилить постусловия, также нарушить Принцип замены Лискова?

Фактическая предпосылка подтипа создается путем объединения (с помощью логического OR) предпосылки базового типа и предпосылки подтипа, что делает в результате предварительного условияменее ограничите

inheritance lsp preconditions post-conditions 2013-05-08

---

0зной

1ответ

Расширение/компонент Joomla Form с предварительным условием SQL для перенаправления страницы

Я хотел бы узнать, есть ли расширение/компонент Joomla, которое позволяет мне запрашивать внутреннюю таблицу; Если результатом запроса является «1», отобразите форму, в которой пользователь может отпр

sql redirect joomla components preconditions 2014-01-22

---

1зной

1ответ

Предпосылки не работают с GNAT?

Я все еще новичок в Ada, и я думаю, что не понимаю, как использовать Preconditions, потому что, просматривая GNAT RM, кажется, что проверки не выполняются во время выполнения. Кроме того, GNAT RM для

ada gnat preconditions 2013-08-28

---

0зной

2ответ

Java - метод Предпосылки и постусловие

Мой вопрос короткий. Предусмотрены ли предварительные условия и постусловия метода компилятором?

java preconditions post-conditions 2014-02-12

---