事前条件

Preconditionとは、Operationを契約に従って呼び出す前に、呼び出し側が成立させる必要があるConstraintです。

SimpleModelingでは、現在のState、入力値、関連Objectの条件などをPreconditionとして明示します。Preconditionを満たさない呼び出しに対して、OperationのPostconditionを保証するとは扱いません。