Property | Type | Description |
---|
Method | Description | |
---|---|---|
ContractException ( [ conditions ) : System |
Initializes a new instance of the ContractException class. This is used by System.Diagnostics.Contracts.Contract.Requires{ContractException}(bool).
|
|
ContractException ( [ conditions, [ message ) : System |
Initializes a new instance of the ContractException class. This is used by System.Diagnostics.Contracts.Contract.Requires{ContractException}(bool, string).
|
Method | Description | |
---|---|---|
ContractException ( [ resourceType, [ resourceProperty, [ conditions ) : System |
Initializes a new instance of the ContractException class.
|
public ContractException ( [ conditions ) : System | ||
conditions | [ | The conditions. |
return | System |
public ContractException ( [ conditions, [ message ) : System | ||
conditions | [ | The conditions. |
message | [ | The tag. |
return | System |
protected ContractException ( [ resourceType, [ resourceProperty, [ conditions ) : System | ||
resourceType | [ | Type of the resource. |
resourceProperty | [ | The resource property. |
conditions | [ | The conditions. |
return | System |