Kodama

PostConditionAttribute?Constructor?

[This is preliminary documentation and subject to change.]

コンストラクタ

public?PostConditionAttribute(
???string?exp
);

Parameters

exp
事前条件の式

Remarks

式はJScript形式で指定します

See Also

PostConditionAttribute Class | Kodama.DbC.Constraint Namespace