// Discover to Manage
Code Contracts for .NET
Enterprise Deployment Package for
Code Contracts for .NET
| Publisher | Microsoft |
|---|---|
| License Type | Proprietary software |
| Product Homepage | https://docs.microsoft.com/en-us/dotnet/framework/debug-trace-profile/code-contracts |
Description:
Code contracts provide a way to specify preconditions, postconditions, and object invariants in .NET Framework code. Preconditions are requirements that must be met when entering a method or property. Postconditions describe expectations at the time the method or property code exits. Object invariants describe the expected state for a class that is in a good state.
Contact our experts
Are you interested in our Package Store, need further information, or have other questions? We will support you with your request – contact us today.
Code Contracts for .NET
Code Contracts for .NET
Description:
Code contracts provide a way to specify preconditions, postconditions, and object invariants in .NET Framework code. Preconditions are requirements that must be met when entering a method or property. Postconditions describe expectations at the time the method or property code exits. Object invariants describe the expected state for a class that is in a good state.
Contact our experts
Are you interested in our Package Store, need further information, or have other questions? We will support you with your request – contact us today.
