Kodama

PreConditionAttribute.Constraint?Method?

[This is preliminary documentation and subject to change.]

事後条件の評価

public?bool?Constraint(
???MethodInvocation?invocation
);

Parameters

invocation
事前条件を判定するメソッド

Return Value

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

See Also

PreConditionAttribute Class | Kodama.DbC.Constraint Namespace