Kodama |

# PostConditionAttribute.Constraint?Method?

[This is preliminary documentation and subject to change.]

事前条件の評価

public?bool?Constraint(
???MethodInvocation?invocation,
???object?returnValue,
???object[]?outArguments
);

#### Parameters

invocation
  事後条件を判定するメソッド
returnValue
  事後条件を判定する戻り値
outArguments
  事後条件を判定する出力引数

#### Return Value

事後条件を満たすかどうか

#### See Also

PostConditionAttribute Class | Kodama.DbC.Constraint Namespace