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