Инвариант класса в OCL - это:
- a. описание результата операции-запроса, изменяющей элементы модели.
- b. условие, которое всегда справедливо для всех экземпляров класса.
- c. описание результата операции-запроса, не модифицирующей объекты.
- d. условие, которое должно быть истинно перед выполнением операции.
- e. условие, истинное всегда после выполнения операции.
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.