[This is preliminary documentation and subject to change.]
事後条件の評価
事後条件を満たすかどうか
PreConditionAttribute Class | Kodama.DbC.Constraint Namespace