PostConditionAttribute.Constraint?Method?
[This is preliminary documentation and subject to change.]
事前条件の評価
Parameters
-
invocation
- 事後条件を判定するメソッド
-
returnValue
- 事後条件を判定する戻り値
-
outArguments
- 事後条件を判定する出力引数
Return Value
事後条件を満たすかどうか
See Also
PostConditionAttribute Class | Kodama.DbC.Constraint Namespace