Технический термин для ограничения на объект в императивном программировании

Question

Я знаю, что для этого есть технический термин, и я не могу его вспомнить:

При проектировании класса (или чего-то подобного с функциями и данными) каждый вызов методов объекта должен оставлять данные объекта в согласованном состоянии. «Согласованный» означает в соответствии с рядом (желательно документированных, обычно не запрограммированных) ограничений, называемых [X] s.

Answer 1

Я думаю, что вы получаете "инварианты".

Предварительные условия - это вещи, которые должны быть верны до выполнения метода. Инварианты - это вещи, которые всегда публично истина, а постусловия - вещи истинные после выполнения метода.