Может ли постусловие JML для метода класса содержать вызов другого вызова метода Например, у меня есть этот класс: public class A { public int doA(x) { ... } public int doB(int x, int y) { ... } } Для постусловия doB я...

Я пытаюсь написать предварительные и последующие условия, чтобы найти максимальное значение коллекции «col». Я не совсем уверен, как это сделать, рекурсивно, поэтому мне было интересно, может ли кто-нибудь помочь! pre: true post: result = ...

Я пытаюсь использовать исключение, как в классе ниже, но программа всегда дает сбой, когда я вызываю метод kivetel . Я думаю, что он просто вызовет повторную часть, чем удовлетворит постусловию. Но это не удается с нарушением postcond...

Мне было интересно, может ли кто-нибудь помочь мне ответить на этот вопрос. Это из предыдущей экзаменационной работы, и мне не помешало бы знать ответ, готовый к экзамену этого года. Этот вопрос кажется настолько простым, что я полностью теряюсь,...

Мне очень трудно понять, как должны работать предварительные и постусловия, не нарушая Принцип замещения. Итак, давайте предположим, что у нас есть класс Rectangle и Square — как их связать? Какой из них должен быть подклассом? Итак, я...

У меня есть задание, которое требует, чтобы я создал пустой связанный список key: LINKED_LIST [KEY] , другой связанный список data_items_1: LINKED_LIST [DATA1] и хеш-таблицу data_items_2: HASH_TABLE [DATA2, KEY] в конструкторе. Пост-условие,...