Вопросы по теме 'vdm++'

Ошибка Overture: имя «BinBuilder ()» не входит в область действия
Я выполнял упражнения из книги, посвященной итеративному построению всего приложения. Написав четыре класса, я пишу пятый, который является тестом для четвертого. Однако Overture сообщает об ошибке «Имя BinBuilder () не входит в область действия»;...
154 просмотров
schedule 06.04.2024

Как использовать предварительное условие, чтобы гарантировать, что входные данные имеют тип только int
Допустим, у меня есть функция, которая возвращает меньшее из двух входных значений типа int . Я хочу установить предварительное условие, разрешающее только a и b типа int . class Example functions min: int * int -> int min(a, b) ==...
29 просмотров