<gh_stars>1-10
{"breadcrumb_path":"/halfdotnet/toc.json","search.ms_sitename":"Docs","search.ms_docsetname":"halfdotnet","version":0,"locale":"en-us","site_name":"Docs","search.ms_product":"MSDN","depot_name":"MSDN.halfdotnet","ref_skeleton_gitcommit":"https://github.com/TianqiZhang/ECMA2YamlTestRepo/blob/1953e5bf3b3df5c71a159a322e33cc682ce4add9/halfdotnet/System.Diagnostics.Contracts/System.Diagnostics.Contracts.Contract.yml","original_ref_skeleton_git_url":"https://github.com/TianqiZhang/ECMA2YamlTestRepo/blob/migration/halfdotnet/System.Diagnostics.Contracts/System.Diagnostics.Contracts.Contract.yml","open_to_public_contributors":true,"api_name":["System.Diagnostics.Contracts.Contract","System.Diagnostics.Contracts.Contract.Assert","System.Diagnostics.Contracts.Contract.Assume","System.Diagnostics.Contracts.Contract.ContractFailed","System.Diagnostics.Contracts.Contract.add_ContractFailed","System.Diagnostics.Contracts.Contract.remove_ContractFailed","System.Diagnostics.Contracts.Contract.EndContractBlock","System.Diagnostics.Contracts.Contract.Ensures","System.Diagnostics.Contracts.Contract.EnsuresOnThrow","System.Diagnostics.Contracts.Contract.Exists","System.Diagnostics.Contracts.Contract.ForAll","System.Diagnostics.Contracts.Contract.Invariant","System.Diagnostics.Contracts.Contract.OldValue","System.Diagnostics.Contracts.Contract.Requires","System.Diagnostics.Contracts.Contract.Result","System.Diagnostics.Contracts.Contract.ValueAtReturn"],"api_location":["mscorlib.dll"],"topic_type":["apiref"],"api_type":["Assembly"],"f1_keywords":["System.Diagnostics.Contracts.Contract","System::Diagnostics::Contracts::Contract","System.Diagnostics.Contracts.Contract.Assert","System::Diagnostics::Contracts::Contract::Assert","System.Diagnostics.Contracts.Contract.Assume","System::Diagnostics::Contracts::Contract::Assume","System.Diagnostics.Contracts.Contract.ContractFailed","System::Diagnostics::Contracts::Contract::ContractFailed","System.Diagnostics.Contracts.Contract.EndContractBlock","System::Diagnostics::Contracts::Contract::EndContractBlock","System.Diagnostics.Contracts.Contract.Ensures","System::Diagnostics::Contracts::Contract::Ensures","System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1","System::Diagnostics::Contracts::Contract::EnsuresOnThrow``1","System.Diagnostics.Contracts.Contract.Exists","System::Diagnostics::Contracts::Contract::Exists","System.Diagnostics.Contracts.Contract.Exists``1","System::Diagnostics::Contracts::Contract::Exists``1","System.Diagnostics.Contracts.Contract.ForAll","System::Diagnostics::Contracts::Contract::ForAll","System.Diagnostics.Contracts.Contract.ForAll``1","System::Diagnostics::Contracts::Contract::ForAll``1","System.Diagnostics.Contracts.Contract.Invariant","System::Diagnostics::Contracts::Contract::Invariant","System.Diagnostics.Contracts.Contract.OldValue``1","System::Diagnostics::Contracts::Contract::OldValue``1","System.Diagnostics.Contracts.Contract.Requires","System::Diagnostics::Contracts::Contract::Requires","System.Diagnostics.Contracts.Contract.Requires``1","System::Diagnostics::Contracts::Contract::Requires``1","System.Diagnostics.Contracts.Contract.Result``1","System::Diagnostics::Contracts::Contract::Result``1","System.Diagnostics.Contracts.Contract.ValueAtReturn``1","System::Diagnostics::Contracts::Contract::ValueAtReturn``1"],"dev_langs":["csharp"],"updated_at":"2017-02-16 06:36 AM","document_id":"d2b1fa88-6aba-96b6-2fd9-500e9f157714","layout":"Reference","pagetype":"Reference","title":"Contract class | Microsoft Docs","toc_asset_id":"toc.json","toc_rel":"../toc.json","platforms":["net-11","net-20","netcore-10"],"content_git_url":"","source_url":"","ms.assetid":"System.Diagnostics.Contracts.Contract","canonical_url":"https://ppe.docs.microsoft.com/en-us/halfdotnet/system.diagnostics.contracts/system.diagnostics.contracts.contract","is_dynamic_rendering":false,"content_type":"text/html","publish_version":"{\"opbuild.templates.docs\":\"1.28.0-alpha-081-g501ae23\",\"commit_id\":\"c463338a38ee0cf171b48332bb4325e618b23055\",\"branch\":\"migration\",\"opbuild.scripts\":\"1.28.0-alpha-081-g501ae23\",\"opbuild.htmltopdftool\":\"1.28.0-alpha-081-g501ae23\",\"opbuild.gitcontributorinformationresolver\":\"1.28.0-alpha-081-g501ae23\",\"opbuild_service\":\"1.28.81.0\",\"docfx.console\":\"2.13.0-alpha-1199-g3fa481b\",\"opbuild.resolvedependencyconsole\":\"1.28.0-alpha-081-g501ae23\",\"opbuild.schemavalidationconsole\":\"1.28.0-alpha-081-g501ae23\",\"opbuild.redirectionresolver\":\"1.28.0-alpha-081-g501ae23\",\"opbuild.templates.intellisense\":\"1.28.0-alpha-081-g501ae23\",\"dependencies\":[{\"branch\":\"master\",\"path\":\"_themes\",\"url\":\"https://github.com/Microsoft/templates.docs.msft\",\"commit_id\":\"be77cfdb101840a69eabbfa9cdb134e565d77113\",\"opbuild.templates.common\":\"1.28.0-alpha-081-g501ae23\"}]}"}