Что написать в этом контракте

Question

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

У меня есть сценарий использования Генерация пользовательских отчетов.

Взаимодействие пользователя с системой setParametersforReport(),

В этой функции он будет устанавливать атрибуты, такие как student_rollNumber или же marks, или же warning count или что-нибудь еще, что он хочет увидеть в отчете.

Однако я не совсем понимаю, что писать в условиях почтового контракта.

3 вещи, которые я должен упомянуть:

1. Созданные экземпляры
2. Ассоциации сформированы или разрушены
3. Атрибуты изменены

Я не понимаю, что написать в этом и как объяснить, так как на самом деле ничего не создается. У меня есть все данные, которые я хочу в базе данных, и я получаю к ним доступ без классов. Я запутался, потому что экземпляр базы данных не может быть создан.

Пожалуйста, любая помощь будет оценена.

Answer 1

Постусловия используются для указания состояния системы в конце выполнения операции. В вашем случае, похоже, что состояние в конце системы совпадает с состоянием в начале, поскольку вы не изменяете базу данных (и вы также не сохраняете экземпляр отчета). Поэтому я не вижу смысла в определении контракта для этой операции.