메소드 |
설명 |
|
AddContract ( [ provider, IExpression>.[ getContractExpression, [ parameter, [ body, ICSharpStatement &firstNonContractStatement ) : void |
|
|
AddContractForEnsures ( [ provider, IExpression>.[ getContractExpression, [ parameter, [ body, ICSharpStatement &firstNonContractStatement ) : void |
|
|
AddContractForRequires ( [ provider, IExpression>.[ getContractExpression, [ parameter, [ body, ICSharpStatement &firstNonContractStatement ) : void |
|
|
ParameterContractInfo ( ContractKind contractKind, [ declaration, [ type ) : System |
|
|