Update 07082021
This commit is contained in:
BIN
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/System.Diagnostics.Contracts.dll
vendored
Normal file
BIN
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/System.Diagnostics.Contracts.dll
vendored
Normal file
Binary file not shown.
334
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/System.Diagnostics.Contracts.xml
vendored
Normal file
334
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/System.Diagnostics.Contracts.xml
vendored
Normal file
@@ -0,0 +1,334 @@
|
||||
<?xml version="1.0" encoding="utf-8"?>
|
||||
<doc>
|
||||
<assembly>
|
||||
<name>System.Diagnostics.Contracts</name>
|
||||
</assembly>
|
||||
<members>
|
||||
<member name="T:System.Diagnostics.Contracts.Contract">
|
||||
<summary>Contains static methods for representing program contracts such as preconditions, postconditions, and object invariants.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
|
||||
<summary>Checks for a condition; if the condition is false, follows the escalation policy set for the analyzer.</summary>
|
||||
<param name="condition">The conditional expression to test.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
|
||||
<summary>Checks for a condition; if the condition is false, follows the escalation policy set by the analyzer and displays the specified message.</summary>
|
||||
<param name="condition">The conditional expression to test.</param>
|
||||
<param name="userMessage">A message to display if the condition is not met.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
|
||||
<summary>Instructs code analysis tools to assume that the specified condition is true, even if it cannot be statically proven to always be true.</summary>
|
||||
<param name="condition">The conditional expression to assume true.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
|
||||
<summary>Instructs code analysis tools to assume that a condition is true, even if it cannot be statically proven to always be true, and displays a message if the assumption fails.</summary>
|
||||
<param name="condition">The conditional expression to assume true.</param>
|
||||
<param name="userMessage">The message to post if the assumption fails.</param>
|
||||
</member>
|
||||
<member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
|
||||
<summary>Occurs when a contract fails.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
|
||||
<summary>Marks the end of the contract section when a method's contracts contain only preconditions in the if-then-throw form.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
|
||||
<summary>Specifies a postcondition contract for the enclosing method or property.</summary>
|
||||
<param name="condition">The conditional expression to test. The expression may include <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" />, <see cref="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)" />, and <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" /> values. </param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
|
||||
<summary>Specifies a postcondition contract for a provided exit condition and a message to display if the condition is false.</summary>
|
||||
<param name="condition">The conditional expression to test. The expression may include <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> and <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" /> values. </param>
|
||||
<param name="userMessage">The message to display if the expression is not true.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
|
||||
<summary>Specifies a postcondition contract for the enclosing method or property, based on the provided exception and condition.</summary>
|
||||
<param name="condition">The conditional expression to test.</param>
|
||||
<typeparam name="TException">The type of exception that invokes the postcondition check.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
|
||||
<summary>Specifies a postcondition contract and a message to display if the condition is false for the enclosing method or property, based on the provided exception and condition.</summary>
|
||||
<param name="condition">The conditional expression to test.</param>
|
||||
<param name="userMessage">The message to display if the expression is false.</param>
|
||||
<typeparam name="TException">The type of exception that invokes the postcondition check.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>Determines whether an element within a collection of elements exists within a function.</summary>
|
||||
<returns>true if and only if <paramref name="predicate" /> returns true for any element of type <paramref name="T" /> in <paramref name="collection" />.</returns>
|
||||
<param name="collection">The collection from which elements of type <paramref name="T" /> will be drawn to pass to <paramref name="predicate" />.</param>
|
||||
<param name="predicate">The function to evaluate for an element in <paramref name="collection" />.</param>
|
||||
<typeparam name="T">The type that is contained in <paramref name="collection" />.</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>Determines whether a specified test is true for any integer within a range of integers.</summary>
|
||||
<returns>true if <paramref name="predicate" /> returns true for any integer starting from <paramref name="fromInclusive" /> to <paramref name="toExclusive" /> - 1.</returns>
|
||||
<param name="fromInclusive">The first integer to pass to <paramref name="predicate" />.</param>
|
||||
<param name="toExclusive">One more than the last integer to pass to <paramref name="predicate" />.</param>
|
||||
<param name="predicate">The function to evaluate for any value of the integer in the specified range.</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>Determines whether all the elements in a collection exist within a function.</summary>
|
||||
<returns>true if and only if <paramref name="predicate" /> returns true for all elements of type <paramref name="T" /> in <paramref name="collection" />.</returns>
|
||||
<param name="collection">The collection from which elements of type <paramref name="T" /> will be drawn to pass to <paramref name="predicate" />.</param>
|
||||
<param name="predicate">The function to evaluate for the existence of all the elements in <paramref name="collection" />.</param>
|
||||
<typeparam name="T">The type that is contained in <paramref name="collection" />.</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>Determines whether a particular condition is valid for all integers in a specified range.</summary>
|
||||
<returns>true if <paramref name="predicate" /> returns true for all integers starting from <paramref name="fromInclusive" /> to <paramref name="toExclusive" /> - 1.</returns>
|
||||
<param name="fromInclusive">The first integer to pass to <paramref name="predicate" />.</param>
|
||||
<param name="toExclusive">One more than the last integer to pass to <paramref name="predicate" />.</param>
|
||||
<param name="predicate">The function to evaluate for the existence of the integers in the specified range.</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)">
|
||||
<summary>Specifies an invariant contract for the enclosing method or property. </summary>
|
||||
<param name="condition">The conditional expression to test.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
|
||||
<summary>Specifies an invariant contract for the enclosing method or property, and displays a message if the condition for the contract fails.</summary>
|
||||
<param name="condition">The conditional expression to test.</param>
|
||||
<param name="userMessage">The message to display if the condition is false.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)">
|
||||
<summary>Represents values as they were at the start of a method or property.</summary>
|
||||
<returns>The value of the parameter or field at the start of a method or property.</returns>
|
||||
<param name="value">The value to represent (field or parameter).</param>
|
||||
<typeparam name="T">The type of value.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
|
||||
<summary>Specifies a precondition contract for the enclosing method or property, and throws an exception if the condition for the contract fails.</summary>
|
||||
<param name="condition">The conditional expression to test.</param>
|
||||
<typeparam name="TException">The exception to throw if the condition is false.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
|
||||
<summary>Specifies a precondition contract for the enclosing method or property.</summary>
|
||||
<param name="condition">The conditional expression to test.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
|
||||
<summary>Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails.</summary>
|
||||
<param name="condition">The conditional expression to test.</param>
|
||||
<param name="userMessage">The message to display if the condition is false.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
|
||||
<summary>Specifies a precondition contract for the enclosing method or property, and throws an exception with the provided message if the condition for the contract fails.</summary>
|
||||
<param name="condition">The conditional expression to test.</param>
|
||||
<param name="userMessage">The message to display if the condition is false.</param>
|
||||
<typeparam name="TException">The exception to throw if the condition is false.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Result``1">
|
||||
<summary>Represents the return value of a method or property.</summary>
|
||||
<returns>Return value of the enclosing method or property.</returns>
|
||||
<typeparam name="T">Type of return value of the enclosing method or property.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)">
|
||||
<summary>Represents the final (output) value of an out parameter when returning from a method.</summary>
|
||||
<returns>The output value of the out parameter.</returns>
|
||||
<param name="value">The out parameter.</param>
|
||||
<typeparam name="T">The type of the out parameter.</typeparam>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute">
|
||||
<summary>Defines abbreviations that you can use in place of the full contract syntax.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractAbbreviatorAttribute.#ctor">
|
||||
<summary>Initializes a new instance of the <see cref="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute" /> class.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute">
|
||||
<summary>Enables the factoring of legacy if-then-throw code into separate methods for reuse, and provides full control over thrown exceptions and arguments.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute.#ctor">
|
||||
<summary>Initializes a new instance of the <see cref="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute" /> class.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassAttribute">
|
||||
<summary>Specifies that a separate type contains the code contracts for this type.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassAttribute.#ctor(System.Type)">
|
||||
<summary>Initializes a new instance of the <see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" /> class. </summary>
|
||||
<param name="typeContainingContracts">The type that contains the code contracts for this type.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassAttribute.TypeContainingContracts">
|
||||
<summary>Gets the type that contains the code contracts for this type.</summary>
|
||||
<returns>The type that contains the code contracts for this type. </returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
|
||||
<summary>Specifies that a class is a contract for a type.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassForAttribute.#ctor(System.Type)">
|
||||
<summary>Initializes a new instance of the <see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" /> class, specifying the type the current class is a contract for. </summary>
|
||||
<param name="typeContractsAreFor">The type the current class is a contract for.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassForAttribute.TypeContractsAreFor">
|
||||
<summary>Gets the type that this code contract applies to. </summary>
|
||||
<returns>The type that this contract applies to.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailedEventArgs">
|
||||
<summary>Provides methods and data for the <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> event.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.#ctor(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>Provides data for the <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> event.</summary>
|
||||
<param name="failureKind">One of the enumeration values that specifies the contract that failed.</param>
|
||||
<param name="message">The message for the event.</param>
|
||||
<param name="condition">The condition for the event.</param>
|
||||
<param name="originalException">The exception that caused the event.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Condition">
|
||||
<summary>Gets the condition for the failure of the contract.</summary>
|
||||
<returns>The condition for the failure.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.FailureKind">
|
||||
<summary>Gets the type of contract that failed.</summary>
|
||||
<returns>One of the enumeration values that specifies the type of contract that failed.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled">
|
||||
<summary>Indicates whether the <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> event has been handled.</summary>
|
||||
<returns>true if the event has been handled; otherwise, false. </returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Message">
|
||||
<summary>Gets the message that describes the <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> event.</summary>
|
||||
<returns>The message that describes the event.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.OriginalException">
|
||||
<summary>Gets the original exception that caused the <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> event.</summary>
|
||||
<returns>The exception that caused the event.</returns>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetHandled">
|
||||
<summary>Sets the <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled" /> property to true.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetUnwind">
|
||||
<summary>Sets the <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind" /> property to true.</summary>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind">
|
||||
<summary>Indicates whether the code contract escalation policy should be applied.</summary>
|
||||
<returns>true to apply the escalation policy; otherwise, false. The default is false.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailureKind">
|
||||
<summary>Specifies the type of contract that failed. </summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assert">
|
||||
<summary>An <see cref="Overload:System.Diagnostics.Contracts.Contract.Assert" /> contract failed.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assume">
|
||||
<summary>An <see cref="Overload:System.Diagnostics.Contracts.Contract.Assume" /> contract failed.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Invariant">
|
||||
<summary>An <see cref="Overload:System.Diagnostics.Contracts.Contract.Invariant" /> contract failed.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Postcondition">
|
||||
<summary>An <see cref="Overload:System.Diagnostics.Contracts.Contract.Ensures" /> contract failed. </summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException">
|
||||
<summary>An <see cref="Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow" /> contract failed.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Precondition">
|
||||
<summary>A <see cref="Overload:System.Diagnostics.Contracts.Contract.Requires" /> contract failed.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
|
||||
<summary>Marks a method as being the invariant method for a class.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractInvariantMethodAttribute.#ctor">
|
||||
<summary>Initializes a new instance of the <see cref="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute" /> class. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractOptionAttribute">
|
||||
<summary>Enables you to set contract and tool options at assembly, type, or method granularity.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.Boolean)">
|
||||
<summary>Initializes a new instance of the <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> class by using the provided category, setting, and enable/disable value.</summary>
|
||||
<param name="category">The category for the option to be set.</param>
|
||||
<param name="setting">The option setting.</param>
|
||||
<param name="enabled">true to enable the option; false to disable the option.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.String)">
|
||||
<summary>Initializes a new instance of the <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> class by using the provided category, setting, and value.</summary>
|
||||
<param name="category">The category of the option to be set.</param>
|
||||
<param name="setting">The option setting.</param>
|
||||
<param name="value">The value for the setting.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Category">
|
||||
<summary>Gets the category of the option.</summary>
|
||||
<returns>The category of the option.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Enabled">
|
||||
<summary>Determines if an option is enabled.</summary>
|
||||
<returns>true if the option is enabled; otherwise, false.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Setting">
|
||||
<summary>Gets the setting for the option.</summary>
|
||||
<returns>The setting for the option.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Value">
|
||||
<summary>Gets the value for the option.</summary>
|
||||
<returns>The value for the option.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute">
|
||||
<summary>Specifies that a field can be used in method contracts when the field has less visibility than the method. </summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.#ctor(System.String)">
|
||||
<summary>Initializes a new instance of the <see cref="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute" /> class. </summary>
|
||||
<param name="name">The property name to apply to the field.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.Name">
|
||||
<summary>Gets the property name to be applied to the field.</summary>
|
||||
<returns>The property name to be applied to the field.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute">
|
||||
<summary>Specifies that an assembly is a reference assembly that contains contracts.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute.#ctor">
|
||||
<summary>Initializes a new instance of the <see cref="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute" /> class. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute">
|
||||
<summary>Identifies a member that has no run-time behavior.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute.#ctor">
|
||||
<summary>Initializes a new instance of the <see cref="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute" /> class. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractVerificationAttribute">
|
||||
<summary>Instructs analysis tools to assume the correctness of an assembly, type, or member without performing static verification.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractVerificationAttribute.#ctor(System.Boolean)">
|
||||
<summary>Initializes a new instance of the <see cref="T:System.Diagnostics.Contracts.ContractVerificationAttribute" /> class. </summary>
|
||||
<param name="value">true to require verification; otherwise, false. </param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractVerificationAttribute.Value">
|
||||
<summary>Gets the value that indicates whether to verify the contract of the target. </summary>
|
||||
<returns>true if verification is required; otherwise, false.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.PureAttribute">
|
||||
<summary>Indicates that a type or method is pure, that is, it does not make any visible state changes.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.PureAttribute.#ctor">
|
||||
<summary>Initializes a new instance of the <see cref="T:System.Diagnostics.Contracts.PureAttribute" /> class. </summary>
|
||||
</member>
|
||||
<member name="T:System.Runtime.CompilerServices.ContractHelper">
|
||||
<summary>Provides methods that the binary rewriter uses to handle contract failures.</summary>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>Used by the binary rewriter to activate the default failure behavior.</summary>
|
||||
<returns>A null reference (Nothing in Visual Basic) if the event was handled and should not trigger a failure; otherwise, returns the localized failure message.</returns>
|
||||
<param name="failureKind">One of the enumeration values that specifies the type of failure.</param>
|
||||
<param name="userMessage">Additional user information.</param>
|
||||
<param name="conditionText">The description of the condition that caused the failure.</param>
|
||||
<param name="innerException">The inner exception that caused the current exception.</param>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="failureKind" /> is not a valid <see cref="T:System.Diagnostics.Contracts.ContractFailureKind" /> value.</exception>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)">
|
||||
<summary>Triggers the default failure behavior.</summary>
|
||||
<param name="kind">One of the enumeration values that specifies the type of failure.</param>
|
||||
<param name="displayMessage">The message to display.</param>
|
||||
<param name="userMessage">Additional user information.</param>
|
||||
<param name="conditionText">The description of the condition that caused the failure.</param>
|
||||
<param name="innerException">The inner exception that caused the current exception.</param>
|
||||
</member>
|
||||
</members>
|
||||
</doc>
|
||||
334
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/de/System.Diagnostics.Contracts.xml
vendored
Normal file
334
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/de/System.Diagnostics.Contracts.xml
vendored
Normal file
@@ -0,0 +1,334 @@
|
||||
<?xml version="1.0" encoding="utf-8"?>
|
||||
<doc>
|
||||
<assembly>
|
||||
<name>System.Diagnostics.Contracts</name>
|
||||
</assembly>
|
||||
<members>
|
||||
<member name="T:System.Diagnostics.Contracts.Contract">
|
||||
<summary>Enthält statische Methoden zum Darstellen von Programmverträgen, z. B. Vorbedingungen, Nachbedingungen und Objektinvarianten.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
|
||||
<summary>Überprüft eine Bedingung. Wenn die Bedingung false ist, wird die festgelegte Ausweitungsrichtlinie für den Analyzer angewendet.</summary>
|
||||
<param name="condition">Der bedingte Ausdruck, der getestet werden soll.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
|
||||
<summary>Überprüft eine Bedingung. Wenn die Bedingung false ist, wird die vom Analyzer festgelegte Ausweitungsrichtlinie angewendet und die angegebene Meldung angezeigt.</summary>
|
||||
<param name="condition">Der bedingte Ausdruck, der getestet werden soll.</param>
|
||||
<param name="userMessage">Eine Meldung, die angezeigt wird, wenn die Bedingung nicht erfüllt wird.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
|
||||
<summary>Weist Codeanalysetools an, für eine Bedingung das Ergebnis true anzunehmen, auch wenn nicht statisch belegt werden kann, dass sie immer true ist.</summary>
|
||||
<param name="condition">Der auszuwertende bedingte Ausdruck, für den true angenommen werden soll.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
|
||||
<summary>Weist Codeanalysetools an, für eine Bedingung das Ergebnis true anzunehmen, auch wenn nicht statisch belegt werden kann, dass sie immer true ist, und zeigt eine Meldung an, wenn die Annahme fehlschlägt.</summary>
|
||||
<param name="condition">Der auszuwertende bedingte Ausdruck, für den true angenommen werden soll.</param>
|
||||
<param name="userMessage">Die Meldung, die angezeigt wird, wenn die Annahme fehlschlägt.</param>
|
||||
</member>
|
||||
<member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
|
||||
<summary>Tritt auf, wenn ein Vertrag fehlschlägt.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
|
||||
<summary>Markiert das Ende des Vertragsabschnitts, wenn die Verträge einer Methode nur Vorbedingungen im if-then-throw-Format enthalten.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
|
||||
<summary>Gibt einen Nachbedingungsvertrag für die einschließende Methode oder Eigenschaft an.</summary>
|
||||
<param name="condition">Der bedingte Ausdruck, der getestet werden soll.Der Ausdruck kann folgende Werte enthalten: <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" />, <see cref="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)" /> und <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
|
||||
<summary>Gibt einen Nachbedingungsvertrag für eine vorhandene Exit-Bedingung und eine Meldung an, die angezeigt wird, wenn die Bedingung false ist.</summary>
|
||||
<param name="condition">Der bedingte Ausdruck, der getestet werden soll.Der Ausdruck kann folgende Werte enthalten: <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> und <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
|
||||
<param name="userMessage">Die Meldung, die angezeigt wird, wenn der Ausdruck nicht true ist.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
|
||||
<summary>Gibt einen Nachbedingungsvertrag für die einschließende Methode oder Eigenschaft auf Grundlage der angegebenen Ausnahme und Bedingung an.</summary>
|
||||
<param name="condition">Der bedingte Ausdruck, der getestet werden soll.</param>
|
||||
<typeparam name="TException">Der Ausnahmetyp, von dem die Nachbedingungsüberprüfung aufgerufen wird.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
|
||||
<summary>Gibt auf Grundlage der angegebenen Ausnahme und Bedingung einen Nachbedingungsvertrag für die Ausnahme und Bedingung und eine Meldung an, die angezeigt wird, wenn die Bedingung false ist.</summary>
|
||||
<param name="condition">Der bedingte Ausdruck, der getestet werden soll.</param>
|
||||
<param name="userMessage">Die Meldung, die angezeigt werden soll, wenn die Bedingung false lautet.</param>
|
||||
<typeparam name="TException">Der Ausnahmetyp, von dem die Nachbedingungsüberprüfung aufgerufen wird.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>Bestimmt, ob ein Element in einer Auflistung von Elementen in einer Funktion vorhanden ist.</summary>
|
||||
<returns>true, wenn <paramref name="predicate" /> für ein beliebiges Element des Typs <paramref name="T" /> in <paramref name="collection" />true zurückgibt.</returns>
|
||||
<param name="collection">Die Auflistung, aus der Elemente des Typs <paramref name="T" /> an <paramref name="predicate" /> übergeben werden.</param>
|
||||
<param name="predicate">Die Funktion, mit der überprüft wird, ob ein Element in <paramref name="collection" /> vorhanden ist.</param>
|
||||
<typeparam name="T">Der in <paramref name="collection" /> enthaltene Typ.</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>Bestimmt, ob ein bestimmter Test für jede ganze Zahl in einem Bereich von ganzen Zahlen den den Wert true zurückgibt.</summary>
|
||||
<returns>true, wenn <paramref name="predicate" /> für eine beliebige ganze Zahl zwischen <paramref name="fromInclusive" /> und <paramref name="toExclusive" /> -1 true zurückgibt.</returns>
|
||||
<param name="fromInclusive">Die erste ganze Zahl, die an <paramref name="predicate" /> übergeben werden soll.</param>
|
||||
<param name="toExclusive">Die letzte ganze Zahl, die an <paramref name="predicate" /> übergeben werden soll, +1.</param>
|
||||
<param name="predicate">Die Funktion zum Auswerten auf Ganzzahlwerte im angegebenen Bereich.</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>Bestimmt, ob alle Elemente in einer Auflistung in einer Funktion vorhanden sind.</summary>
|
||||
<returns>true, wenn <paramref name="predicate" /> für alle Elemente des Typs <paramref name="T" /> in <paramref name="collection" />true zurückgibt.</returns>
|
||||
<param name="collection">Die Auflistung, aus der Elemente des Typs <paramref name="T" /> an <paramref name="predicate" /> übergeben werden.</param>
|
||||
<param name="predicate">Die Funktion, mit der überprüft wird, ob alle Elemente in <paramref name="collection" /> vorhanden sind.</param>
|
||||
<typeparam name="T">Der in <paramref name="collection" /> enthaltene Typ.</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>Bestimmt, ob eine angegebene Bedingung für alle ganzen Zahlen in einem angegebenen Bereich gültig ist.</summary>
|
||||
<returns>true, wenn <paramref name="predicate" /> für alle ganzen Zahlen zwischen <paramref name="fromInclusive" /> und <paramref name="toExclusive" /> -1 true zurückgibt.</returns>
|
||||
<param name="fromInclusive">Die erste ganze Zahl, die an <paramref name="predicate" /> übergeben werden soll.</param>
|
||||
<param name="toExclusive">Die letzte ganze Zahl, die an <paramref name="predicate" /> übergeben werden soll, +1.</param>
|
||||
<param name="predicate">Die Funktion, mit der überprüft wird, ob die ganzen Zahlen im angegebenen Bereich vorhanden sind.</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)">
|
||||
<summary>Gibt einen invarianten Vertrag für die einschließende Methode oder Eigenschaft an. </summary>
|
||||
<param name="condition">Der bedingte Ausdruck, der getestet werden soll.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
|
||||
<summary>Gibt einen invarianten Vertrag für die einschließende Methode oder Eigenschaft an und zeigt eine Meldung an, wenn die Bedingung für den Vertrag nicht erfüllt wird.</summary>
|
||||
<param name="condition">Der bedingte Ausdruck, der getestet werden soll.</param>
|
||||
<param name="userMessage">Die Meldung, die angezeigt werden soll, wenn die Bedingung false lautet.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)">
|
||||
<summary>Stellt Werte in ihrem Zustand beim Starten einer Methode oder einer Eigenschaft dar.</summary>
|
||||
<returns>Der Wert des Parameters oder Felds am Anfang einer Methode oder Eigenschaft.</returns>
|
||||
<param name="value">Der darzustellende Wert (Feld oder Parameter).</param>
|
||||
<typeparam name="T">Der Typ des Werts.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
|
||||
<summary>Gibt einen Vorbedingungsvertrag für die einschließende Methode oder Eigenschaft an, und löst eine Ausnahme aus, wenn die Bedingung für den Vertrag nicht erfüllt wird.</summary>
|
||||
<param name="condition">Der bedingte Ausdruck, der getestet werden soll.</param>
|
||||
<typeparam name="TException">Die Ausnahme, die ausgelöst wird, wenn die Bedingung false ist.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
|
||||
<summary>Gibt einen Vorbedingungsvertrag für die einschließende Methode oder Eigenschaft an.</summary>
|
||||
<param name="condition">Der bedingte Ausdruck, der getestet werden soll.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
|
||||
<summary>Gibt einen Vorbedingungsvertrag für die einschließende Methode oder Eigenschaft an, und zeigt eine Meldung an, wenn die Bedingung für den Vertrag nicht erfüllt wird.</summary>
|
||||
<param name="condition">Der bedingte Ausdruck, der getestet werden soll.</param>
|
||||
<param name="userMessage">Die Meldung, die angezeigt werden soll, wenn die Bedingung false lautet.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
|
||||
<summary>Gibt einen Vorbedingungsvertrag für die einschließende Methode oder Eigenschaft an, und löst eine Ausnahme mit der angegebenen Meldung aus, wenn die Bedingung für den Vertrag nicht erfüllt wird.</summary>
|
||||
<param name="condition">Der bedingte Ausdruck, der getestet werden soll.</param>
|
||||
<param name="userMessage">Die Meldung, die angezeigt werden soll, wenn die Bedingung false lautet.</param>
|
||||
<typeparam name="TException">Die Ausnahme, die ausgelöst wird, wenn die Bedingung false ist.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Result``1">
|
||||
<summary>Stellt den Rückgabewert einer Methode oder Eigenschaft dar.</summary>
|
||||
<returns>Der Rückgabewert der einschließenden Methode oder Eigenschaft.</returns>
|
||||
<typeparam name="T">Der Typ des Rückgabewerts der einschließenden Methode oder Eigenschaft.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)">
|
||||
<summary>Stellt den von einer Methode zurückgegebenen endgültigen Wert (Ausgabewert) eines out-Parameters dar.</summary>
|
||||
<returns>Der Ausgabewert des out-Parameters.</returns>
|
||||
<param name="value">Der out-Parameter.</param>
|
||||
<typeparam name="T">Der Typ des out-Parameters.</typeparam>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute">
|
||||
<summary>Definiert Abkürzungen, die Sie anstelle der vollständigen Vertragssyntax verwenden können.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractAbbreviatorAttribute.#ctor">
|
||||
<summary>Initialisiert eine neue Instanz der <see cref="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute" />-Klasse.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute">
|
||||
<summary>Aktiviert die Verarbeitung von Legacy if-then-throw-Code in separate Methoden zur Wiederverwendung und stellt die vollständige Kontrolle über ausgelösten Ausnahmen und Argumenten bereit.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute.#ctor">
|
||||
<summary>Initialisiert eine neue Instanz der <see cref="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute" />-Klasse.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassAttribute">
|
||||
<summary>Gibt an, dass ein separater Typ die Codeverträge für diesen Typ enthält.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassAttribute.#ctor(System.Type)">
|
||||
<summary>Initialisiert eine neue Instanz der <see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" />-Klasse. </summary>
|
||||
<param name="typeContainingContracts">Der Typ, der die Codeverträge für diesen Typ enthält.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassAttribute.TypeContainingContracts">
|
||||
<summary>Ruft den Typ ab, der die Codeverträge für diesen Typ enthält.</summary>
|
||||
<returns>Der Typ, der die Codeverträge für diesen Typ enthält. </returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
|
||||
<summary>Gibt an, dass eine Klasse ein Vertrag für einen Typ ist.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassForAttribute.#ctor(System.Type)">
|
||||
<summary>Initialisiert eine neue Instanz der <see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" />-Klasse und gibt den Typ an, für den die aktuelle Klasse ein Vertrag ist. </summary>
|
||||
<param name="typeContractsAreFor">Der Typ, für den die aktuelle Klasse ein Vertrag ist.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassForAttribute.TypeContractsAreFor">
|
||||
<summary>Ruft den Typ ab, für den dieser Codevertrag gilt. </summary>
|
||||
<returns>Der Typ, für den dieser Vertrag gilt.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailedEventArgs">
|
||||
<summary>Stellt Methoden und Daten für das <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />-Ereignis bereit.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.#ctor(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>Stellt Daten für das <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />-Ereignis bereit.</summary>
|
||||
<param name="failureKind">Einer der Enumerationswerte, der den fehlgeschlagenen Vertrag angibt.</param>
|
||||
<param name="message">Die Meldung für das Ereignis.</param>
|
||||
<param name="condition">Die Bedingung für das Ereignis.</param>
|
||||
<param name="originalException">Die Ausnahme, durch die das Ereignis verursacht wurde.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Condition">
|
||||
<summary>Ruft die Bedingung für den Fehler des Vertrags ab.</summary>
|
||||
<returns>Die Bedingung für den Fehler.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.FailureKind">
|
||||
<summary>Ruft den Typ des fehlgeschlagenen Vertrags ab.</summary>
|
||||
<returns>Einer der Enumerationswerte, der den Typ des fehlgeschlagenen Vertrags angibt.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled">
|
||||
<summary>Gibt an, ob das <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />-Ereignis behandelt wurde.</summary>
|
||||
<returns>true, wenn das Ereignis behandelt wurde, andernfalls false. </returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Message">
|
||||
<summary>Ruft die Meldung ab, in der das <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />-Ereignis beschrieben wird.</summary>
|
||||
<returns>Die Meldung, in der das Ereignis beschrieben wird.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.OriginalException">
|
||||
<summary>Ruft die ursprüngliche Ausnahme ab, durch die das <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />-Ereignis verursacht wurde.</summary>
|
||||
<returns>Die Ausnahme, durch die das Ereignis verursacht wurde.</returns>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetHandled">
|
||||
<summary>Legt die <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled" />-Eigenschaft auf true fest.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetUnwind">
|
||||
<summary>Legt die <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind" />-Eigenschaft auf true fest.</summary>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind">
|
||||
<summary>Gibt an, ob die Ausweitungsrichtlinie für den Codevertrag angewendet werden soll.</summary>
|
||||
<returns>true, um die Ausweitungsrichtlinie anzuwenden, andernfalls false.Die Standardeinstellung ist false.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailureKind">
|
||||
<summary>Gibt den Typ des fehlgeschlagenen Vertrags an. </summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assert">
|
||||
<summary>Ein fehlgeschlagener <see cref="Overload:System.Diagnostics.Contracts.Contract.Assert" />-Vertrag.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assume">
|
||||
<summary>Ein fehlgeschlagener <see cref="Overload:System.Diagnostics.Contracts.Contract.Assume" />-Vertrag.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Invariant">
|
||||
<summary>Ein fehlgeschlagener <see cref="Overload:System.Diagnostics.Contracts.Contract.Invariant" />-Vertrag.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Postcondition">
|
||||
<summary>Ein fehlgeschlagener <see cref="Overload:System.Diagnostics.Contracts.Contract.Ensures" />-Vertrag. </summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException">
|
||||
<summary>Ein fehlgeschlagener <see cref="Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow" />-Vertrag.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Precondition">
|
||||
<summary>Ein fehlgeschlagener <see cref="Overload:System.Diagnostics.Contracts.Contract.Requires" />-Vertrag.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
|
||||
<summary>Markiert eine Methode als invariante Methode für eine Klasse.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractInvariantMethodAttribute.#ctor">
|
||||
<summary>Initialisiert eine neue Instanz der <see cref="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute" />-Klasse. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractOptionAttribute">
|
||||
<summary>Ermöglicht es Ihnen, Vertrags- und Tool-Optionen in der Assembly, am Typ oder Methodengranularität festzulegen.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.Boolean)">
|
||||
<summary>Initialisiert eine neue Instanz der <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" />-Klasse unter Verwendung der angegebenen Kategorie, Einstellung und des aktivieren/deaktivieren-Werts.</summary>
|
||||
<param name="category">Die Kategorie für die festzulegende Option.</param>
|
||||
<param name="setting">Die Optionseinstellung.</param>
|
||||
<param name="enabled">true, um die Option zu aktivieren; false, um die Option zu deaktivieren.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.String)">
|
||||
<summary>Initialisiert eine neue Instanz der <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" />-Klasse unter Verwendung der angegebenen Kategorie, Einstellung und des Werts.</summary>
|
||||
<param name="category">Die Kategorie der festzulegenden Option.</param>
|
||||
<param name="setting">Die Optionseinstellung.</param>
|
||||
<param name="value">Der Wert für diese Einstellung.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Category">
|
||||
<summary>Ruft die Kategorie der Option ab.</summary>
|
||||
<returns>Die Kategorie der Option.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Enabled">
|
||||
<summary>Bestimmt, ob eine Option aktiviert ist.</summary>
|
||||
<returns>true, wenn die Option aktiviert ist, andernfalls false.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Setting">
|
||||
<summary>Ruft die Einstellung für die Option ab.</summary>
|
||||
<returns>Die Einstellung für die Option.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Value">
|
||||
<summary>Ruft den Wert der Option ab.</summary>
|
||||
<returns>Der Wert für die Option.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute">
|
||||
<summary>Gibt an, dass ein Feld in Methodenverträgen verwendet werden kann, wenn die Sichtbarkeit des Felds geringer ist als die der Methode. </summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.#ctor(System.String)">
|
||||
<summary>Initialisiert eine neue Instanz der <see cref="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute" />-Klasse. </summary>
|
||||
<param name="name">Der für das Feld zu übernehmende Eigenschaftenname.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.Name">
|
||||
<summary>Ruft den für das Feld zu übernehmenden Eigenschaftennamen ab.</summary>
|
||||
<returns>Der für das Feld zu übernehmende Eigenschaftenname.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute">
|
||||
<summary>Gibt an, dass eine Assembly eine Verweisassembly ist, die Verträge enthält.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute.#ctor">
|
||||
<summary>Initialisiert eine neue Instanz der <see cref="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute" />-Klasse. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute">
|
||||
<summary>Identifiziert einen Member ohne Laufzeitverhalten.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute.#ctor">
|
||||
<summary>Initialisiert eine neue Instanz der <see cref="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute" />-Klasse. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractVerificationAttribute">
|
||||
<summary>Weist Analysetools an, die Korrektheit einer Assembly, eines Typs oder eines Members ohne statische Überprüfung anzunehmen.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractVerificationAttribute.#ctor(System.Boolean)">
|
||||
<summary>Initialisiert eine neue Instanz der <see cref="T:System.Diagnostics.Contracts.ContractVerificationAttribute" />-Klasse. </summary>
|
||||
<param name="value">true, um die Überprüfung als erforderlich festzulegen, andernfalls false. </param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractVerificationAttribute.Value">
|
||||
<summary>Ruft den Wert ab, der angibt, ob der Vertrag des Ziels überprüft werden soll. </summary>
|
||||
<returns>true, wenn die Überprüfung erforderlich ist, andernfalls false.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.PureAttribute">
|
||||
<summary>Gibt an, dass ein Typ oder eine Methode rein ist, d. h., keine sichtbaren Zustandsänderungen vornimmt.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.PureAttribute.#ctor">
|
||||
<summary>Initialisiert eine neue Instanz der <see cref="T:System.Diagnostics.Contracts.PureAttribute" />-Klasse. </summary>
|
||||
</member>
|
||||
<member name="T:System.Runtime.CompilerServices.ContractHelper">
|
||||
<summary>Stellt Methoden bereit, mit denen der binäre Rewriter Vertragsfehler behandelt.</summary>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>Wird vom binären Rewriter verwendet, um das Standardfehlerverhalten zu aktivieren.</summary>
|
||||
<returns>Ein NULL-Verweis (Nothing in Visual Basic), wenn das Ereignis behandelt wurde und keinen Fehler auslösen soll. Andernfalls wird die lokalisierte Fehlermeldung zurückgegeben.</returns>
|
||||
<param name="failureKind">Einer der Enumerationswerte, der den Typ der Fehlfunktion angibt.</param>
|
||||
<param name="userMessage">Weitere Informationen für den Benutzer.</param>
|
||||
<param name="conditionText">Die Beschreibung der Bedingung, die den Fehler verursacht hat.</param>
|
||||
<param name="innerException">Die interne Ausnahme, durch die die aktuelle Ausnahme verursacht wurde.</param>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="failureKind" /> ist kein gültiger <see cref="T:System.Diagnostics.Contracts.ContractFailureKind" />-Wert.</exception>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)">
|
||||
<summary>Löst das Standardfehlerverhalten aus.</summary>
|
||||
<param name="kind">Einer der Enumerationswerte, der den Typ der Fehlfunktion angibt.</param>
|
||||
<param name="displayMessage">Die anzuzeigende Meldung.</param>
|
||||
<param name="userMessage">Weitere Informationen für den Benutzer.</param>
|
||||
<param name="conditionText">Die Beschreibung der Bedingung, die den Fehler verursacht hat.</param>
|
||||
<param name="innerException">Die interne Ausnahme, durch die die aktuelle Ausnahme verursacht wurde.</param>
|
||||
</member>
|
||||
</members>
|
||||
</doc>
|
||||
334
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/es/System.Diagnostics.Contracts.xml
vendored
Normal file
334
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/es/System.Diagnostics.Contracts.xml
vendored
Normal file
@@ -0,0 +1,334 @@
|
||||
<?xml version="1.0" encoding="utf-8"?>
|
||||
<doc>
|
||||
<assembly>
|
||||
<name>System.Diagnostics.Contracts</name>
|
||||
</assembly>
|
||||
<members>
|
||||
<member name="T:System.Diagnostics.Contracts.Contract">
|
||||
<summary>Contiene métodos estáticos para representar contratos del programa como condiciones previas, condiciones posteriores y objetos invariables.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
|
||||
<summary>Comprueba una condición; si es false, sigue la directiva de elevación establecida para el analizador.</summary>
|
||||
<param name="condition">Expresión condicional que se va a probar.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
|
||||
<summary>Comprueba una condición; si es false, sigue la directiva de elevación establecida por el analizador y muestra el mensaje especificado.</summary>
|
||||
<param name="condition">Expresión condicional que se va a probar.</param>
|
||||
<param name="userMessage">Mensaje para mostrar si no se cumple la condición.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
|
||||
<summary>Indica a las herramientas de análisis de código que supongan que la condición especificada es true, aun cuando no se pueda demostrar estáticamente que siempre sea true.</summary>
|
||||
<param name="condition">Expresión condicional que se supone que es true.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
|
||||
<summary>Indica a las herramientas de análisis de código que supongan que una condición es true, aun cuando no se puede demostrar estáticamente que siempre es true, y muestra un mensaje si la hipótesis es errónea.</summary>
|
||||
<param name="condition">Expresión condicional que se supone que es true.</param>
|
||||
<param name="userMessage">Mensaje que se muestra si se produce un error en la suposición.</param>
|
||||
</member>
|
||||
<member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
|
||||
<summary>Se produce cuando un contrato da error.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
|
||||
<summary>Marca el final de la sección de contrato cuando los contratos de un método solo contienen condiciones previas con el formato if-then-throw.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
|
||||
<summary>Especifica un contrato de condición posterior para el método o la propiedad envolvente.</summary>
|
||||
<param name="condition">Expresión condicional que se va a probar.La expresión puede incluir los valores <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" />, <see cref="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)" /> y <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
|
||||
<summary>Especifica un contrato de condición posterior para una condición de salida proporcionada y un mensaje para mostrar si la condición es false.</summary>
|
||||
<param name="condition">Expresión condicional que se va a probar.La expresión puede incluir los valores <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> y <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
|
||||
<param name="userMessage">Mensaje para mostrar si la expresión no es true.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
|
||||
<summary>Especifica un contrato de condición posterior para el método o la propiedad envolvente, a partir de la excepción y condición proporcionadas.</summary>
|
||||
<param name="condition">Expresión condicional que se va a probar.</param>
|
||||
<typeparam name="TException">El tipo de excepción que invoca la comprobación de la condición posterior.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
|
||||
<summary>Especifica un contrato de condición posterior para el método o la propiedad envolvente, y un mensaje para mostrar si la condición es false, a partir de la excepción y condición proporcionadas.</summary>
|
||||
<param name="condition">Expresión condicional que se va a probar.</param>
|
||||
<param name="userMessage">Mensaje para mostrar si la expresión es false.</param>
|
||||
<typeparam name="TException">El tipo de excepción que invoca la comprobación de la condición posterior.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>Determina si un elemento de una colección de elementos existe dentro de una función.</summary>
|
||||
<returns>Es true si y solo si <paramref name="predicate" /> devuelve true para cualquier elemento de tipo <paramref name="T" /> en <paramref name="collection" />.</returns>
|
||||
<param name="collection">Colección de la que se extraen elementos de tipo <paramref name="T" /> para pasar a <paramref name="predicate" />.</param>
|
||||
<param name="predicate">Función para evaluar un elemento en <paramref name="collection" />.</param>
|
||||
<typeparam name="T">Tipo que está contenido en <paramref name="collection" />.</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>Determina si una prueba especificada es true para cualquier entero dentro de un intervalo de enteros.</summary>
|
||||
<returns>Es true si <paramref name="predicate" /> devuelve true para cualquier entero entre <paramref name="fromInclusive" /> y <paramref name="toExclusive" /> - 1.</returns>
|
||||
<param name="fromInclusive">Primer entero que se pasa a <paramref name="predicate" />.</param>
|
||||
<param name="toExclusive">Uno más que el último entero que se pasa a <paramref name="predicate" />.</param>
|
||||
<param name="predicate">Función que se evalúa para cualquier valor del entero en el intervalo especificado.</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>Determina si todos los elementos de una colección existen dentro de una función.</summary>
|
||||
<returns>Es true si y solo si <paramref name="predicate" /> devuelve true para todos los elementos de tipo <paramref name="T" /> en <paramref name="collection" />.</returns>
|
||||
<param name="collection">Colección de la que se extraen elementos de tipo <paramref name="T" /> para pasar a <paramref name="predicate" />.</param>
|
||||
<param name="predicate">Función que se evalúa para comprobar la existencia de todos los elementos en <paramref name="collection" />.</param>
|
||||
<typeparam name="T">Tipo que está contenido en <paramref name="collection" />.</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>Determina si una condición determinada es válida para todos los enteros de un intervalo especificado.</summary>
|
||||
<returns>Es true si <paramref name="predicate" /> devuelve true para todos los enteros entre <paramref name="fromInclusive" /> y <paramref name="toExclusive" /> - 1.</returns>
|
||||
<param name="fromInclusive">Primer entero que se pasa a <paramref name="predicate" />.</param>
|
||||
<param name="toExclusive">Uno más que el último entero que se pasa a <paramref name="predicate" />.</param>
|
||||
<param name="predicate">Función que se evalúa para comprobar la existencia de enteros en el rango especificado.</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)">
|
||||
<summary>Especifica un contrato invariable para el método o propiedad envolvente. </summary>
|
||||
<param name="condition">Expresión condicional que se va a probar.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
|
||||
<summary>Especifica un contrato invariable para el método o propiedad envolvente, y muestra un mensaje si la condición del contrato da error.</summary>
|
||||
<param name="condition">Expresión condicional que se va a probar.</param>
|
||||
<param name="userMessage">Mensaje que se va a mostrar si la condición es false.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)">
|
||||
<summary>Representa los valores como eran al principio de un método o propiedad.</summary>
|
||||
<returns>El valor del parámetro o del campo del inicio de un método o propiedad.</returns>
|
||||
<param name="value">Valor que se va a representar (campo o parámetro).</param>
|
||||
<typeparam name="T">Tipo del valor.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
|
||||
<summary>Especifica un contrato de condición previa para el método o propiedad envolvente, y produce una excepción si no se cumple la condición del contrato.</summary>
|
||||
<param name="condition">Expresión condicional que se va a probar.</param>
|
||||
<typeparam name="TException">Excepción que se produce si la condición es false.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
|
||||
<summary>Especifica un contrato de condición previa para el método o propiedad envolvente.</summary>
|
||||
<param name="condition">Expresión condicional que se va a probar.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
|
||||
<summary>Especifica un contrato de condición previa para el método o propiedad envolvente, y muestra un mensaje si la condición del contrato da error.</summary>
|
||||
<param name="condition">Expresión condicional que se va a probar.</param>
|
||||
<param name="userMessage">Mensaje que se va a mostrar si la condición es false.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
|
||||
<summary>Especifica un contrato de condición previa para el método o propiedad envolvente, y produce una excepción con el mensaje proporcionado si no se cumple la condición del contrato.</summary>
|
||||
<param name="condition">Expresión condicional que se va a probar.</param>
|
||||
<param name="userMessage">Mensaje que se va a mostrar si la condición es false.</param>
|
||||
<typeparam name="TException">Excepción que se produce si la condición es false.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Result``1">
|
||||
<summary>Representa el valor devuelto de un método o propiedad.</summary>
|
||||
<returns>Valor devuelto del método o propiedad envolvente.</returns>
|
||||
<typeparam name="T">Tipo del valor devuelto del método o propiedad envolvente.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)">
|
||||
<summary>Representa el valor final (resultado) de un parámetro out cuando se devuelve de un método.</summary>
|
||||
<returns>Valor de salida del parámetro out.</returns>
|
||||
<param name="value">Parámetro out.</param>
|
||||
<typeparam name="T">Tipo del parámetro out.</typeparam>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute">
|
||||
<summary>Define las abreviaturas que puede usar en lugar de la sintaxis completa de contrato.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractAbbreviatorAttribute.#ctor">
|
||||
<summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute" />.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute">
|
||||
<summary>Habilita la factorización de código if-then-throw heredado en métodos independientes para su reutilización, y proporciona el control completo sobre los argumentos y excepciones producidas.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute.#ctor">
|
||||
<summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute" />.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassAttribute">
|
||||
<summary>Especifica que un tipo independiente contiene los contratos de código para este tipo.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassAttribute.#ctor(System.Type)">
|
||||
<summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" />. </summary>
|
||||
<param name="typeContainingContracts">Tipo que contiene los contratos de código para este tipo.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassAttribute.TypeContainingContracts">
|
||||
<summary>Obtiene el tipo que contiene los contratos de código para este tipo.</summary>
|
||||
<returns>Tipo que contiene los contratos de código para este tipo. </returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
|
||||
<summary>Especifica que una clase es un contrato para un tipo.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassForAttribute.#ctor(System.Type)">
|
||||
<summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" />, especificando el tipo para el cual la clase actual es un contrato. </summary>
|
||||
<param name="typeContractsAreFor">Tipo para el cual la clase actual es un contrato.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassForAttribute.TypeContractsAreFor">
|
||||
<summary>Obtiene el tipo al que se aplica este contrato de código. </summary>
|
||||
<returns>Tipo al que se aplica este contrato.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailedEventArgs">
|
||||
<summary>Proporciona métodos y datos para el evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.#ctor(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>Proporciona datos para el evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
<param name="failureKind">Uno de los valores de enumeración que especifica el contrato que produjo el error.</param>
|
||||
<param name="message">El mensaje del evento.</param>
|
||||
<param name="condition">Condición para el evento.</param>
|
||||
<param name="originalException">Excepción que ha producido el evento.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Condition">
|
||||
<summary>Obtiene la condición para el error del contrato.</summary>
|
||||
<returns>La condición para el error.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.FailureKind">
|
||||
<summary>Obtiene el tipo de contrato que produjo el error.</summary>
|
||||
<returns>Uno de los valores de enumeración que especifica el tipo de contrato que produjo el error.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled">
|
||||
<summary>Indica si el evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> se ha controlado.</summary>
|
||||
<returns>Es true si se ha controlado el evento; en caso contrario, es false. </returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Message">
|
||||
<summary>Obtiene el mensaje que describe el evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
<returns>El mensaje que describe el evento.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.OriginalException">
|
||||
<summary>Obtiene la excepción original que produjo el evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
<returns>Excepción que ha producido el evento.</returns>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetHandled">
|
||||
<summary>Establece la propiedad <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled" /> en true.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetUnwind">
|
||||
<summary>Establece la propiedad <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind" /> en true.</summary>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind">
|
||||
<summary>Indica si se debe aplicar la directiva de elevación de contrato de código.</summary>
|
||||
<returns>true para aplicar la directiva de elevación; de lo contrario, false.El valor predeterminado es false.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailureKind">
|
||||
<summary>Especifica el tipo de contrato en el que se produjo un error. </summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assert">
|
||||
<summary>Se produjo un error en un contrato <see cref="Overload:System.Diagnostics.Contracts.Contract.Assert" />.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assume">
|
||||
<summary>Se produjo un error en un contrato <see cref="Overload:System.Diagnostics.Contracts.Contract.Assume" />.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Invariant">
|
||||
<summary>Se produjo un error en un contrato <see cref="Overload:System.Diagnostics.Contracts.Contract.Invariant" />.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Postcondition">
|
||||
<summary>Se produjo un error en un contrato <see cref="Overload:System.Diagnostics.Contracts.Contract.Ensures" />. </summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException">
|
||||
<summary>Se produjo un error en un contrato <see cref="Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow" />.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Precondition">
|
||||
<summary>Se produjo un error en un contrato <see cref="Overload:System.Diagnostics.Contracts.Contract.Requires" />.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
|
||||
<summary>Marca un método como método invariable de una clase.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractInvariantMethodAttribute.#ctor">
|
||||
<summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractOptionAttribute">
|
||||
<summary>Permite establecer opciones de contrato y herramienta en el ensamblado, tipo o granularidad del método.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.Boolean)">
|
||||
<summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> usando la categoría, configuración y valor para habilitar/deshabilitar especificados.</summary>
|
||||
<param name="category">La categoría para establecer la opción.</param>
|
||||
<param name="setting">El valor de la opción.</param>
|
||||
<param name="enabled">true para habilitar la opción; false para deshabilitar la opción.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.String)">
|
||||
<summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> usando la categoría, configuración y valor especificados.</summary>
|
||||
<param name="category">La categoría de la opción que se va a establecer.</param>
|
||||
<param name="setting">El valor de la opción.</param>
|
||||
<param name="value">Valor para la configuración.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Category">
|
||||
<summary>Obtiene la categoría de la opción.</summary>
|
||||
<returns>La categoría de la opción.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Enabled">
|
||||
<summary>Determina si se habilita una opción.</summary>
|
||||
<returns>true si la opción está habilitada; de lo contrario, false.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Setting">
|
||||
<summary>Obtiene el valor de la opción.</summary>
|
||||
<returns>El valor de la opción.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Value">
|
||||
<summary>Obtiene el valor de la opción.</summary>
|
||||
<returns>Valor de la opción.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute">
|
||||
<summary>Especifica que un campo se puede usar en contratos de método cuando tenga menos visibilidad que el método. </summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.#ctor(System.String)">
|
||||
<summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute" />. </summary>
|
||||
<param name="name">El nombre de la propiedad que se va a aplicar al campo.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.Name">
|
||||
<summary>Obtiene el nombre de la propiedad que se va a aplicar al campo.</summary>
|
||||
<returns>Nombre de la propiedad que se aplica al campo.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute">
|
||||
<summary>Especifica que un ensamblado es un ensamblado de referencia que contiene contratos.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute.#ctor">
|
||||
<summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute">
|
||||
<summary>Identifica un miembro que no tiene ningún comportamiento en tiempo de ejecución.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute.#ctor">
|
||||
<summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractVerificationAttribute">
|
||||
<summary>Indica a las herramientas de análisis que supongan la exactitud de un ensamblado, tipo o miembro sin realizar ninguna comprobación estática.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractVerificationAttribute.#ctor(System.Boolean)">
|
||||
<summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.ContractVerificationAttribute" />. </summary>
|
||||
<param name="value">true para requerir la comprobación; de lo contrario, false. </param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractVerificationAttribute.Value">
|
||||
<summary>Obtiene el valor que indica si se va a comprobar el contrato del destino. </summary>
|
||||
<returns>Es true si la comprobación es necesaria; de lo contrario, es false.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.PureAttribute">
|
||||
<summary>Indica que un tipo o método es puro, es decir, no realiza ningún cambio en el estado de visibilidad.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.PureAttribute.#ctor">
|
||||
<summary>Inicializa una nueva instancia de la clase <see cref="T:System.Diagnostics.Contracts.PureAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Runtime.CompilerServices.ContractHelper">
|
||||
<summary>Proporciona métodos que el sistema de reescritura binario emplea para administrar errores de contrato.</summary>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>Es empleado por el sistema de reescritura binario para activar el comportamiento de error predeterminado.</summary>
|
||||
<returns>Referencia null (Nothing en Visual Basic) si el evento se controló y no debería desencadenar un error; de lo contrario, devuelve el mensaje de error localizado.</returns>
|
||||
<param name="failureKind">Uno de los valores de enumeración que especifica el nivel de error.</param>
|
||||
<param name="userMessage">Información de usuario adicional.</param>
|
||||
<param name="conditionText">Descripción de la condición que provocó el error.</param>
|
||||
<param name="innerException">Excepción interna que provocó la excepción actual.</param>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="failureKind" /> no es un valor <see cref="T:System.Diagnostics.Contracts.ContractFailureKind" /> válido.</exception>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)">
|
||||
<summary>Desencadena el comportamiento de error predeterminado.</summary>
|
||||
<param name="kind">Uno de los valores de enumeración que especifica el nivel de error.</param>
|
||||
<param name="displayMessage">Mensaje que se va a mostrar.</param>
|
||||
<param name="userMessage">Información de usuario adicional.</param>
|
||||
<param name="conditionText">Descripción de la condición que provocó el error.</param>
|
||||
<param name="innerException">Excepción interna que provocó la excepción actual.</param>
|
||||
</member>
|
||||
</members>
|
||||
</doc>
|
||||
334
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/fr/System.Diagnostics.Contracts.xml
vendored
Normal file
334
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/fr/System.Diagnostics.Contracts.xml
vendored
Normal file
@@ -0,0 +1,334 @@
|
||||
<?xml version="1.0" encoding="utf-8"?>
|
||||
<doc>
|
||||
<assembly>
|
||||
<name>System.Diagnostics.Contracts</name>
|
||||
</assembly>
|
||||
<members>
|
||||
<member name="T:System.Diagnostics.Contracts.Contract">
|
||||
<summary>Contient des méthodes statiques pour représenter des contrats de programme tels que conditions préalables, post-conditions et invariants objet.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
|
||||
<summary>Vérifie une condition ; si la condition est false, suit la stratégie d'escalade définie pour l'analyseur.</summary>
|
||||
<param name="condition">Expression conditionnelle à tester.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
|
||||
<summary>Vérifie une condition ; si la condition est false, suit la stratégie d'escalade définie par l'analyseur et affiche le message spécifié.</summary>
|
||||
<param name="condition">Expression conditionnelle à tester.</param>
|
||||
<param name="userMessage">Message à afficher si la condition n'est pas remplie.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
|
||||
<summary>Fait en sorte que les outils d'analyse du code supposent que la condition spécifiée est true, même s'il ne peut pas être prouvé statiquement qu'elle est toujours true.</summary>
|
||||
<param name="condition">Expression conditionnelle à supposer comme true.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
|
||||
<summary>Fait en sorte que les outils d'analyse du code supposent qu'une condition est true, même s'il ne peut pas être prouvé statiquement qu'elle est toujours true, et affiche un message si l'hypothèse échoue.</summary>
|
||||
<param name="condition">Expression conditionnelle à supposer comme true.</param>
|
||||
<param name="userMessage">Message à envoyer si l'hypothèse échoue.</param>
|
||||
</member>
|
||||
<member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
|
||||
<summary>Se produit quand un contrat échoue.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
|
||||
<summary>Marque la fin de la section de contrat quand les contrats d'une méthode contiennent uniquement des conditions préalables sous la forme if-then-throw.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
|
||||
<summary>Spécifie un contrat de post-condition pour la méthode englobante ou la propriété.</summary>
|
||||
<param name="condition">Expression conditionnelle à tester.L'expression peut inclure des valeurs <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" />, <see cref="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)" /> et <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
|
||||
<summary>Spécifie un contrat de post-condition pour une condition de sortie fournie et un message à afficher si la condition est false.</summary>
|
||||
<param name="condition">Expression conditionnelle à tester.L'expression peut inclure des valeurs <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> et <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
|
||||
<param name="userMessage">Message à afficher si l'expression n'est pas true.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
|
||||
<summary>Spécifie un contrat de post-condition pour la méthode englobante ou la propriété en fonction de l'exception et de la condition fournies.</summary>
|
||||
<param name="condition">Expression conditionnelle à tester.</param>
|
||||
<typeparam name="TException">Type d'exception qui appelle la vérification de post-condition.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
|
||||
<summary>Spécifie un contrat de post-condition et un message à afficher si la condition est false pour la méthode englobante ou la propriété, en fonction de l'exception et de la condition fournies.</summary>
|
||||
<param name="condition">Expression conditionnelle à tester.</param>
|
||||
<param name="userMessage">Message à afficher si l'expression est false.</param>
|
||||
<typeparam name="TException">Type d'exception qui appelle la vérification de post-condition.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>Détermine si un élément dans une collection d'éléments existe dans une fonction.</summary>
|
||||
<returns>true si et uniquement si <paramref name="predicate" /> retourne la valeur true pour tout élément de type <paramref name="T" /> dans <paramref name="collection" />.</returns>
|
||||
<param name="collection">Collection à partir de laquelle des éléments de type <paramref name="T" /> seront extraits afin d'être passés à <paramref name="predicate" />.</param>
|
||||
<param name="predicate">Fonction à évaluer pour un élément dans <paramref name="collection" />.</param>
|
||||
<typeparam name="T">Type contenu dans <paramref name="collection" />.</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>Détermine si un test spécifié a la valeur True pour un entier figurant dans une plage d'entiers.</summary>
|
||||
<returns>true si <paramref name="predicate" /> retourne la valeur true pour tout entier à partir de <paramref name="fromInclusive" /> jusqu'à <paramref name="toExclusive" /> -1.</returns>
|
||||
<param name="fromInclusive">Premier entier à passer à <paramref name="predicate" />.</param>
|
||||
<param name="toExclusive">Dernier entier à passer à <paramref name="predicate" /> plus un.</param>
|
||||
<param name="predicate">Fonction à évaluer pour une valeur de l'entier de la plage spécifiée.</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>Détermine si tous les éléments dans une collection existent dans une fonction.</summary>
|
||||
<returns>true si et uniquement si <paramref name="predicate" /> retourne la valeur true pour tous les éléments de type <paramref name="T" /> dans <paramref name="collection" />.</returns>
|
||||
<param name="collection">Collection à partir de laquelle des éléments de type <paramref name="T" /> seront extraits afin d'être passés à <paramref name="predicate" />.</param>
|
||||
<param name="predicate">Fonction à évaluer pour l'existence de tous les éléments dans <paramref name="collection" />.</param>
|
||||
<typeparam name="T">Type contenu dans <paramref name="collection" />.</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>Détermine si une condition particulière est valide pour tous les entiers d'une étendue spécifiée.</summary>
|
||||
<returns>true si <paramref name="predicate" /> retourne la valeur true pour tous les entiers à partir de <paramref name="fromInclusive" /> jusqu'à <paramref name="toExclusive" /> -1.</returns>
|
||||
<param name="fromInclusive">Premier entier à passer à <paramref name="predicate" />.</param>
|
||||
<param name="toExclusive">Dernier entier à passer à <paramref name="predicate" /> plus un.</param>
|
||||
<param name="predicate">Fonction à évaluer pour l'existence des entiers dans la plage spécifiée.</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)">
|
||||
<summary>Spécifie un contrat indifférent pour la méthode englobante ou la propriété. </summary>
|
||||
<param name="condition">Expression conditionnelle à tester.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
|
||||
<summary>Spécifie un contrat indifférent préalable pour la méthode englobante ou la propriété, et affiche un message si la condition pour le contrat échoue.</summary>
|
||||
<param name="condition">Expression conditionnelle à tester.</param>
|
||||
<param name="userMessage">Message à afficher si la condition est false.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)">
|
||||
<summary>Représente les valeurs telles qu'elles étaient au démarrage d'une méthode ou d'une propriété.</summary>
|
||||
<returns>Valeur du paramètre ou champ au démarrage d'une méthode ou propriété.</returns>
|
||||
<param name="value">Valeur à représenter (champ ou paramètre).</param>
|
||||
<typeparam name="T">Type de valeur.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
|
||||
<summary>Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété, et lève une exception si la condition pour le contrat échoue.</summary>
|
||||
<param name="condition">Expression conditionnelle à tester.</param>
|
||||
<typeparam name="TException">Exception à lever si la condition est false.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
|
||||
<summary>Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété.</summary>
|
||||
<param name="condition">Expression conditionnelle à tester.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
|
||||
<summary>Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété, et affiche un message si la condition pour le contrat échoue.</summary>
|
||||
<param name="condition">Expression conditionnelle à tester.</param>
|
||||
<param name="userMessage">Message à afficher si la condition est false.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
|
||||
<summary>Spécifie un contrat de condition préalable pour la méthode englobante ou la propriété, et lève une exception avec le message fourni si la condition pour le contrat échoue.</summary>
|
||||
<param name="condition">Expression conditionnelle à tester.</param>
|
||||
<param name="userMessage">Message à afficher si la condition est false.</param>
|
||||
<typeparam name="TException">Exception à lever si la condition est false.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Result``1">
|
||||
<summary>Représente la valeur de retour d'une méthode ou propriété.</summary>
|
||||
<returns>Valeur de retour de la méthode englobante ou propriété.</returns>
|
||||
<typeparam name="T">Type de valeur de retour de la méthode englobante ou propriété.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)">
|
||||
<summary>Représente la valeur finale (sortie) d'un paramètre out au moment du retour d'une méthode.</summary>
|
||||
<returns>Valeur de sortie du paramètre out.</returns>
|
||||
<param name="value">Paramètre out.</param>
|
||||
<typeparam name="T">Type du paramètre out.</typeparam>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute">
|
||||
<summary>Définit des abréviations que vous pouvez utiliser à la place de la syntaxe complète de contrat.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractAbbreviatorAttribute.#ctor">
|
||||
<summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute" />.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute">
|
||||
<summary>Active la factorisation du code if-then-throw hérité dans des méthodes distinctes pour la réutilisation, et fournit un contrôle total sur les exceptions et les arguments levés.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute.#ctor">
|
||||
<summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute" />.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassAttribute">
|
||||
<summary>Spécifie qu'un type séparé contient les contrats de code pour ce type.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassAttribute.#ctor(System.Type)">
|
||||
<summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" />. </summary>
|
||||
<param name="typeContainingContracts">Type qui contient les contrats de code pour ce type.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassAttribute.TypeContainingContracts">
|
||||
<summary>Obtient le type qui contient les contrats de code pour ce type.</summary>
|
||||
<returns>Type qui contient les contrats de code pour ce type. </returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
|
||||
<summary>Spécifie qu'une classe est un contrat pour un type.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassForAttribute.#ctor(System.Type)">
|
||||
<summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" />, en spécifiant le type pour lequel la classe actuelle est un contrat. </summary>
|
||||
<param name="typeContractsAreFor">Type pour lequel la classe actuelle est un contrat.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassForAttribute.TypeContractsAreFor">
|
||||
<summary>Obtient le type auquel ce contrat de code s'applique. </summary>
|
||||
<returns>Type auquel ce contrat s'applique.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailedEventArgs">
|
||||
<summary>Fournit des méthodes et des données pour l'événement <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.#ctor(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>Fournit des données pour l'événement <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
<param name="failureKind">Une des valeurs d'énumération qui spécifie le contrat ayant échoué.</param>
|
||||
<param name="message">Message pour l'événement.</param>
|
||||
<param name="condition">Condition de l'événement.</param>
|
||||
<param name="originalException">Exception ayant provoqué l'événement.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Condition">
|
||||
<summary>Obtient la condition de l'échec du contrat.</summary>
|
||||
<returns>Condition de l'échec.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.FailureKind">
|
||||
<summary>Obtient le type de contrat ayant échoué.</summary>
|
||||
<returns>Une des valeurs d'énumération qui spécifie le type de contrat ayant échoué.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled">
|
||||
<summary>Indique si l'événement <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> a été géré.</summary>
|
||||
<returns>true si l'événement a été géré ; sinon, false. </returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Message">
|
||||
<summary>Obtient le message qui décrit l'événement <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
<returns>Message qui décrit l'événement.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.OriginalException">
|
||||
<summary>Obtient l'exception d'origine ayant provoqué l'événement <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
<returns>Exception ayant provoqué l'événement.</returns>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetHandled">
|
||||
<summary>Affecte la valeur true à la propriété <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled" />.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetUnwind">
|
||||
<summary>Affecte la valeur true à la propriété <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind" />.</summary>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind">
|
||||
<summary>Indique si la stratégie d'escalade de contrat de code doit être appliquée.</summary>
|
||||
<returns>true pour appliquer la stratégie d'escalade ; sinon, false.La valeur par défaut est false.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailureKind">
|
||||
<summary>Spécifie le type de contrat qui a échoué. </summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assert">
|
||||
<summary>Un contrat <see cref="Overload:System.Diagnostics.Contracts.Contract.Assert" /> a échoué.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assume">
|
||||
<summary>Un contrat <see cref="Overload:System.Diagnostics.Contracts.Contract.Assume" /> a échoué.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Invariant">
|
||||
<summary>Un contrat <see cref="Overload:System.Diagnostics.Contracts.Contract.Invariant" /> a échoué.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Postcondition">
|
||||
<summary>Un contrat <see cref="Overload:System.Diagnostics.Contracts.Contract.Ensures" /> a échoué. </summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException">
|
||||
<summary>Un contrat <see cref="Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow" /> a échoué.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Precondition">
|
||||
<summary>Un contrat <see cref="Overload:System.Diagnostics.Contracts.Contract.Requires" /> a échoué.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
|
||||
<summary>Marque une méthode comme étant la méthode indifférente pour une classe.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractInvariantMethodAttribute.#ctor">
|
||||
<summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractOptionAttribute">
|
||||
<summary>Permet de définir un contrat et des options d'outil pour la granularité d'assembly, de type ou de méthode.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.Boolean)">
|
||||
<summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> à l'aide de la catégorie, du paramètre et de la valeur activer/désactiver fournis.</summary>
|
||||
<param name="category">Catégorie de l'option à définir.</param>
|
||||
<param name="setting">Paramètre de l'option.</param>
|
||||
<param name="enabled">true pour activer l'option ; false pour désactiver l'option.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.String)">
|
||||
<summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> à l'aide de la catégorie, du paramètre et de la valeur fournis.</summary>
|
||||
<param name="category">Catégorie de l'option à définir.</param>
|
||||
<param name="setting">Paramètre de l'option.</param>
|
||||
<param name="value">Valeur pour le paramètre.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Category">
|
||||
<summary>Obtient la catégorie de l'option.</summary>
|
||||
<returns>Catégorie de l'option.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Enabled">
|
||||
<summary>Détermine si une option est activée.</summary>
|
||||
<returns>true si l'option est activée ; sinon false.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Setting">
|
||||
<summary>Obtient le paramètre pour l'option.</summary>
|
||||
<returns>Paramètre de l'option.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Value">
|
||||
<summary>Obtient la valeur pour l'option.</summary>
|
||||
<returns>Valeur de l'option.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute">
|
||||
<summary>Indique qu'un champ peut être utilisé dans les contrats de méthode lorsque le champ a moins de visibilité que la méthode. </summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.#ctor(System.String)">
|
||||
<summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute" />. </summary>
|
||||
<param name="name">Nom de la propriété à appliquer au champ.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.Name">
|
||||
<summary>Obtient le nom de la propriété à appliquer au champ.</summary>
|
||||
<returns>Nom de la propriété à appliquer au champ.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute">
|
||||
<summary>Spécifie qu'un assembly est un assembly de référence qui contient des contrats.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute.#ctor">
|
||||
<summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute">
|
||||
<summary>Identifie un membre qui n'a aucun comportement au moment de l'exécution.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute.#ctor">
|
||||
<summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractVerificationAttribute">
|
||||
<summary>Donne instruction aux outils d'analyse de considérer qu'un assembly, un type ou un membre est correct sans exécuter de vérification statique.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractVerificationAttribute.#ctor(System.Boolean)">
|
||||
<summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.ContractVerificationAttribute" />. </summary>
|
||||
<param name="value">true pour imposer la vérification ; sinon, false. </param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractVerificationAttribute.Value">
|
||||
<summary>Obtient la valeur qui indique s'il faut vérifier le contrat de la cible. </summary>
|
||||
<returns>true si la vérification est requise ; sinon, false.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.PureAttribute">
|
||||
<summary>Indique qu'un type ou une méthode est pur(e), autrement dit qu'il ou elle n'apporte pas de modifications d'état visibles.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.PureAttribute.#ctor">
|
||||
<summary>Initialise une nouvelle instance de la classe <see cref="T:System.Diagnostics.Contracts.PureAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Runtime.CompilerServices.ContractHelper">
|
||||
<summary>Fournit des méthodes que le module de réécriture binaire utilise pour gérer des échecs de contrats.</summary>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>Utilisé par le module de réécriture binaire pour activer le comportement d'échec par défaut.</summary>
|
||||
<returns>Référence null (Nothing en Visual Basic) si l'événement a été géré et qu'il ne doit pas déclencher d'échec ; sinon, retourne le message d'échec localisé.</returns>
|
||||
<param name="failureKind">L'une des valeurs d'énumération qui spécifie le type d'échec.</param>
|
||||
<param name="userMessage">Informations utilisateur supplémentaires.</param>
|
||||
<param name="conditionText">Description de la condition ayant provoqué l'échec.</param>
|
||||
<param name="innerException">Exception interne ayant provoqué l'exception actuelle.</param>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="failureKind" /> n'est pas une valeur <see cref="T:System.Diagnostics.Contracts.ContractFailureKind" /> valide.</exception>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)">
|
||||
<summary>Déclenche le comportement d'échec par défaut.</summary>
|
||||
<param name="kind">L'une des valeurs d'énumération qui spécifie le type d'échec.</param>
|
||||
<param name="displayMessage">Message à afficher.</param>
|
||||
<param name="userMessage">Informations utilisateur supplémentaires.</param>
|
||||
<param name="conditionText">Description de la condition ayant provoqué l'échec.</param>
|
||||
<param name="innerException">Exception interne ayant provoqué l'exception actuelle.</param>
|
||||
</member>
|
||||
</members>
|
||||
</doc>
|
||||
334
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/it/System.Diagnostics.Contracts.xml
vendored
Normal file
334
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/it/System.Diagnostics.Contracts.xml
vendored
Normal file
@@ -0,0 +1,334 @@
|
||||
<?xml version="1.0" encoding="utf-8"?>
|
||||
<doc>
|
||||
<assembly>
|
||||
<name>System.Diagnostics.Contracts</name>
|
||||
</assembly>
|
||||
<members>
|
||||
<member name="T:System.Diagnostics.Contracts.Contract">
|
||||
<summary>Contiene metodi statici per la rappresentazione di contratti di programma quali precondizioni, postcondizioni e invarianti dell'oggetto.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
|
||||
<summary>Controlla una condizione. Se la condizione è false, segue i criteri di escalation impostati per l'analizzatore.</summary>
|
||||
<param name="condition">Espressione condizionale da sottoporre a test.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
|
||||
<summary>Controlla una condizione. Se la condizione è false, segue i criteri di escalation impostati dall'analizzatore e visualizza un messaggio specificato.</summary>
|
||||
<param name="condition">Espressione condizionale da sottoporre a test.</param>
|
||||
<param name="userMessage">Messaggio da visualizzare se la condizione non è soddisfatta.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
|
||||
<summary>Indica agli strumenti di analisi del codice di presumere che la condizione specificata sia true, anche se non è possibile provare staticamente che sia sempre true.</summary>
|
||||
<param name="condition">Espressione condizionale da presumere che sia true.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
|
||||
<summary>Indica agli strumenti di analisi del codice di presumere che una condizione sia true, anche se non è possibile provare staticamente che sia sempre true. Se l'ipotesi ha esito negativo, viene visualizzato un messaggio.</summary>
|
||||
<param name="condition">Espressione condizionale da presumere che sia true.</param>
|
||||
<param name="userMessage">Messaggio da inserire se l'ipotesi ha esito negativo.</param>
|
||||
</member>
|
||||
<member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
|
||||
<summary>Si verifica quando un contratto ha esito negativo.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
|
||||
<summary>Contrassegna la fine della sezione del contratto quando i contratti di un metodo contengono solo precondizioni nel formato if-then-throw.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
|
||||
<summary>Specifica un contratto di postcondizione per il metodo o la proprietà contenitore.</summary>
|
||||
<param name="condition">Espressione condizionale da sottoporre a test.L'espressione potrebbe includere i valori <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" />, <see cref="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)" /> e <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
|
||||
<summary>Specifica un contratto di postcondizione per una condizione di uscita fornita e un messaggio da visualizzare se la condizione è false.</summary>
|
||||
<param name="condition">Espressione condizionale da sottoporre a test.L'espressione potrebbe includere i valori <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> e <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
|
||||
<param name="userMessage">Messaggio da visualizzare se l'espressione non è true.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
|
||||
<summary>Specifica un contratto di postcondizione per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.</summary>
|
||||
<param name="condition">Espressione condizionale da sottoporre a test.</param>
|
||||
<typeparam name="TException">Tipo di eccezione che richiama il controllo di postcondizione.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
|
||||
<summary>Specifica un contratto di postcondizione e un messaggio da visualizzare se la condizione è false per il metodo o la proprietà contenitore in base all'eccezione e alla condizione fornite.</summary>
|
||||
<param name="condition">Espressione condizionale da sottoporre a test.</param>
|
||||
<param name="userMessage">Messaggio da visualizzare se l'espressione è false.</param>
|
||||
<typeparam name="TException">Tipo di eccezione che richiama il controllo di postcondizione.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>Determina se un elemento all'interno di una raccolta di elementi esiste all'interno di una funzione.</summary>
|
||||
<returns>true solo se <paramref name="predicate" /> restituisce true per un elemento di tipo <paramref name="T" /> in <paramref name="collection" />.</returns>
|
||||
<param name="collection">Raccolta da cui ottenere elementi di tipo <paramref name="T" /> da passare a <paramref name="predicate" />.</param>
|
||||
<param name="predicate">Funzione da valutare per un elemento in <paramref name="collection" />.</param>
|
||||
<typeparam name="T">Tipo contenuto in <paramref name="collection" />.</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>Determina se un test specificato è true per qualsiasi Integer all'interno di un intervallo di Integer.</summary>
|
||||
<returns>true se <paramref name="predicate" /> restituisce true per qualsiasi Integer a partire da <paramref name="fromInclusive" /> fino a <paramref name="toExclusive" /> - 1.</returns>
|
||||
<param name="fromInclusive">Primo valore di tipo Integer da passare a <paramref name="predicate" />.</param>
|
||||
<param name="toExclusive">Un ulteriore valore di tipo Integer da passare a <paramref name="predicate" />.</param>
|
||||
<param name="predicate">Funzione da valutare per un valore dell'Integer nell'intervallo specificato.</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>Determina se tutti gli elementi all'interno di una raccolta esistono all'interno di una funzione.</summary>
|
||||
<returns>true se e solo se <paramref name="predicate" /> restituisce true per tutti gli elementi di tipo <paramref name="T" /> in <paramref name="collection" />.</returns>
|
||||
<param name="collection">Raccolta da cui ottenere elementi di tipo <paramref name="T" /> da passare a <paramref name="predicate" />.</param>
|
||||
<param name="predicate">Funzione da valutare per l'esistenza di tutti gli elementi in <paramref name="collection" />.</param>
|
||||
<typeparam name="T">Tipo contenuto in <paramref name="collection" />.</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>Determina se una particolare condizione è valida per tutti gli Integer in un intervallo specificato.</summary>
|
||||
<returns>true se <paramref name="predicate" /> restituisce true per tutti gli Integer a partire da <paramref name="fromInclusive" /> fino a <paramref name="toExclusive" /> - 1.</returns>
|
||||
<param name="fromInclusive">Primo valore di tipo Integer da passare a <paramref name="predicate" />.</param>
|
||||
<param name="toExclusive">Un ulteriore valore di tipo Integer da passare a <paramref name="predicate" />.</param>
|
||||
<param name="predicate">Funzione da valutare per l'esistenza degli Integer nell'intervallo specificato.</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)">
|
||||
<summary>Specifica un contratto invariante per il metodo o la proprietà contenitore. </summary>
|
||||
<param name="condition">Espressione condizionale da sottoporre a test.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
|
||||
<summary>Specifica un contratto invariante per la proprietà o il metodo contenitore e visualizza un messaggio se la condizione per il contratto ha esito negativo.</summary>
|
||||
<param name="condition">Espressione condizionale da sottoporre a test.</param>
|
||||
<param name="userMessage">Messaggio da visualizzare se la condizione è false.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)">
|
||||
<summary>Rappresenta i valori come se fossero all'inizio di un metodo o di una proprietà.</summary>
|
||||
<returns>Valore del parametro o del campo all'inizio di un metodo o di una proprietà.</returns>
|
||||
<param name="value">Valore da rappresentare (campo o parametro).</param>
|
||||
<typeparam name="T">Tipo di valore.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
|
||||
<summary>Specifica un contratto di precondizione per la proprietà o il metodo contenitore e genera un'eccezione se la condizione per il contratto ha esito negativo.</summary>
|
||||
<param name="condition">Espressione condizionale da sottoporre a test.</param>
|
||||
<typeparam name="TException">Eccezione da generare se la condizione è false.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
|
||||
<summary>Specifica un contratto di precondizione per il metodo o la proprietà contenitore.</summary>
|
||||
<param name="condition">Espressione condizionale da sottoporre a test.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
|
||||
<summary>Specifica un contratto di precondizione per la proprietà o il metodo contenitore e visualizza un messaggio se la condizione per il contratto ha esito negativo.</summary>
|
||||
<param name="condition">Espressione condizionale da sottoporre a test.</param>
|
||||
<param name="userMessage">Messaggio da visualizzare se la condizione è false.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
|
||||
<summary>Specifica un contratto di precondizione per la proprietà o il metodo contenitore e genera un'eccezione con il messaggio fornito se la condizione per il contratto ha esito negativo.</summary>
|
||||
<param name="condition">Espressione condizionale da sottoporre a test.</param>
|
||||
<param name="userMessage">Messaggio da visualizzare se la condizione è false.</param>
|
||||
<typeparam name="TException">Eccezione da generare se la condizione è false.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Result``1">
|
||||
<summary>Rappresenta il valore restituito di un metodo o di una proprietà.</summary>
|
||||
<returns>Valore restituito del metodo o della proprietà contenitore.</returns>
|
||||
<typeparam name="T">Tipo di valore restituito del metodo o della proprietà contenitore.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)">
|
||||
<summary>Rappresenta il valore finale (output) di un parametro out in caso di restituzione da un metodo.</summary>
|
||||
<returns>Valore di output del parametro out.</returns>
|
||||
<param name="value">Parametro out.</param>
|
||||
<typeparam name="T">Tipo del parametro out.</typeparam>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute">
|
||||
<summary>Definisce le abbreviazioni che possono essere utilizzate al posto della sintassi completa del contratto.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractAbbreviatorAttribute.#ctor">
|
||||
<summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute" />.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute">
|
||||
<summary>Permette l'esecuzione del factoring del codice if-then-throw legacy in metodi separati da riutilizzare e fornisce il controllo completo sulle eccezioni e sugli argomenti generati.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute.#ctor">
|
||||
<summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute" />.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassAttribute">
|
||||
<summary>Specifica che un tipo separato contiene i contratti di codice per questo tipo.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassAttribute.#ctor(System.Type)">
|
||||
<summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" />. </summary>
|
||||
<param name="typeContainingContracts">Tipo che contiene i contratti di codice per questo tipo.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassAttribute.TypeContainingContracts">
|
||||
<summary>Ottiene il tipo che contiene i contratti di codice per questo tipo.</summary>
|
||||
<returns>Tipo che contiene i contratti di codice per questo tipo. </returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
|
||||
<summary>Specifica che una classe è un contratto per un tipo.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassForAttribute.#ctor(System.Type)">
|
||||
<summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" /> che specifica il tipo di cui la classe corrente è un contratto. </summary>
|
||||
<param name="typeContractsAreFor">Tipo di cui la classe corrente è un contratto.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassForAttribute.TypeContractsAreFor">
|
||||
<summary>Ottiene il tipo a cui si applica questo contratto di codice. </summary>
|
||||
<returns>Tipo a cui si applica questo contratto.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailedEventArgs">
|
||||
<summary>Fornisce metodi e dati per l'evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.#ctor(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>Fornisce dati per l'evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
<param name="failureKind">Uno dei valori di enumerazione che specifica il contratto non riuscito.</param>
|
||||
<param name="message">Messaggio per l'evento.</param>
|
||||
<param name="condition">Condizione per l'evento.</param>
|
||||
<param name="originalException">Eccezione che ha causato l'evento.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Condition">
|
||||
<summary>Ottiene la condizione dell'errore del contratto.</summary>
|
||||
<returns>Condizione per l'errore.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.FailureKind">
|
||||
<summary>Ottiene il tipo di contratto non riuscito.</summary>
|
||||
<returns>Uno dei valori di enumerazione che specifica il tipo di contratto non riuscito.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled">
|
||||
<summary>Indica se l'evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> è stato gestito.</summary>
|
||||
<returns>true se l'evento è stato gestito; in caso contrario, false. </returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Message">
|
||||
<summary>Ottiene il messaggio nel quale è descritto l'evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
<returns>Messaggio che descrive l'evento.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.OriginalException">
|
||||
<summary>Ottiene l'eccezione originale che ha causato l'evento <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
<returns>Eccezione che ha causato l'evento.</returns>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetHandled">
|
||||
<summary>Imposta la proprietà <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled" /> su true.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetUnwind">
|
||||
<summary>Imposta la proprietà <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind" /> su true.</summary>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind">
|
||||
<summary>Indica se devono essere applicati i criteri di escalation del contratto di codice.</summary>
|
||||
<returns>true per applicare i criteri di escalation. In caso contrario, false.Il valore predefinito è false.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailureKind">
|
||||
<summary>Specifica il tipo di contratto che non è riuscito. </summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assert">
|
||||
<summary>Contratto <see cref="Overload:System.Diagnostics.Contracts.Contract.Assert" /> non riuscito.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assume">
|
||||
<summary>Contratto <see cref="Overload:System.Diagnostics.Contracts.Contract.Assume" /> non riuscito.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Invariant">
|
||||
<summary>Contratto <see cref="Overload:System.Diagnostics.Contracts.Contract.Invariant" /> non riuscito.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Postcondition">
|
||||
<summary>Contratto <see cref="Overload:System.Diagnostics.Contracts.Contract.Ensures" /> non riuscito. </summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException">
|
||||
<summary>Contratto <see cref="Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow" /> non riuscito.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Precondition">
|
||||
<summary>Contratto <see cref="Overload:System.Diagnostics.Contracts.Contract.Requires" /> non riuscito.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
|
||||
<summary>Contrassegna un metodo come metodo invariante per una classe.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractInvariantMethodAttribute.#ctor">
|
||||
<summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractOptionAttribute">
|
||||
<summary>Consente di impostare il contratto e le opzioni dello strumento con granularità a livello di assembly, tipo o metodo.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.Boolean)">
|
||||
<summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> utilizzando la categoria, l'impostazione e il valore abilita/disabilita forniti.</summary>
|
||||
<param name="category">La categoria per l'opzione da impostare.</param>
|
||||
<param name="setting">Impostazioni dell'opzione.</param>
|
||||
<param name="enabled">true per abilitare l'opzione; false per disabilitare l'opzione.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.String)">
|
||||
<summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> utilizzando la categoria, l'impostazione e il valore forniti.</summary>
|
||||
<param name="category">La categoria dell'opzione da impostare.</param>
|
||||
<param name="setting">Impostazioni dell'opzione.</param>
|
||||
<param name="value">Valore dell'impostazione.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Category">
|
||||
<summary>Ottiene la categoria dell'opzione.</summary>
|
||||
<returns>Categoria dell'opzione.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Enabled">
|
||||
<summary>Determina se un'opzione è abilitata.</summary>
|
||||
<returns>true se l'opzione è abilitata; in caso contrario false.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Setting">
|
||||
<summary>Ottiene l'impostazione per l'opzione.</summary>
|
||||
<returns>Impostazione per l'opzione.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Value">
|
||||
<summary>Ottiene il valore per l'opzione.</summary>
|
||||
<returns>Valore dell'opzione.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute">
|
||||
<summary>Specifica che un campo può essere utilizzato nei contratti del metodo quando il campo presenta una visibilità inferiore rispetto al metodo. </summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.#ctor(System.String)">
|
||||
<summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute" />. </summary>
|
||||
<param name="name">Nome della proprietà da applicare al campo.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.Name">
|
||||
<summary>Ottiene il nome della proprietà da applicare al campo.</summary>
|
||||
<returns>Nome della proprietà da applicare al campo.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute">
|
||||
<summary>Specifica che un assembly è un assembly di riferimento che contiene contratti.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute.#ctor">
|
||||
<summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute">
|
||||
<summary>Identifica un membro che non presenta un comportamento in fase di esecuzione.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute.#ctor">
|
||||
<summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractVerificationAttribute">
|
||||
<summary>Indica agli strumenti di analisi di presumere la correttezza di un assembly, tipo o membro senza verificarlo staticamente.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractVerificationAttribute.#ctor(System.Boolean)">
|
||||
<summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.ContractVerificationAttribute" />. </summary>
|
||||
<param name="value">true per richiedere la verifica. In caso contrario, false. </param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractVerificationAttribute.Value">
|
||||
<summary>Ottiene il valore che indica se verificare il contratto della destinazione. </summary>
|
||||
<returns>true se la verifica viene richiesta. In caso contrario, false.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.PureAttribute">
|
||||
<summary>Indica che un tipo o un metodo è puro, ovvero non effettua modifiche visibili dello stato.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.PureAttribute.#ctor">
|
||||
<summary>Inizializza una nuova istanza della classe <see cref="T:System.Diagnostics.Contracts.PureAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Runtime.CompilerServices.ContractHelper">
|
||||
<summary>Fornisce metodi che il rewriter binario utilizza per gestire gli errori di contratto.</summary>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>Utilizzato dal rewriter binario per attivare il comportamento dell'errore predefinito.</summary>
|
||||
<returns>Riferimento Null (Nothing in Visual Basic) se l'evento è stato gestito e non deve attivare un errore. In caso contrario, restituisce il messaggio di errore localizzato.</returns>
|
||||
<param name="failureKind">Uno dei valori di enumerazione che specifica il tipo di errore.</param>
|
||||
<param name="userMessage">Informazioni utente aggiuntive.</param>
|
||||
<param name="conditionText">Descrizione della condizione che ha causato l'errore.</param>
|
||||
<param name="innerException">Eccezione interna che ha causato l'eccezione corrente.</param>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="failureKind" /> non è un valore <see cref="T:System.Diagnostics.Contracts.ContractFailureKind" /> valido.</exception>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)">
|
||||
<summary>Attiva il comportamento dell'errore predefinito.</summary>
|
||||
<param name="kind">Uno dei valori di enumerazione che specifica il tipo di errore.</param>
|
||||
<param name="displayMessage">Messaggio da visualizzare.</param>
|
||||
<param name="userMessage">Informazioni utente aggiuntive.</param>
|
||||
<param name="conditionText">Descrizione della condizione che ha causato l'errore.</param>
|
||||
<param name="innerException">Eccezione interna che ha causato l'eccezione corrente.</param>
|
||||
</member>
|
||||
</members>
|
||||
</doc>
|
||||
370
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/ja/System.Diagnostics.Contracts.xml
vendored
Normal file
370
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/ja/System.Diagnostics.Contracts.xml
vendored
Normal file
@@ -0,0 +1,370 @@
|
||||
<?xml version="1.0" encoding="utf-8"?>
|
||||
<doc>
|
||||
<assembly>
|
||||
<name>System.Diagnostics.Contracts</name>
|
||||
</assembly>
|
||||
<members>
|
||||
<member name="T:System.Diagnostics.Contracts.Contract">
|
||||
<summary>実行前の状態、実行後の状態、オブジェクトの不変部分などのプログラム コントラクトを表す静的メソッドを格納します。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
|
||||
<summary>条件をチェックし、その条件が false の場合は、アナライザーに設定されたエスカレーション ポリシーに従います。</summary>
|
||||
<param name="condition">テストする条件式。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
|
||||
<summary>条件をチェックし、その条件が false の場合は、アナライザーによって設定されたエスカレーション ポリシーに従い、指定されたメッセージを表示します。</summary>
|
||||
<param name="condition">テストする条件式。</param>
|
||||
<param name="userMessage">条件が一致しない場合に表示するメッセージ。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
|
||||
<summary>常に true であるとは静的に証明されない場合でも、指定した条件が true であると想定するようコード分析ツールに指示します。</summary>
|
||||
<param name="condition">true に想定する条件式。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
|
||||
<summary>常に true であるとは静的に証明されない場合でも、条件が true であると想定するようコード分析ツールに指示し、想定が失敗した場合はメッセージを表示します。</summary>
|
||||
<param name="condition">true に想定する条件式。</param>
|
||||
<param name="userMessage">想定が失敗した場合にポストするメッセージ。</param>
|
||||
</member>
|
||||
<member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
|
||||
<summary>コントラクトが失敗すると発生します。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
|
||||
<summary>メソッドのコントラクトに if-then-throw の形式で実行前の状態のみが含まれる場合に、コントラクト セクションの終わりをマークします。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
|
||||
<summary>外側のメソッドまたはプロパティの実行後の状態のコントラクトを指定します。</summary>
|
||||
<param name="condition">テストする条件式。式には <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" />、<see cref="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)" />、および <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" /> の各値を使用できます。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
|
||||
<summary>指定された終了条件の実行後の状態のコントラクトと、条件が false の場合に表示するメッセージを指定します。</summary>
|
||||
<param name="condition">テストする条件式。式には <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> および <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" /> の各値を使用できます。</param>
|
||||
<param name="userMessage">式が true でない場合に表示するメッセージ。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
|
||||
<summary>指定された例外および条件に基づいて、外側のメソッドまたはプロパティに実行後の状態のコントラクトを指定します。</summary>
|
||||
<param name="condition">テストする条件式。</param>
|
||||
<typeparam name="TException">実行後の状態のチェックを起動する例外の種類。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
|
||||
<summary>指定された例外および条件に基づいて、実行後の状態のコントラクトと、外側のメソッドまたはプロパティの条件が false の場合に表示するメッセージを指定します。</summary>
|
||||
<param name="condition">テストする条件式。</param>
|
||||
<param name="userMessage">式が false の場合に表示するメッセージ。</param>
|
||||
<typeparam name="TException">実行後の状態のチェックを起動する例外の種類。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>ある要素のコレクション内の要素が関数内に存在するかどうかを判断します。</summary>
|
||||
<returns>
|
||||
<paramref name="collection" /> 内の型 <paramref name="T" /> の任意の要素に対して、<paramref name="predicate" /> が true を返す場合にのみ true。</returns>
|
||||
<param name="collection">
|
||||
<paramref name="predicate" /> に渡される型 <paramref name="T" /> の要素が含まれているコレクション。</param>
|
||||
<param name="predicate">
|
||||
<paramref name="collection" /> 内の要素を評価する関数。</param>
|
||||
<typeparam name="T">
|
||||
<paramref name="collection" /> に格納されている型。</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>ある整数範囲内のすべての整数について指定したテストが true かどうかを判定します。</summary>
|
||||
<returns>
|
||||
<paramref name="fromInclusive" /> から <paramref name="toExclusive" /> - 1 の範囲の任意の整数に対して、<paramref name="predicate" /> が true を返す場合は true。</returns>
|
||||
<param name="fromInclusive">
|
||||
<paramref name="predicate" /> に渡す最初の整数。</param>
|
||||
<param name="toExclusive">
|
||||
<paramref name="predicate" /> に渡す最後の整数より 1 だけ大きい数。</param>
|
||||
<param name="predicate">指定した範囲内の任意の整数値を評価する関数。</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>コレクション内のすべての要素が関数内に存在するかどうかを判断します。</summary>
|
||||
<returns>
|
||||
<paramref name="collection" /> 内の型 <paramref name="T" /> のすべての要素に対して、<paramref name="predicate" /> が true を返す場合にのみ true。</returns>
|
||||
<param name="collection">
|
||||
<paramref name="predicate" /> に渡される型 <paramref name="T" /> の要素が含まれているコレクション。</param>
|
||||
<param name="predicate">
|
||||
<paramref name="collection" /> 内のすべての要素の存在を評価する関数。</param>
|
||||
<typeparam name="T">
|
||||
<paramref name="collection" /> に格納されている型。</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>指定した範囲内のすべての整数について特定の状態が有効かどうかを判定します。</summary>
|
||||
<returns>
|
||||
<paramref name="fromInclusive" /> から <paramref name="toExclusive" /> - 1 の範囲のすべての整数に対して、<paramref name="predicate" /> が true を返す場合は true。</returns>
|
||||
<param name="fromInclusive">
|
||||
<paramref name="predicate" /> に渡す最初の整数。</param>
|
||||
<param name="toExclusive">
|
||||
<paramref name="predicate" /> に渡す最後の整数より 1 だけ大きい数。</param>
|
||||
<param name="predicate">指定された範囲の整数の存在を評価する関数。</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)">
|
||||
<summary>外側のメソッドまたはプロパティの不変コントラクトを指定します。</summary>
|
||||
<param name="condition">テストする条件式。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
|
||||
<summary>外側のメソッドまたはプロパティの不変コントラクトを指定し、コントラクトの条件が失敗した場合はメッセージを表示します。</summary>
|
||||
<param name="condition">テストする条件式。</param>
|
||||
<param name="userMessage">条件が false の場合に表示するメッセージ。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)">
|
||||
<summary>メソッドまたはプロパティの開始時の値を表します。</summary>
|
||||
<returns>メソッドまたはプロパティの開始時のフィールドまたはパラメーターの値。</returns>
|
||||
<param name="value">表す値 (フィールドまたはパラメーター)。</param>
|
||||
<typeparam name="T">値の型。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
|
||||
<summary>外側のメソッドまたはプロパティの実行前の状態のコントラクトを指定し、コントラクトの条件が失敗した場合は例外をスローします。</summary>
|
||||
<param name="condition">テストする条件式。</param>
|
||||
<typeparam name="TException">条件が false の場合にスローする例外。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
|
||||
<summary>外側のメソッドまたはプロパティの実行前の状態のコントラクトを指定します。</summary>
|
||||
<param name="condition">テストする条件式。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
|
||||
<summary>外側のメソッドまたはプロパティの実行前の状態のコントラクトを指定し、コントラクトの条件が失敗した場合はメッセージを表示します。</summary>
|
||||
<param name="condition">テストする条件式。</param>
|
||||
<param name="userMessage">条件が false の場合に表示するメッセージ。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
|
||||
<summary>外側のメソッドまたはプロパティの実行前の状態のコントラクトを指定し、コントラクトの条件が失敗した場合は指定されたメッセージで例外をスローします。</summary>
|
||||
<param name="condition">テストする条件式。</param>
|
||||
<param name="userMessage">条件が false の場合に表示するメッセージ。</param>
|
||||
<typeparam name="TException">条件が false の場合にスローする例外。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Result``1">
|
||||
<summary>メソッドまたはプロパティの戻り値を表します。</summary>
|
||||
<returns>外側のメソッドまたはプロパティの戻り値。</returns>
|
||||
<typeparam name="T">外側のメソッドまたはプロパティの戻り値の型。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)">
|
||||
<summary>メソッドから戻るときの out パラメーターの最後の (出力) 値を表します。</summary>
|
||||
<returns>out パラメーターの出力値。</returns>
|
||||
<param name="value">out パラメーター。</param>
|
||||
<typeparam name="T">out パラメーターの型。</typeparam>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute">
|
||||
<summary>完全なコントラクトの構文の代わりに使用できる省略を定義します。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractAbbreviatorAttribute.#ctor">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute" /> クラスの新しいインスタンスを初期化します。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute">
|
||||
<summary>再利用できるように異なるメソッドへのレガシ if-then-throw コードのファクタリングを有効にし、スローされる例外と引数のフル コントロールを提供します。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute.#ctor">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute" /> クラスの新しいインスタンスを初期化します。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassAttribute">
|
||||
<summary>この型のコード コントラクトが別の型に格納されていることを指定します。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassAttribute.#ctor(System.Type)">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" /> クラスの新しいインスタンスを初期化します。</summary>
|
||||
<param name="typeContainingContracts">この型のコード コントラクトを格納する型。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassAttribute.TypeContainingContracts">
|
||||
<summary>この型のコード コントラクトを格納する型を取得します。</summary>
|
||||
<returns>この型のコード コントラクトを格納する型。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
|
||||
<summary>クラスが型のコントラクトであることを指定します。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassForAttribute.#ctor(System.Type)">
|
||||
<summary>現在のクラスがコントラクトである型を使用して、<see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" /> クラスの新しいインスタンスを初期化します。</summary>
|
||||
<param name="typeContractsAreFor">現在のクラスがコントラクトである型。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassForAttribute.TypeContractsAreFor">
|
||||
<summary>このコード コントラクトが適用される型を取得します。</summary>
|
||||
<returns>このコード コントラクトが適用される型。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailedEventArgs">
|
||||
<summary>
|
||||
<see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> イベントのメソッドおよびデータを提供します。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.#ctor(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>
|
||||
<see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> イベントにデータを提供します。</summary>
|
||||
<param name="failureKind">失敗したコントラクトを指定する列挙値の 1 つ。</param>
|
||||
<param name="message">イベントに関するメッセージ。</param>
|
||||
<param name="condition">イベントの条件。</param>
|
||||
<param name="originalException">イベントの原因になる例外。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Condition">
|
||||
<summary>コントラクトのエラーの条件を取得します。</summary>
|
||||
<returns>エラーの条件。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.FailureKind">
|
||||
<summary>失敗したコントラクトの型を取得します。</summary>
|
||||
<returns>失敗したコントラクトの型を指定する列挙値の 1 つ。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled">
|
||||
<summary>
|
||||
<see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> イベントが処理されたかどうかを示します。</summary>
|
||||
<returns>イベントが処理済みである場合は true。それ以外の場合は false。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Message">
|
||||
<summary>
|
||||
<see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> イベントを説明するメッセージを取得します。</summary>
|
||||
<returns>イベントを説明するメッセージ。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.OriginalException">
|
||||
<summary>
|
||||
<see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> イベントの原因となった元の例外を取得します。</summary>
|
||||
<returns>イベントの原因になる例外。</returns>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetHandled">
|
||||
<summary>
|
||||
<see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled" /> プロパティを true に設定します。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetUnwind">
|
||||
<summary>
|
||||
<see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind" /> プロパティを true に設定します。</summary>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind">
|
||||
<summary>コードのコントラクトのエスカレーション ポリシーを適用するかどうかを示します。</summary>
|
||||
<returns>エスカレーション ポリシーを適用する場合は true。それ以外の場合は false。既定値は、false です。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailureKind">
|
||||
<summary>失敗したコントラクトの型を指定します。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assert">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Assert" /> コントラクトが失敗しました。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assume">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Assume" /> コントラクトが失敗しました。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Invariant">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Invariant" /> コントラクトが失敗しました。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Postcondition">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Ensures" /> コントラクトが失敗しました。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow" /> コントラクトが失敗しました。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Precondition">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Requires" /> コントラクトが失敗しました。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
|
||||
<summary>メソッドをクラスのインバリアントなメソッドとしてマークします。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractInvariantMethodAttribute.#ctor">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute" /> クラスの新しいインスタンスを初期化します。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractOptionAttribute">
|
||||
<summary>アセンブリ、型、またはメソッドの粒度でコントラクトおよびツールのオプションを設定できるようにします。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.Boolean)">
|
||||
<summary>指定したカテゴリ、設定、および有効/無効値を使用して、<see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> クラスの新しいインスタンスを初期化します。</summary>
|
||||
<param name="category">設定するオプションのためのカテゴリ。</param>
|
||||
<param name="setting">オプションの設定。</param>
|
||||
<param name="enabled">オプションを有効にする場合は true。オプションを無効にする場合は false。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.String)">
|
||||
<summary>指定したカテゴリ、設定、および値を使用して、<see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> クラスの新しいインスタンスを初期化します。</summary>
|
||||
<param name="category">設定するオプションのカテゴリ。</param>
|
||||
<param name="setting">オプションの設定。</param>
|
||||
<param name="value">設定の値。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Category">
|
||||
<summary>オプションのカテゴリを取得します。</summary>
|
||||
<returns>オプションのカテゴリ。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Enabled">
|
||||
<summary>オプションが有効かどうかを判断します。</summary>
|
||||
<returns>オプションが有効になっている場合は true。それ以外の場合は false。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Setting">
|
||||
<summary>オプションの設定を取得します。</summary>
|
||||
<returns>オプションの設定。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Value">
|
||||
<summary>オプションの値を取得します。</summary>
|
||||
<returns>オプションの値。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute">
|
||||
<summary>フィールドの可視性がメソッドよりも低い場合に、フィールドをメソッド コントラクトで使用できることを指定します。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.#ctor(System.String)">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute" /> クラスの新しいインスタンスを初期化します。</summary>
|
||||
<param name="name">フィールドに適用されるプロパティの名前。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.Name">
|
||||
<summary>フィールドに適用されるプロパティ名を取得します。</summary>
|
||||
<returns>フィールドに適用されたプロパティ名。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute">
|
||||
<summary>アセンブリがコントラクトを含む参照アセンブリであることを指定します。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute.#ctor">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute" /> クラスの新しいインスタンスを初期化します。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute">
|
||||
<summary>実行時の動作がないメンバーを識別します。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute.#ctor">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute" /> クラスの新しいインスタンスを初期化します。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractVerificationAttribute">
|
||||
<summary>静的な検証を実行せずにアセンブリ、型、およびメンバーの正確さを想定するよう分析ツールに指示します。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractVerificationAttribute.#ctor(System.Boolean)">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractVerificationAttribute" /> クラスの新しいインスタンスを初期化します。</summary>
|
||||
<param name="value">検証を要求する場合は true。それ以外の場合は false。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractVerificationAttribute.Value">
|
||||
<summary>ターゲットのコントラクトを検証するかどうかを示す値を取得します。</summary>
|
||||
<returns>検証が必要な場合は true。それ以外の場合は false。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.PureAttribute">
|
||||
<summary>型またはメソッドが純粋、つまり、可視的な状態の変更が行われないことを示します。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.PureAttribute.#ctor">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.PureAttribute" /> クラスの新しいインスタンスを初期化します。</summary>
|
||||
</member>
|
||||
<member name="T:System.Runtime.CompilerServices.ContractHelper">
|
||||
<summary>バイナリ リライターがコントラクト エラーの処理に使用するメソッドを提供します。</summary>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>バイナリ リライターが既定のエラー動作をアクティブにするために使用します。</summary>
|
||||
<returns>イベントが処理されて、エラーが発生しない場合は null 参照 (Visual Basic の場合は Nothing)。それ以外の場合はローカライズされたエラー メッセージが返されます。</returns>
|
||||
<param name="failureKind">エラーの種類を指定する列挙値の 1 つ。</param>
|
||||
<param name="userMessage">追加のユーザー情報。</param>
|
||||
<param name="conditionText">エラーの原因となった条件の説明。</param>
|
||||
<param name="innerException">現在の例外を発生させた内部例外。</param>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="failureKind" /> が有効な <see cref="T:System.Diagnostics.Contracts.ContractFailureKind" /> 値ではありません。</exception>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)">
|
||||
<summary>既定のエラー動作を発生させます。</summary>
|
||||
<param name="kind">エラーの種類を指定する列挙値の 1 つ。</param>
|
||||
<param name="displayMessage">表示するメッセージ。</param>
|
||||
<param name="userMessage">追加のユーザー情報。</param>
|
||||
<param name="conditionText">エラーの原因となった条件の説明。</param>
|
||||
<param name="innerException">現在の例外を発生させた内部例外。</param>
|
||||
</member>
|
||||
</members>
|
||||
</doc>
|
||||
370
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/ko/System.Diagnostics.Contracts.xml
vendored
Normal file
370
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/ko/System.Diagnostics.Contracts.xml
vendored
Normal file
@@ -0,0 +1,370 @@
|
||||
<?xml version="1.0" encoding="utf-8"?>
|
||||
<doc>
|
||||
<assembly>
|
||||
<name>System.Diagnostics.Contracts</name>
|
||||
</assembly>
|
||||
<members>
|
||||
<member name="T:System.Diagnostics.Contracts.Contract">
|
||||
<summary>사전 조건, 사후 조건, 개체 고정 조건 같은 프로그램 계약을 나타내는 정적 메서드가 포함됩니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
|
||||
<summary>조건을 확인합니다. 조건이 false이면 분석기에 설정된 에스컬레이션 정책을 따릅니다.</summary>
|
||||
<param name="condition">테스트할 조건식입니다.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
|
||||
<summary>조건을 확인합니다. 조건이 false이면 분석기에 설정된 에스컬레이션 정책을 따르고 지정된 메시지를 표시합니다.</summary>
|
||||
<param name="condition">테스트할 조건식입니다.</param>
|
||||
<param name="userMessage">조건이 충족되지 않으면 표시할 메시지입니다.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
|
||||
<summary>조건이 항상 true인지 고정적으로 입증할 수 없는 경우를 포함하여, 코드 분석 도구가 지정된 조건을 true라고 가정하도록 지시합니다.</summary>
|
||||
<param name="condition">true라고 가정할 조건식입니다.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
|
||||
<summary>조건이 항상 true인지 고정적으로 입증할 수 없는 경우를 포함하여, 코드 분석 도구가 조건을 true라고 가정하고 가정이 실패한 경우 메시지를 표시하도록 지시합니다.</summary>
|
||||
<param name="condition">true라고 가정할 조건식입니다.</param>
|
||||
<param name="userMessage">가정이 실패할 경우 게시되는 메시지입니다.</param>
|
||||
</member>
|
||||
<member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
|
||||
<summary>계약이 실패한 경우 발생합니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
|
||||
<summary>메서드의 계약에 if-then-throw 형태의 사전 조건만 포함되어 있을 때 계약 섹션의 끝을 표시합니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
|
||||
<summary>바깥쪽 메서드 또는 속성에 대한 사후 조건 계약을 지정합니다.</summary>
|
||||
<param name="condition">테스트할 조건식입니다.식에는 <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" />, <see cref="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)" /> 및 <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" /> 값이 포함될 수 있습니다.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
|
||||
<summary>제공된 종료 조건에 대한 사후 조건 계약과 조건이 false인 경우 표시할 메시지를 지정합니다.</summary>
|
||||
<param name="condition">테스트할 조건식입니다.식에는 <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> 및 <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" /> 값이 포함될 수 있습니다.</param>
|
||||
<param name="userMessage">식이 true가 아니면 표시할 메시지입니다.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
|
||||
<summary>제공된 예외와 조건에 따라 바깥쪽 메서드 또는 속성에 대한 사후 조건 계약을 지정합니다.</summary>
|
||||
<param name="condition">테스트할 조건식입니다.</param>
|
||||
<typeparam name="TException">사후 조건 확인을 호출하는 예외의 형식입니다.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
|
||||
<summary>제공된 예외와 조건에 따라 바깥쪽 메서드 또는 속성에 대한 해당 조건이 false인 경우 표시할 사후 조건 계약과 메시지를 지정합니다.</summary>
|
||||
<param name="condition">테스트할 조건식입니다.</param>
|
||||
<param name="userMessage">식이 false이면 표시할 메시지입니다.</param>
|
||||
<typeparam name="TException">사후 조건 확인을 호출하는 예외의 형식입니다.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>요소 컬렉션에 속하는 요소가 함수에 존재하는지 확인합니다.</summary>
|
||||
<returns>
|
||||
<paramref name="predicate" />가 <paramref name="collection" />에서 <paramref name="T" /> 형식의 요소에 대해 true를 반환하는 경우에만 true입니다.</returns>
|
||||
<param name="collection">
|
||||
<paramref name="T" /> 형식의 요소를 <paramref name="predicate" />로 전달할 컬렉션입니다.</param>
|
||||
<param name="predicate">
|
||||
<paramref name="collection" />에 있는 요소를 평가하기 위한 함수입니다.</param>
|
||||
<typeparam name="T">
|
||||
<paramref name="collection" />에 포함된 형식입니다.</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>정수 범위 내의 정수에 대해 지정된 테스트가 true인지를 확인합니다.</summary>
|
||||
<returns>
|
||||
<paramref name="predicate" />가 <paramref name="fromInclusive" />부터 <paramref name="toExclusive" /> - 1 사이의 정수에 대해 true를 반환하면 true입니다.</returns>
|
||||
<param name="fromInclusive">
|
||||
<paramref name="predicate" />에 전달할 첫 번째 정수입니다.</param>
|
||||
<param name="toExclusive">
|
||||
<paramref name="predicate" />에 전달할 마지막 정수보다 1 더 큽니다.</param>
|
||||
<param name="predicate">지정된 범위에 있는 정수의 값을 평가하기 위한 함수입니다.</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>컬렉션의 모든 요소가 함수에 존재하는지 확인합니다.</summary>
|
||||
<returns>
|
||||
<paramref name="predicate" />가 <paramref name="collection" />에 있는 모든 <paramref name="T" /> 형식 요소에 대해 true를 반환하는 경우에만 true입니다.</returns>
|
||||
<param name="collection">
|
||||
<paramref name="T" /> 형식의 요소를 <paramref name="predicate" />로 전달할 컬렉션입니다.</param>
|
||||
<param name="predicate">
|
||||
<paramref name="collection" />에 모든 요소가 존재하는지 확인할 함수입니다.</param>
|
||||
<typeparam name="T">
|
||||
<paramref name="collection" />에 포함된 형식입니다.</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>지정된 범위의 모든 정수에 대해 특정 조건이 유효한지를 확인합니다.</summary>
|
||||
<returns>
|
||||
<paramref name="predicate" />가 <paramref name="fromInclusive" />에서 <paramref name="toExclusive" /> - 1 사이의 모든 정수에 대해 true를 반환하면 true입니다.</returns>
|
||||
<param name="fromInclusive">
|
||||
<paramref name="predicate" />에 전달할 첫 번째 정수입니다.</param>
|
||||
<param name="toExclusive">
|
||||
<paramref name="predicate" />에 전달할 마지막 정수보다 1이 더 큽니다.</param>
|
||||
<param name="predicate">지정된 범위의 정수가 존재하는지 확인할 함수입니다.</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)">
|
||||
<summary>바깥쪽 메서드 또는 속성에 대한 고정 계약을 지정합니다. </summary>
|
||||
<param name="condition">테스트할 조건식입니다.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
|
||||
<summary>바깥쪽 메서드나 속성에 대한 고정 계약을 지정하고 계약의 조건이 실패한 경우 메시지를 표시합니다.</summary>
|
||||
<param name="condition">테스트할 조건식입니다.</param>
|
||||
<param name="userMessage">조건이 false인 경우 표시할 메시지입니다.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)">
|
||||
<summary>값을 메서드나 속성의 시작 위치에 있었던 그대로 나타냅니다.</summary>
|
||||
<returns>메서드나 속성의 시작 위치에 있는 필드 또는 매개 변수의 값입니다.</returns>
|
||||
<param name="value">나타낼 값(필드 또는 매개 변수)입니다.</param>
|
||||
<typeparam name="T">값의 형식입니다.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
|
||||
<summary>바깥쪽 메서드나 속성에 대한 사전 조건 계약을 지정하고 계약의 조건이 실패한 경우 예외를 throw합니다.</summary>
|
||||
<param name="condition">테스트할 조건식입니다.</param>
|
||||
<typeparam name="TException">조건이 false인 경우 throw할 예외입니다.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
|
||||
<summary>바깥쪽 메서드 또는 속성에 대한 사전 조건 계약을 지정합니다.</summary>
|
||||
<param name="condition">테스트할 조건식입니다.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
|
||||
<summary>바깥쪽 메서드나 속성에 대한 사전 조건 계약을 지정하고 계약의 조건이 실패한 경우 메시지를 표시합니다.</summary>
|
||||
<param name="condition">테스트할 조건식입니다.</param>
|
||||
<param name="userMessage">조건이 false인 경우 표시할 메시지입니다.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
|
||||
<summary>바깥쪽 메서드 또는 속성에 대한 사전 조건 계약을 지정하고 계약의 조건이 실패할 경우 제공된 메시지와 함께 예외를 throw합니다.</summary>
|
||||
<param name="condition">테스트할 조건식입니다.</param>
|
||||
<param name="userMessage">조건이 false인 경우 표시할 메시지입니다.</param>
|
||||
<typeparam name="TException">조건이 false인 경우 throw할 예외입니다.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Result``1">
|
||||
<summary>메서드나 속성의 반환 값을 나타냅니다.</summary>
|
||||
<returns>바깥쪽 메서드나 속성의 반환 값입니다.</returns>
|
||||
<typeparam name="T">바깥쪽 메서드나 속성의 반환 값 형식입니다.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)">
|
||||
<summary>메서드에서 반환되는 out 매개 변수의 최종(출력) 값을 나타냅니다.</summary>
|
||||
<returns>out 매개 변수의 출력 값입니다.</returns>
|
||||
<param name="value">out 매개 변수입니다.</param>
|
||||
<typeparam name="T">out 매개 변수의 형식입니다.</typeparam>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute">
|
||||
<summary>전체 계약 구문을 대신 사용할 수 있는 약어를 정의합니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractAbbreviatorAttribute.#ctor">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute" /> 클래스의 새 인스턴스를 초기화합니다.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute">
|
||||
<summary>다시 사용하기 위해 별도의 메서드로 레거시 if-then-throw 코드의 팩터링을 사용하도록 설정하고 throw된 예외 및 인수를 완전히 제어할 수 있도록 합니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute.#ctor">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute" /> 클래스의 새 인스턴스를 초기화합니다.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassAttribute">
|
||||
<summary>별도의 형식이 이 형식에 대한 코드 계약을 포함하도록 지정합니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassAttribute.#ctor(System.Type)">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" /> 클래스의 새 인스턴스를 초기화합니다. </summary>
|
||||
<param name="typeContainingContracts">이 형식에 대한 코드 계약을 포함하는 형식입니다.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassAttribute.TypeContainingContracts">
|
||||
<summary>이 형식에 대한 코드 계약을 포함하는 형식을 가져옵니다.</summary>
|
||||
<returns>이 형식에 대한 코드 계약을 포함하는 형식입니다. </returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
|
||||
<summary>클래스가 특정 형식의 계약임을 지정합니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassForAttribute.#ctor(System.Type)">
|
||||
<summary>현재 클래스의 계약 형식을 지정하여 <see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" /> 클래스의 새 인스턴스를 초기화합니다. </summary>
|
||||
<param name="typeContractsAreFor">현재 클래스의 계약 형식입니다.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassForAttribute.TypeContractsAreFor">
|
||||
<summary>이 코드 계약이 적용되는 형식을 가져옵니다. </summary>
|
||||
<returns>이 계약이 적용되는 형식입니다.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailedEventArgs">
|
||||
<summary>
|
||||
<see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 이벤트에 대한 메서드와 데이터를 제공합니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.#ctor(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>
|
||||
<see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 이벤트에 대한 데이터를 제공합니다.</summary>
|
||||
<param name="failureKind">실패한 계약을 지정하는 열거형 값 중 하나입니다.</param>
|
||||
<param name="message">이벤트의 메시지입니다.</param>
|
||||
<param name="condition">이벤트에 대한 조건입니다.</param>
|
||||
<param name="originalException">이벤트를 발생시킨 예외입니다.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Condition">
|
||||
<summary>계약의 실패에 대한 조건을 가져옵니다.</summary>
|
||||
<returns>실패에 대한 조건입니다.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.FailureKind">
|
||||
<summary>실패한 계약의 형식을 가져옵니다.</summary>
|
||||
<returns>실패한 계약의 형식을 지정하는 열거형 값 중 하나입니다.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled">
|
||||
<summary>
|
||||
<see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 이벤트가 처리되었는지 여부를 나타냅니다.</summary>
|
||||
<returns>이벤트가 처리되었으면 true이고, 그렇지 않으면 false입니다. </returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Message">
|
||||
<summary>
|
||||
<see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 이벤트를 설명하는 메시지를 가져옵니다.</summary>
|
||||
<returns>이벤트를 설명하는 메시지입니다.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.OriginalException">
|
||||
<summary>
|
||||
<see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 이벤트를 발생시킨 원래 예외를 가져옵니다.</summary>
|
||||
<returns>이벤트를 발생시킨 예외입니다.</returns>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetHandled">
|
||||
<summary>
|
||||
<see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled" /> 속성을 true로 설정합니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetUnwind">
|
||||
<summary>
|
||||
<see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind" /> 속성을 true로 설정합니다.</summary>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind">
|
||||
<summary>코드 계약 에스컬레이션 정책을 적용해야 하는지 여부를 나타냅니다.</summary>
|
||||
<returns>에스컬레이션 정책을 적용하면 true이고, 그렇지 않으면 false입니다.기본값은 false입니다.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailureKind">
|
||||
<summary>실패한 계약의 형식을 지정합니다. </summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assert">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Assert" /> 계약이 실패했습니다.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assume">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Assume" /> 계약이 실패했습니다.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Invariant">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Invariant" /> 계약이 실패했습니다.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Postcondition">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Ensures" /> 계약이 실패했습니다. </summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow" /> 계약이 실패했습니다.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Precondition">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Requires" /> 계약이 실패했습니다.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
|
||||
<summary>메서드를 클래스의 고정 메서드로 표시합니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractInvariantMethodAttribute.#ctor">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute" /> 클래스의 새 인스턴스를 초기화합니다. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractOptionAttribute">
|
||||
<summary>어셈블리, 형식 또는 메서드 세분 수준에서 계약 및 도구 옵션을 설정할 수 있도록 합니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.Boolean)">
|
||||
<summary>제공된 범주, 설정 및 활성화/비활성화 값을 사용하여 <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> 클래스의 새 인스턴스를 초기화합니다.</summary>
|
||||
<param name="category">설정할 옵션에 대한 범주입니다.</param>
|
||||
<param name="setting">옵션 설정입니다.</param>
|
||||
<param name="enabled">옵션을 활성화하려면 true이고 옵션을 비활성화하려면 false입니다.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.String)">
|
||||
<summary>제공된 범주, 설정 및 값을 사용하여 <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> 클래스의 새 인스턴스를 초기화합니다.</summary>
|
||||
<param name="category">설정할 옵션의 범주입니다.</param>
|
||||
<param name="setting">옵션 설정입니다.</param>
|
||||
<param name="value">설정의 값입니다.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Category">
|
||||
<summary>옵션의 범주를 가져옵니다.</summary>
|
||||
<returns>옵션의 범주입니다.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Enabled">
|
||||
<summary>옵션을 사용할 수 있는지 여부를 확인합니다.</summary>
|
||||
<returns>옵션을 사용할 수 있으면 true이고, 그렇지 않으면 false입니다.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Setting">
|
||||
<summary>옵션에 대한 설정을 가져옵니다.</summary>
|
||||
<returns>옵션에 대한 설정입니다.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Value">
|
||||
<summary>옵션의 값을 가져옵니다.</summary>
|
||||
<returns>옵션에 대한 값입니다.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute">
|
||||
<summary>필드의 표시 유형이 메서드보다 제한적인 경우 필드를 메서드 계약에 사용할 수 있음을 지정합니다. </summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.#ctor(System.String)">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute" /> 클래스의 새 인스턴스를 초기화합니다. </summary>
|
||||
<param name="name">필드에 적용할 속성 이름입니다.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.Name">
|
||||
<summary>필드에 적용되는 속성 이름을 가져옵니다.</summary>
|
||||
<returns>필드에 적용되는 속성 이름입니다.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute">
|
||||
<summary>어셈블리가 계약을 포함하는 참조 어셈블리임을 지정합니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute.#ctor">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute" /> 클래스의 새 인스턴스를 초기화합니다. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute">
|
||||
<summary>런타임 동작이 없는 멤버를 식별합니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute.#ctor">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute" /> 클래스의 새 인스턴스를 초기화합니다. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractVerificationAttribute">
|
||||
<summary>분석 도구가 정적 확인을 수행하지 않고 어셈블리, 형식 또는 멤버의 정확성을 가정하도록 지시합니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractVerificationAttribute.#ctor(System.Boolean)">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.ContractVerificationAttribute" /> 클래스의 새 인스턴스를 초기화합니다. </summary>
|
||||
<param name="value">확인이 필요하면 true이고, 그렇지 않으면 false입니다. </param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractVerificationAttribute.Value">
|
||||
<summary>대상의 계약을 확인할지 여부를 나타내는 값을 가져옵니다. </summary>
|
||||
<returns>확인이 필요하면 true이고, 그렇지 않으면 false입니다.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.PureAttribute">
|
||||
<summary>시각적인 상태 변화가 없는 순수한 형식이나 메서드를 나타냅니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.PureAttribute.#ctor">
|
||||
<summary>
|
||||
<see cref="T:System.Diagnostics.Contracts.PureAttribute" /> 클래스의 새 인스턴스를 초기화합니다. </summary>
|
||||
</member>
|
||||
<member name="T:System.Runtime.CompilerServices.ContractHelper">
|
||||
<summary>이진 재작성기가 계약 실패를 처리하기 위해 사용하는 메서드를 제공합니다.</summary>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>이진 재작성기에서 기본 실패 동작을 활성화하는 데 사용됩니다.</summary>
|
||||
<returns>이벤트가 처리되고 실패를 트리거하지 않으면 null 참조(Visual Basic의 Nothing)이고, 그렇지 않으면 지역화된 실패 메시지를 반환합니다.</returns>
|
||||
<param name="failureKind">실패 유형을 지정하는 열거형 값 중 하나입니다.</param>
|
||||
<param name="userMessage">추가 사용자 정보입니다.</param>
|
||||
<param name="conditionText">실패를 발생시킨 조건에 대한 설명입니다.</param>
|
||||
<param name="innerException">현재 예외를 발생시킨 내부 예외입니다.</param>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="failureKind" />은(는) 올바른 <see cref="T:System.Diagnostics.Contracts.ContractFailureKind" /> 값이 아닙니다.</exception>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)">
|
||||
<summary>기본 실패 동작을 트리거합니다.</summary>
|
||||
<param name="kind">실패 유형을 지정하는 열거형 값 중 하나입니다.</param>
|
||||
<param name="displayMessage">표시할 메시지입니다.</param>
|
||||
<param name="userMessage">추가 사용자 정보입니다.</param>
|
||||
<param name="conditionText">실패를 발생시킨 조건에 대한 설명입니다.</param>
|
||||
<param name="innerException">현재 예외를 발생시킨 내부 예외입니다.</param>
|
||||
</member>
|
||||
</members>
|
||||
</doc>
|
||||
334
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/ru/System.Diagnostics.Contracts.xml
vendored
Normal file
334
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/ru/System.Diagnostics.Contracts.xml
vendored
Normal file
@@ -0,0 +1,334 @@
|
||||
<?xml version="1.0" encoding="utf-8"?>
|
||||
<doc>
|
||||
<assembly>
|
||||
<name>System.Diagnostics.Contracts</name>
|
||||
</assembly>
|
||||
<members>
|
||||
<member name="T:System.Diagnostics.Contracts.Contract">
|
||||
<summary>Содержит статические методы для представления контрактов программы, таких как предусловие, постусловие и инвариантность объектов.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
|
||||
<summary>Проверяет условие; если условие имеет значениеfalse, следует политике эскалации, заданной для анализатора.</summary>
|
||||
<param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
|
||||
<summary>Проверяет условие; если условие имеет значение false, следует политике эскалации, заданной анализатором, и отображает указанное сообщение.</summary>
|
||||
<param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
|
||||
<param name="userMessage">Сообщение, отображаемое при несоответствии условия.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
|
||||
<summary>Дает инструментам анализа кода команду полагать, что указанным условием является true, даже если статически невозможно подтвердить постоянное значение true.</summary>
|
||||
<param name="condition">Предполагаемое условное выражение true.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
|
||||
<summary>Дает инструментам анализа кода команду полагать, что условием является true, даже если статически невозможно подтвердить постоянное значение true, и отображает сообщение, если предположение было ошибочным.</summary>
|
||||
<param name="condition">Предполагаемое условное выражение true.</param>
|
||||
<param name="userMessage">Сообщение, создаваемое при ошибочном предположении.</param>
|
||||
</member>
|
||||
<member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
|
||||
<summary>Происходит, когда контракт не выполняется.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
|
||||
<summary>Помечает конец раздела контракта, когда контракты метода содержат только предусловия вида if-then-throw.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
|
||||
<summary>Указывает контракт постусловия для включающего метода или свойства.</summary>
|
||||
<param name="condition">Условное выражение, которое требуется подвергнуть проверке.Выражение может включать значения <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" />, <see cref="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)" /> и <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
|
||||
<summary>Указывает контракт постусловия для предоставленного выходного условия и сообщение, отображаемое, если условие имеет значение false.</summary>
|
||||
<param name="condition">Условное выражение, которое требуется подвергнуть проверке.Выражение может включать значения <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> и <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" />.</param>
|
||||
<param name="userMessage">Сообщение, отображаемое в том случае, если выражение не является true.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
|
||||
<summary>Задает контракт постусловия для включающего метода или свойства на основе предоставленных исключения и состояния.</summary>
|
||||
<param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
|
||||
<typeparam name="TException">Тип исключения, вызвавшего проверку постусловия.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
|
||||
<summary>Задает контракт постусловия и сообщение, которое необходимо отобразить, если условие имеет значение false, для включающего метода или свойства на основе предоставленных исключения и условия.</summary>
|
||||
<param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
|
||||
<param name="userMessage">Отображаемое сообщение, если выражение — false.</param>
|
||||
<typeparam name="TException">Тип исключения, вызвавшего проверку постусловия.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>Определяет, существует ли в рамках функции элемент в указанной коллекции элементов.</summary>
|
||||
<returns>Значение true, если и только если <paramref name="predicate" /> возвращает значение true для любого из элементов типа <paramref name="T" />, содержащихся в параметре <paramref name="collection" />.</returns>
|
||||
<param name="collection">Коллекция, из которой будут извлекаться элементы типа <paramref name="T" /> для передачи в <paramref name="predicate" />.</param>
|
||||
<param name="predicate">Функция, оцениваемая на предмет элемента, содержащегося в параметре <paramref name="collection" />.</param>
|
||||
<typeparam name="T">Тип, содержащийся в <paramref name="collection" />.</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>Определяет, удовлетворяет ли проверке какое-либо целое число в диапазоне целых чисел.</summary>
|
||||
<returns>Значение true, если <paramref name="predicate" /> возвращает true для любого целого числа, начиная от <paramref name="fromInclusive" /> до минус один <paramref name="toExclusive" />.</returns>
|
||||
<param name="fromInclusive">Первое целое число для передачи в <paramref name="predicate" />.</param>
|
||||
<param name="toExclusive">Последнее целое число для передачи в <paramref name="predicate" /> плюс один.</param>
|
||||
<param name="predicate">Функция, оцениваемая на предмет любого значения целого числа в указанном диапазоне.</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>Определяет, существуют ли в рамках функции все элементы в коллекции.</summary>
|
||||
<returns>Значение true, если и только если <paramref name="predicate" /> возвращает значение true для всех элементов типа <paramref name="T" />, содержащихся в параметре <paramref name="collection" />.</returns>
|
||||
<param name="collection">Коллекция, из которой будут извлекаться элементы типа <paramref name="T" /> для передачи в <paramref name="predicate" />.</param>
|
||||
<param name="predicate">Функция, оцениваемая на предмет наличия всех элементов, содержащихся в параметре <paramref name="collection" />.</param>
|
||||
<typeparam name="T">Тип, содержащийся в <paramref name="collection" />.</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>Определяет, выполняется ли определенное условие для всех целых чисел в указанном диапазоне.</summary>
|
||||
<returns>Значение true, если <paramref name="predicate" /> возвращает true для всех целых чисел, начиная от <paramref name="fromInclusive" /> до минус один <paramref name="toExclusive" />.</returns>
|
||||
<param name="fromInclusive">Первое целое число для передачи в <paramref name="predicate" />.</param>
|
||||
<param name="toExclusive">Последнее целое число для передачи в <paramref name="predicate" /> плюс один.</param>
|
||||
<param name="predicate">Функция, оцениваемая, чтобы установить существование целых чисел в указанном диапазоне.</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)">
|
||||
<summary>Задает инвариантный контракт ля включающего метода или свойства. </summary>
|
||||
<param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
|
||||
<summary>Указывает инвариантный контракт для включающего метода или свойства и отображает сообщение, если условие для контракта не выполняется.</summary>
|
||||
<param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
|
||||
<param name="userMessage">Отображаемое сообщение при условии false.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)">
|
||||
<summary>Представляет значения, какими они были в начале метода или свойства.</summary>
|
||||
<returns>Значение параметра или поля при запуске метода или свойства.</returns>
|
||||
<param name="value">Представляемое значение (поле или параметр).</param>
|
||||
<typeparam name="T">Тип значения.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
|
||||
<summary>Указывает контракт предусловия для включающего метода или свойства и выдает исключение, если условие для контракта не выполняется.</summary>
|
||||
<param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
|
||||
<typeparam name="TException">Выдаваемое исключение при условии false.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
|
||||
<summary>Указывает контракт предусловия для включающего метода или свойства.</summary>
|
||||
<param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
|
||||
<summary>Указывает контракт предусловия для включающего метода или свойства и отображает сообщение, если условие для контракта не выполняется.</summary>
|
||||
<param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
|
||||
<param name="userMessage">Отображаемое сообщение при условии false.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
|
||||
<summary>Задает контракт предусловия для включающего метода или свойства и создает исключение с предоставленным сообщением, если условие для контракта не выполняется.</summary>
|
||||
<param name="condition">Условное выражение, которое требуется подвергнуть проверке.</param>
|
||||
<param name="userMessage">Отображаемое сообщение при условии false.</param>
|
||||
<typeparam name="TException">Выдаваемое исключение при условии false.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Result``1">
|
||||
<summary>Представляет возвращаемое значение метода или свойства.</summary>
|
||||
<returns>Возвращаемое значение включающего метода или свойства.</returns>
|
||||
<typeparam name="T">Тип возвращаемого значения включающего метода или свойства.</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)">
|
||||
<summary>Представляет итоговое (выходное) значение параметра out по возвращении из метода.</summary>
|
||||
<returns>Выходное значение параметра out.</returns>
|
||||
<param name="value">Параметр out.</param>
|
||||
<typeparam name="T">Тип параметра out</typeparam>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute">
|
||||
<summary>Определяет аббревиатуры, которые можно использовать вместо полного синтаксиса контракта.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractAbbreviatorAttribute.#ctor">
|
||||
<summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute" />.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute">
|
||||
<summary>Включает факторизацию устаревшего кода if-then-throw в отдельные методы для многократного использования, и обеспечивает полный контроль над созданными исключениями и аргументами.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute.#ctor">
|
||||
<summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute" />.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassAttribute">
|
||||
<summary>Указывает, что отдельный тип содержит контракты кода для этого типа.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassAttribute.#ctor(System.Type)">
|
||||
<summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" />. </summary>
|
||||
<param name="typeContainingContracts">Тип, содержащий контракты кода для этого типа.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassAttribute.TypeContainingContracts">
|
||||
<summary>Получает тип, содержащий контракты кода для этого типа.</summary>
|
||||
<returns>Тип, содержащий контракты кода для этого типа. </returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
|
||||
<summary>Указывает, что класс является контрактом для типа.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassForAttribute.#ctor(System.Type)">
|
||||
<summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" /> с заданием типа, для которого текущий класс является контрактом. </summary>
|
||||
<param name="typeContractsAreFor">Тип, для которого текущий класс является контрактом.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassForAttribute.TypeContractsAreFor">
|
||||
<summary>Получает тип, к которому применяется этот контракт кода. </summary>
|
||||
<returns>Тип, к которому применяется этот контракт.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailedEventArgs">
|
||||
<summary>Предоставляет методы и данные для события <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.#ctor(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>Предоставляет данные для события <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
<param name="failureKind">Одно из значений перечисления, указывающее контракт, вызвавший сбой.</param>
|
||||
<param name="message">Сообщение для события.</param>
|
||||
<param name="condition">Условие события.</param>
|
||||
<param name="originalException">Исключение, которое вызвало событие.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Condition">
|
||||
<summary>Получает условие сбоя контракта.</summary>
|
||||
<returns>Условие сбоя.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.FailureKind">
|
||||
<summary>Получает тип контракта, вызвавшего сбой.</summary>
|
||||
<returns>Одно из значений перечисления, указывающее тип контракта, вызвавшего сбой.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled">
|
||||
<summary>Указывает, обработано ли событие <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
<returns>Значение true, если событие обработано; в противном случае — значение false. </returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Message">
|
||||
<summary>Получает сообщение, описывающее событие <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
<returns>Сообщение, описывающее событие.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.OriginalException">
|
||||
<summary>Получает исходное исключение, вызвавшее событие <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" />.</summary>
|
||||
<returns>Исключение, которое вызвало событие.</returns>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetHandled">
|
||||
<summary>Присваивает свойству <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled" /> значение true.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetUnwind">
|
||||
<summary>Присваивает свойству <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind" /> значение true.</summary>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind">
|
||||
<summary>Указывает, должна ли применяться политика эскалации контракта кода.</summary>
|
||||
<returns>Значение true, если политика эскалации должна применяться; в противном случае — значение false.Значение по умолчанию — false.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailureKind">
|
||||
<summary>Указывает тип контракта, вызвавшего сбой. </summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assert">
|
||||
<summary>Контракт <see cref="Overload:System.Diagnostics.Contracts.Contract.Assert" /> вызвал сбой.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assume">
|
||||
<summary>Контракт <see cref="Overload:System.Diagnostics.Contracts.Contract.Assume" /> вызвал сбой.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Invariant">
|
||||
<summary>Контракт <see cref="Overload:System.Diagnostics.Contracts.Contract.Invariant" /> вызвал сбой.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Postcondition">
|
||||
<summary>Контракт <see cref="Overload:System.Diagnostics.Contracts.Contract.Ensures" /> вызвал сбой. </summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException">
|
||||
<summary>Контракт <see cref="Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow" /> вызвал сбой.</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Precondition">
|
||||
<summary>Контракт <see cref="Overload:System.Diagnostics.Contracts.Contract.Requires" /> вызвал сбой.</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
|
||||
<summary>Помечает метод как инвариантный метод для класса.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractInvariantMethodAttribute.#ctor">
|
||||
<summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractOptionAttribute">
|
||||
<summary>Позволяет задавать параметры контракта и средств на уровне сборки, типа или метода.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.Boolean)">
|
||||
<summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" />, используя предоставленную категорию, настройку и значение включения/отключения.</summary>
|
||||
<param name="category">Категория для задаваемого параметра.</param>
|
||||
<param name="setting">Настройка параметра.</param>
|
||||
<param name="enabled">Значение true, чтобы включить параметр; значение false, чтобы отключить параметр.</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.String)">
|
||||
<summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" />, используя предоставленную категорию, настройку и значение.</summary>
|
||||
<param name="category">Категория задаваемого параметра.</param>
|
||||
<param name="setting">Настройка параметра.</param>
|
||||
<param name="value">Значение параметра.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Category">
|
||||
<summary>Получает категорию параметра.</summary>
|
||||
<returns>Категория параметра.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Enabled">
|
||||
<summary>Определяет, включен ли параметр.</summary>
|
||||
<returns>Значение true, если параметр включен; в противном случае — значение false.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Setting">
|
||||
<summary>Получает настройку для параметра.</summary>
|
||||
<returns>Настройка для параметра.</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Value">
|
||||
<summary>Получает значение для параметра.</summary>
|
||||
<returns>Значение для параметра.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute">
|
||||
<summary>Указывает, что поле может использоваться в контрактах методов, если видимость поля ниже, чем видимость метода. </summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.#ctor(System.String)">
|
||||
<summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute" />. </summary>
|
||||
<param name="name">Имя применяемого к полю свойства.</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.Name">
|
||||
<summary>Получает имя свойства, применяемого к полю.</summary>
|
||||
<returns>Имя свойства, которое следует применить к полю.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute">
|
||||
<summary>Указывает на то, что сборка является ссылочной сборкой, которая содержит контракты.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute.#ctor">
|
||||
<summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute">
|
||||
<summary>Определяет член, не имеющий поведения во время выполнения.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute.#ctor">
|
||||
<summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractVerificationAttribute">
|
||||
<summary>Указывает средствам анализа, что следует принять правильность сборки, типа или элемента без проведения статической проверки.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractVerificationAttribute.#ctor(System.Boolean)">
|
||||
<summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.ContractVerificationAttribute" />. </summary>
|
||||
<param name="value">Значение true для запроса проверки; в противном случае — значение false. </param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractVerificationAttribute.Value">
|
||||
<summary>Получает значение, определяющее, следует ли проверять контракт целевого объекта. </summary>
|
||||
<returns>Значение true, если проверка необходима; в противном случае — значение false.</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.PureAttribute">
|
||||
<summary>Указывает на то, что тип или метод являются чистыми, т. е. не вносят каких-либо видимых изменений в состояние.</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.PureAttribute.#ctor">
|
||||
<summary>Инициализирует новый экземпляр класса <see cref="T:System.Diagnostics.Contracts.PureAttribute" />. </summary>
|
||||
</member>
|
||||
<member name="T:System.Runtime.CompilerServices.ContractHelper">
|
||||
<summary>Предоставляет методы, которые двоичный метод перезаписи использует для обработки сбоев контракта.</summary>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>Используется двоичным методом перезаписи для активации поведения при сбоях по умолчанию.</summary>
|
||||
<returns>Пустая ссылка (Nothing в Visual Basic), если событие было обработано и не должно спровоцировать сбой; в противном случае возвращает локализованное сообщение об ошибке.</returns>
|
||||
<param name="failureKind">Одно из значений перечисления, задающее тип сбоя.</param>
|
||||
<param name="userMessage">Дополнительные данные пользователя.</param>
|
||||
<param name="conditionText">Описание условия, вызвавшего сбой.</param>
|
||||
<param name="innerException">Внутреннее исключение, вызвавшее текущее исключение.</param>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="failureKind" /> не является допустимым значением <see cref="T:System.Diagnostics.Contracts.ContractFailureKind" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)">
|
||||
<summary>Активирует поведение при сбоях по умолчанию.</summary>
|
||||
<param name="kind">Одно из значений перечисления, задающее тип сбоя.</param>
|
||||
<param name="displayMessage">Отображаемое сообщение.</param>
|
||||
<param name="userMessage">Дополнительные данные пользователя.</param>
|
||||
<param name="conditionText">Описание условия, вызвавшего сбой.</param>
|
||||
<param name="innerException">Внутреннее исключение, вызвавшее текущее исключение.</param>
|
||||
</member>
|
||||
</members>
|
||||
</doc>
|
||||
338
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/zh-hans/System.Diagnostics.Contracts.xml
vendored
Normal file
338
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/zh-hans/System.Diagnostics.Contracts.xml
vendored
Normal file
@@ -0,0 +1,338 @@
|
||||
<?xml version="1.0" encoding="utf-8"?>
|
||||
<doc>
|
||||
<assembly>
|
||||
<name>System.Diagnostics.Contracts</name>
|
||||
</assembly>
|
||||
<members>
|
||||
<member name="T:System.Diagnostics.Contracts.Contract">
|
||||
<summary>包含用于表示程序协定（如前置条件、后置条件和对象固定）的静态方法。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
|
||||
<summary>检查条件；如果条件为 false，则遵循为分析器设置的升级策略。</summary>
|
||||
<param name="condition">要测试的条件表达式。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
|
||||
<summary>检查条件；如果条件为 false，则遵循分析器设置的升级策略并显示指定消息。</summary>
|
||||
<param name="condition">要测试的条件表达式。</param>
|
||||
<param name="userMessage">在不满足条件时要显示的消息。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
|
||||
<summary>指示代码分析工具假设指定的条件为 true（即使无法静态地证明该条件始终为 true）。</summary>
|
||||
<param name="condition">假设为 true 的条件表达式。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
|
||||
<summary>指示代码分析工具假设指定的条件为 true（即使无法静态地证明该条件始终为 true）并在假设失败时显示一条消息。</summary>
|
||||
<param name="condition">假设为 true 的条件表达式。</param>
|
||||
<param name="userMessage">假设失败时要发布的消息。</param>
|
||||
</member>
|
||||
<member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
|
||||
<summary>协定失败时发生。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
|
||||
<summary>当方法的协定仅包含 if-then-throw 形式的前置条件时，标记协定部分的结尾。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
|
||||
<summary>为封闭方法或属性指定一个后置条件协定。</summary>
|
||||
<param name="condition">要测试的条件表达式。该表达式可以包括 <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" />、<see cref="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)" /> 和 <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" /> 值。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
|
||||
<summary>为提供的退出条件指定后置条件协定，并指定条件为 false 时要显示的消息。</summary>
|
||||
<param name="condition">要测试的条件表达式。该表达式可以包括 <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> 和 <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" /> 值。</param>
|
||||
<param name="userMessage">表达式不为 true 时要显示的消息。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
|
||||
<summary>基于提供的异常和条件为封闭方法或属性指定一个后置条件协定。</summary>
|
||||
<param name="condition">要测试的条件表达式。</param>
|
||||
<typeparam name="TException">引发后置条件检查的异常的类型。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
|
||||
<summary>基于提供的异常和条件为封闭方法或属性指定一个后置条件协定，并指定条件为 false 时要显示的消息。</summary>
|
||||
<param name="condition">要测试的条件表达式。</param>
|
||||
<param name="userMessage">表达式为 false 时要显示的消息。</param>
|
||||
<typeparam name="TException">引发后置条件检查的异常的类型。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>确定函数中是否存在某个元素集合中的元素。</summary>
|
||||
<returns>当且仅当 <paramref name="predicate" /> 对于 <paramref name="collection" /> 中的 <paramref name="T" /> 类型的任何元素都返回 true 时，才为 true。</returns>
|
||||
<param name="collection">将从中提取 <paramref name="T" /> 类型的元素以将其传递给 <paramref name="predicate" /> 的集合。</param>
|
||||
<param name="predicate">用于计算 <paramref name="collection" /> 中某个元素的函数。</param>
|
||||
<typeparam name="T">
|
||||
<paramref name="collection" /> 中包含的类型。</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>确定指定的测试对某个整数范围中的任何整数是否都为 true。</summary>
|
||||
<returns>如果 <paramref name="predicate" /> 对于从 <paramref name="fromInclusive" /> 到 <paramref name="toExclusive" /> - 1 范围内的任何整数都返回 true，则为 true。</returns>
|
||||
<param name="fromInclusive">要传递给 <paramref name="predicate" /> 的第一个整数。</param>
|
||||
<param name="toExclusive">要传递给 <paramref name="predicate" /> 的最后一个整数加一。</param>
|
||||
<param name="predicate">用于计算指定范围内整数的任何值的函数。</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>确定函数中是否存在某个集合中的所有元素。</summary>
|
||||
<returns>当且仅当 <paramref name="predicate" /> 对于 <paramref name="collection" /> 中的 <paramref name="T" /> 类型的全部元素都返回 true 时，才为 true。</returns>
|
||||
<param name="collection">将从中提取 <paramref name="T" /> 类型的元素以将其传递给 <paramref name="predicate" /> 的集合。</param>
|
||||
<param name="predicate">用于计算 <paramref name="collection" /> 中所有元素是否存在的函数。</param>
|
||||
<typeparam name="T">
|
||||
<paramref name="collection" /> 中包含的类型。</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>确定某个特定条件是否对指定范围内的所有整数都有效。</summary>
|
||||
<returns>如果 <paramref name="predicate" /> 对于从 <paramref name="fromInclusive" /> 到 <paramref name="toExclusive" /> - 1 范围内的任何整数都返回 true，则为 true。</returns>
|
||||
<param name="fromInclusive">要传递给 <paramref name="predicate" /> 的第一个整数。</param>
|
||||
<param name="toExclusive">要传递给 <paramref name="predicate" /> 的最后一个整数加一。</param>
|
||||
<param name="predicate">要计算其中是否存在指定范围内的整数的函数。</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)">
|
||||
<summary>为封闭方法或属性指定一个固定的协定。</summary>
|
||||
<param name="condition">要测试的条件表达式。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
|
||||
<summary>为封闭方法或属性指定一个固定协定，并在该协定的条件失败时显示一条消息。</summary>
|
||||
<param name="condition">要测试的条件表达式。</param>
|
||||
<param name="userMessage">条件为 false 时要显示的消息。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)">
|
||||
<summary>表示方法或属性开始时的值。</summary>
|
||||
<returns>一个方法或属性开始处的参数或字段的值。</returns>
|
||||
<param name="value">要表示的值（字段或参数）。</param>
|
||||
<typeparam name="T">值的类型。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
|
||||
<summary>为封闭方法或属性指定一个前置条件协定，并在该协定的条件失败时引发异常。</summary>
|
||||
<param name="condition">要测试的条件表达式。</param>
|
||||
<typeparam name="TException">条件为 false 时要引发的异常。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
|
||||
<summary>为封闭方法或属性指定一个前置条件协定。</summary>
|
||||
<param name="condition">要测试的条件表达式。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
|
||||
<summary>为封闭方法或属性指定一个前置条件协定，并在该协定的条件失败时显示一条消息。</summary>
|
||||
<param name="condition">要测试的条件表达式。</param>
|
||||
<param name="userMessage">条件为 false 时要显示的消息。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
|
||||
<summary>为封闭方法或属性指定一个前置条件协定，并在该协定的条件失败时引发包含提供的消息的异常。</summary>
|
||||
<param name="condition">要测试的条件表达式。</param>
|
||||
<param name="userMessage">条件为 false 时要显示的消息。</param>
|
||||
<typeparam name="TException">条件为 false 时要引发的异常。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Result``1">
|
||||
<summary>表示一个方法或属性的返回值。</summary>
|
||||
<returns>封闭方法或属性的返回值。</returns>
|
||||
<typeparam name="T">封闭方法或属性的返回值的类型。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)">
|
||||
<summary>表示从一个方法返回时 out 参数的最终（输出）值。</summary>
|
||||
<returns>out 参数的输出值。</returns>
|
||||
<param name="value">out 参数。</param>
|
||||
<typeparam name="T">out 参数的类型。</typeparam>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute">
|
||||
<summary>定义您可用于替代完整协定语法的缩写。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractAbbreviatorAttribute.#ctor">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute" /> 类的新实例。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute">
|
||||
<summary>启用旧的 if-then-throw 代码分离为单独的方法以重用，并提供对引发的异常和参数的完全控制。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute.#ctor">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute" /> 类的新实例。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassAttribute">
|
||||
<summary>指定一个单独的类型包含此类型的代码协定。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassAttribute.#ctor(System.Type)">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" /> 类的新实例。</summary>
|
||||
<param name="typeContainingContracts">包含此类型的代码协定的类型。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassAttribute.TypeContainingContracts">
|
||||
<summary>获取包含此类型的代码协定的类型。</summary>
|
||||
<returns>包含此类型的代码协定的类型。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
|
||||
<summary>指定一个类是某个类型的协定。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassForAttribute.#ctor(System.Type)">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" /> 类的新实例，并指定使用当前类作为协定的类型。</summary>
|
||||
<param name="typeContractsAreFor">使用当前类作为协定的类型。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassForAttribute.TypeContractsAreFor">
|
||||
<summary>获取此代码协定应用于的类型。</summary>
|
||||
<returns>此协定应用于的类型。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailedEventArgs">
|
||||
<summary>为 <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 事件提供方法和数据。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.#ctor(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>为 <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 事件提供数据。</summary>
|
||||
<param name="failureKind">用于指定失败的协定的枚举值之一。</param>
|
||||
<param name="message">事件的消息。</param>
|
||||
<param name="condition">事件的条件。</param>
|
||||
<param name="originalException">导致事件的异常。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Condition">
|
||||
<summary>获取协定失败的条件。</summary>
|
||||
<returns>失败的条件。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.FailureKind">
|
||||
<summary>获取失败的协定的类型。</summary>
|
||||
<returns>用于指定失败的协定的类型的枚举值之一。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled">
|
||||
<summary>指示是否已处理 <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 事件。</summary>
|
||||
<returns>如果事件已被处理，则为 true；否则为 false。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Message">
|
||||
<summary>获取描述 <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 事件的消息。</summary>
|
||||
<returns>描述事件的消息。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.OriginalException">
|
||||
<summary>获取导致 <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 事件的原始异常。</summary>
|
||||
<returns>导致事件的异常。</returns>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetHandled">
|
||||
<summary>将 <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled" /> 属性设置为 true。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetUnwind">
|
||||
<summary>将 <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind" /> 属性设置为 true。</summary>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind">
|
||||
<summary>指示是否应该应用代码协定升级策略。</summary>
|
||||
<returns>若为 true，则应用升级策略；否则为 false。默认值为 false。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailureKind">
|
||||
<summary>指定失败的协定的类型。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assert">
|
||||
<summary>一个失败的 <see cref="Overload:System.Diagnostics.Contracts.Contract.Assert" /> 协定。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assume">
|
||||
<summary>一个失败的 <see cref="Overload:System.Diagnostics.Contracts.Contract.Assume" /> 协定。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Invariant">
|
||||
<summary>一个失败的 <see cref="Overload:System.Diagnostics.Contracts.Contract.Invariant" /> 协定。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Postcondition">
|
||||
<summary>一个失败的 <see cref="Overload:System.Diagnostics.Contracts.Contract.Ensures" /> 协定。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException">
|
||||
<summary>一个失败的 <see cref="Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow" /> 协定。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Precondition">
|
||||
<summary>一个失败的 <see cref="Overload:System.Diagnostics.Contracts.Contract.Requires" /> 协定。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
|
||||
<summary>将一个方法标记为某个类的固定方法。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractInvariantMethodAttribute.#ctor">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute" /> 类的新实例。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractOptionAttribute">
|
||||
<summary>可以在程序集、类型或方法粒度方面设置协定和工具选项。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.Boolean)">
|
||||
<summary>使用提供的类别，设置和可用
|
||||
或禁用值初始化 <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> 类的新实例。</summary>
|
||||
<param name="category">要设置的选项的类别。</param>
|
||||
<param name="setting">选项设置。</param>
|
||||
<param name="enabled">启用选择，则为 true；禁用选择，则为 false。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.String)">
|
||||
<summary>使用提供的类别，设置和可用
|
||||
或禁用值初始化 <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> 类的新实例。</summary>
|
||||
<param name="category">要设置的选项的类别。</param>
|
||||
<param name="setting">选项设置。</param>
|
||||
<param name="value">此设置的值。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Category">
|
||||
<summary>获取选项的类别。</summary>
|
||||
<returns>选项的类别。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Enabled">
|
||||
<summary>确定选项是否启用。</summary>
|
||||
<returns>如果启用该选项，则为 true；否则，为 false。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Setting">
|
||||
<summary>获得选项的设置。</summary>
|
||||
<returns>此选项的设置。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Value">
|
||||
<summary>获取选项的值。</summary>
|
||||
<returns>选项的值。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute">
|
||||
<summary>指定在某个字段的可见性低于方法时可在方法协定中使用该字段。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.#ctor(System.String)">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute" /> 类的新实例。</summary>
|
||||
<param name="name">要应用于字段的属性名称。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.Name">
|
||||
<summary>获取要应用于字段的属性名称。</summary>
|
||||
<returns>要应用于字段的属性名称。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute">
|
||||
<summary>指定一个程序集是包含协定的引用程序集。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute.#ctor">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute" /> 类的新实例。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute">
|
||||
<summary>标识没有运行时行为的成员。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute.#ctor">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute" /> 类的新实例。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractVerificationAttribute">
|
||||
<summary>指示分析工具假定程序集、类型或成员的正确性，而不执行静态验证。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractVerificationAttribute.#ctor(System.Boolean)">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractVerificationAttribute" /> 类的新实例。</summary>
|
||||
<param name="value">若为 true，则需要验证；否则为 false。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractVerificationAttribute.Value">
|
||||
<summary>获取指示是否验证目标的协定的值。</summary>
|
||||
<returns>如果需要验证，则为 true；否则为 false。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.PureAttribute">
|
||||
<summary>指示一个类型或方法为纯类型或纯方法，即它不进行任何可视的状态更改。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.PureAttribute.#ctor">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.PureAttribute" /> 类的新实例。</summary>
|
||||
</member>
|
||||
<member name="T:System.Runtime.CompilerServices.ContractHelper">
|
||||
<summary>提供二进制重写工具用来处理协定失败的方法。</summary>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>由二进制重写工具用来激活默认失败行为。</summary>
|
||||
<returns>如果事件已经过处理且不应触发失败，则为空引用（在 Visual Basic 中为 Nothing）；否则返回本地化的失败消息。</returns>
|
||||
<param name="failureKind">指定故障类型的枚举值之一。</param>
|
||||
<param name="userMessage">其他用户信息。</param>
|
||||
<param name="conditionText">对导致失败的条件的说明。</param>
|
||||
<param name="innerException">导致当前异常的内部异常。</param>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="failureKind" /> 不是有效的 <see cref="T:System.Diagnostics.Contracts.ContractFailureKind" /> 值。</exception>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)">
|
||||
<summary>触发默认失败行为。</summary>
|
||||
<param name="kind">指定故障类型的枚举值之一。</param>
|
||||
<param name="displayMessage">要显示的消息。</param>
|
||||
<param name="userMessage">其他用户信息。</param>
|
||||
<param name="conditionText">对导致失败的条件的说明。</param>
|
||||
<param name="innerException">导致当前异常的内部异常。</param>
|
||||
</member>
|
||||
</members>
|
||||
</doc>
|
||||
340
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/zh-hant/System.Diagnostics.Contracts.xml
vendored
Normal file
340
packages/System.Diagnostics.Contracts.4.0.1/ref/netcore50/zh-hant/System.Diagnostics.Contracts.xml
vendored
Normal file
@@ -0,0 +1,340 @@
|
||||
<?xml version="1.0" encoding="utf-8"?>
|
||||
<doc>
|
||||
<assembly>
|
||||
<name>System.Diagnostics.Contracts</name>
|
||||
</assembly>
|
||||
<members>
|
||||
<member name="T:System.Diagnostics.Contracts.Contract">
|
||||
<summary>包含表示程式合約的靜態方法，例如前置條件、後置條件及物件非變異。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean)">
|
||||
<summary>檢查條件，且如果條件為 false，則遵循已為分析器設定的擴大原則。</summary>
|
||||
<param name="condition">要測試的條件運算式。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assert(System.Boolean,System.String)">
|
||||
<summary>檢查條件。如果條件為 false，則遵循分析器所設定的擴大原則，並顯示指定的訊息。</summary>
|
||||
<param name="condition">要測試的條件運算式。</param>
|
||||
<param name="userMessage">當條件不符合時所顯示的訊息。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean)">
|
||||
<summary>指示程式碼分析工具假設指定的條件為 true，即使該條件無法以靜態方式證明永遠是 true 亦然。</summary>
|
||||
<param name="condition">要假設 true 的條件運算式。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Assume(System.Boolean,System.String)">
|
||||
<summary>指示程式碼分析工具假設條件為 true，即使該條件無法以靜態方式證明永遠是 true 亦然，同時在假設失敗時顯示訊息。</summary>
|
||||
<param name="condition">要假設 true 的條件運算式。</param>
|
||||
<param name="userMessage">要在假設失敗時張貼的訊息。</param>
|
||||
</member>
|
||||
<member name="E:System.Diagnostics.Contracts.Contract.ContractFailed">
|
||||
<summary>發生於合約失敗時。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EndContractBlock">
|
||||
<summary>當方法的合約僅包含 if-then-throw 形式的前置條件時，標記合約區段的結尾。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean)">
|
||||
<summary>指定封入方法或屬性的後置條件合約。</summary>
|
||||
<param name="condition">要測試的條件運算式。運算式可以包含 <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" />、<see cref="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)" /> 及 <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" /> 值。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Ensures(System.Boolean,System.String)">
|
||||
<summary>為提供的結束條件指定後置條件合約，以及在條件為 false 時所要顯示的訊息。</summary>
|
||||
<param name="condition">要測試的條件運算式。運算式可以包含 <see cref="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)" /> 和 <see cref="M:System.Diagnostics.Contracts.Contract.Result``1" /> 值。</param>
|
||||
<param name="userMessage">當運算式不是 true 時所顯示的訊息。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean)">
|
||||
<summary>根據所提供的例外狀況和條件，針對封入方法或屬性指定後置條件合約。</summary>
|
||||
<param name="condition">要測試的條件運算式。</param>
|
||||
<typeparam name="TException">例外狀況類型，其會叫用後置條件檢查。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.EnsuresOnThrow``1(System.Boolean,System.String)">
|
||||
<summary>根據所提供之例外狀況和條件，針對封入方法或屬性來指定後置條件合約，和當條件是 false 時顯示的訊息。</summary>
|
||||
<param name="condition">要測試的條件運算式。</param>
|
||||
<param name="userMessage">如果運算式為 false 時所顯示的訊息。</param>
|
||||
<typeparam name="TException">例外狀況類型，其會叫用後置條件檢查。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>判斷項目集合內的項目是否出現在函式中。</summary>
|
||||
<returns>只有在 <paramref name="predicate" /> 為 <paramref name="collection" /> 中任何 <paramref name="T" /> 類型之元素傳回 true 時，才為 true。</returns>
|
||||
<param name="collection">將從中取出 <paramref name="T" /> 類型的項目以傳遞至 <paramref name="predicate" /> 的集合。</param>
|
||||
<param name="predicate">要評估 <paramref name="collection" /> 中元素的函式。</param>
|
||||
<typeparam name="T">包含在 <paramref name="collection" /> 中的類型。</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Exists(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>判斷整數範圍內是否有任何整數使指定的測試成立。</summary>
|
||||
<returns>如果 <paramref name="predicate" /> 為從 <paramref name="fromInclusive" /> 開始到 <paramref name="toExclusive" /> - 1 的任何整數傳回 true，則為 true。</returns>
|
||||
<param name="fromInclusive">要傳遞至 <paramref name="predicate" /> 的第一個整數。</param>
|
||||
<param name="toExclusive">要傳遞至 <paramref name="predicate" /> 的最後一個整數加一。</param>
|
||||
<param name="predicate">要評估指定範圍內任何整數值的函式。</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll``1(System.Collections.Generic.IEnumerable{``0},System.Predicate{``0})">
|
||||
<summary>判斷集合內的所有項目是否都出現在函式中。</summary>
|
||||
<returns>只有在 <paramref name="predicate" /> 為 <paramref name="collection" /> 中所有 <paramref name="T" /> 類型的元素傳回 true 時，才為 true。</returns>
|
||||
<param name="collection">將從中取出 <paramref name="T" /> 類型的項目以傳遞至 <paramref name="predicate" /> 的集合。</param>
|
||||
<param name="predicate">要評估 <paramref name="collection" /> 中所有元素是否存在的函式。</param>
|
||||
<typeparam name="T">包含在 <paramref name="collection" /> 中的類型。</typeparam>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="collection" /> or <paramref name="predicate" /> is null.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ForAll(System.Int32,System.Int32,System.Predicate{System.Int32})">
|
||||
<summary>判斷特定條件對於指定之範圍內的所有整數是否有效。</summary>
|
||||
<returns>如果 <paramref name="predicate" /> 為從 <paramref name="fromInclusive" /> 開始到 <paramref name="toExclusive" /> - 1 的所有整數傳回 true，則為 true。</returns>
|
||||
<param name="fromInclusive">要傳遞至 <paramref name="predicate" /> 的第一個整數。</param>
|
||||
<param name="toExclusive">要傳遞至 <paramref name="predicate" /> 的最後一個整數加一。</param>
|
||||
<param name="predicate">要評估指定範圍中整數是否存在的函式。</param>
|
||||
<exception cref="T:System.ArgumentNullException">
|
||||
<paramref name="predicate" /> is null.</exception>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="toExclusive " />is less than <paramref name="fromInclusive" />.</exception>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean)">
|
||||
<summary>指定封入方法或屬性的非變異合約。</summary>
|
||||
<param name="condition">要測試的條件運算式。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Invariant(System.Boolean,System.String)">
|
||||
<summary>指定封入方法或屬性的非變異合約，並在合約的條件失敗時顯示訊息。</summary>
|
||||
<param name="condition">要測試的條件運算式。</param>
|
||||
<param name="userMessage">如果條件為 false 時所顯示的訊息。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.OldValue``1(``0)">
|
||||
<summary>表示其在方法或屬性開始時的值。</summary>
|
||||
<returns>在方法或屬性開始時之欄位或參數的值。</returns>
|
||||
<param name="value">要表示的值 (欄位或參數)。</param>
|
||||
<typeparam name="T">值的類型。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean)">
|
||||
<summary>指定封入方法或屬性的前置條件合約，並在合約的條件失敗時擲回例外狀況。</summary>
|
||||
<param name="condition">要測試的條件運算式。</param>
|
||||
<typeparam name="TException">當條件為 false 時所要擲回的例外狀況。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean)">
|
||||
<summary>指定封入方法或屬性的前置條件合約。</summary>
|
||||
<param name="condition">要測試的條件運算式。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires(System.Boolean,System.String)">
|
||||
<summary>指定封入方法或屬性的前置條件合約，並在合約的條件失敗時顯示訊息。</summary>
|
||||
<param name="condition">要測試的條件運算式。</param>
|
||||
<param name="userMessage">如果條件為 false 時所顯示的訊息。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Requires``1(System.Boolean,System.String)">
|
||||
<summary>指定封入方法或屬性的前置條件合約，並在合約的條件失敗時擲回包含所提供訊息的例外狀況。</summary>
|
||||
<param name="condition">要測試的條件運算式。</param>
|
||||
<param name="userMessage">如果條件為 false 時所顯示的訊息。</param>
|
||||
<typeparam name="TException">當條件為 false 時所要擲回的例外狀況。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.Result``1">
|
||||
<summary>表示方法或屬性的傳回值。</summary>
|
||||
<returns>封入方法或屬性的傳回值。</returns>
|
||||
<typeparam name="T">封入方法或屬性的傳回值類型。</typeparam>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.Contract.ValueAtReturn``1(``0@)">
|
||||
<summary>表示從方法傳回時的最後 (輸出) out 參數值。</summary>
|
||||
<returns>out 參數的輸出值。</returns>
|
||||
<param name="value">out 參數。</param>
|
||||
<typeparam name="T">out 參數的類型。</typeparam>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute">
|
||||
<summary>定義可以取代完整合約語法的縮寫。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractAbbreviatorAttribute.#ctor">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractAbbreviatorAttribute" /> 類別的新執行個體。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute">
|
||||
<summary>可讓您將舊版 if-then-throw 程式碼分成不同的方法以供重複使用，並讓您完整控制擲回的例外狀況和引數。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute.#ctor">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractArgumentValidatorAttribute" /> 類別的新執行個體。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassAttribute">
|
||||
<summary>指定不同的型別包含此型別的程式碼合約。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassAttribute.#ctor(System.Type)">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractClassAttribute" /> 類別的新執行個體。</summary>
|
||||
<param name="typeContainingContracts">型別，包含這個型別的程式碼合約。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassAttribute.TypeContainingContracts">
|
||||
<summary>取得型別，此型別包含這個型別的程式碼合約。</summary>
|
||||
<returns>型別，包含這個型別的程式碼合約。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractClassForAttribute">
|
||||
<summary>指定類別是某個型別的合約。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractClassForAttribute.#ctor(System.Type)">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractClassForAttribute" /> 類別的新執行個體，指定目前類別為其合約的型別。</summary>
|
||||
<param name="typeContractsAreFor">目前類別為其合約的型別。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractClassForAttribute.TypeContractsAreFor">
|
||||
<summary>取得型別，即其中要套用此程式碼合約的型別。</summary>
|
||||
<returns>其中要套用此程式碼合約的型別。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailedEventArgs">
|
||||
<summary>提供 <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 事件的方法與資料。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.#ctor(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>提供 <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 事件的資料。</summary>
|
||||
<param name="failureKind">一個列舉值，指定失敗的合約。</param>
|
||||
<param name="message">事件的訊息。</param>
|
||||
<param name="condition">事件的條件。</param>
|
||||
<param name="originalException">造成事件的例外狀況。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Condition">
|
||||
<summary>取得合約失敗的條件。</summary>
|
||||
<returns>失敗的條件。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.FailureKind">
|
||||
<summary>取得失敗的合約類型。</summary>
|
||||
<returns>一個列舉值，指定失敗之合約的型別。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled">
|
||||
<summary>表示是否已處理 <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 事件。</summary>
|
||||
<returns>如果已處理事件則為 true，否則為 false。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Message">
|
||||
<summary>取得描述 <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 事件的訊息。</summary>
|
||||
<returns>描述事件的訊息。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.OriginalException">
|
||||
<summary>取得造成 <see cref="E:System.Diagnostics.Contracts.Contract.ContractFailed" /> 事件的原始例外狀況。</summary>
|
||||
<returns>造成事件的例外狀況。</returns>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetHandled">
|
||||
<summary>將 <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Handled" /> 屬性設定為 true。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractFailedEventArgs.SetUnwind">
|
||||
<summary>將 <see cref="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind" /> 屬性設定為 true。</summary>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractFailedEventArgs.Unwind">
|
||||
<summary>指出是否應該套用程式碼合約擴大原則。</summary>
|
||||
<returns>true 表示要套用擴大原則，否則為 false。預設為 false。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractFailureKind">
|
||||
<summary>指定失敗的合約類型。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assert">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Assert" /> 合約失敗。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Assume">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Assume" /> 合約失敗。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Invariant">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Invariant" /> 合約失敗。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Postcondition">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Ensures" /> 合約失敗。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow" /> 合約失敗。</summary>
|
||||
</member>
|
||||
<member name="F:System.Diagnostics.Contracts.ContractFailureKind.Precondition">
|
||||
<summary>
|
||||
<see cref="Overload:System.Diagnostics.Contracts.Contract.Requires" /> 合約失敗。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute">
|
||||
<summary>將方法標示為類別的非變異方法。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractInvariantMethodAttribute.#ctor">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractInvariantMethodAttribute" /> 類別的新執行個體。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractOptionAttribute">
|
||||
<summary>可讓您以組件、型別或方法的資料粒度設定合約及工具選項。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.Boolean)">
|
||||
<summary>使用提供的分類、設定和啟用/停用值，初始化 <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> 類別的新執行個體。</summary>
|
||||
<param name="category">要設定其選項的分類。</param>
|
||||
<param name="setting">選項設定。</param>
|
||||
<param name="enabled">true 表示要啟用選項，false 表示要停用選項。</param>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractOptionAttribute.#ctor(System.String,System.String,System.String)">
|
||||
<summary>使用提供的分類、設定和值，初始化 <see cref="T:System.Diagnostics.Contracts.ContractOptionAttribute" /> 類別的新執行個體。</summary>
|
||||
<param name="category">要設定之選項的分類。</param>
|
||||
<param name="setting">選項設定。</param>
|
||||
<param name="value">設定的值。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Category">
|
||||
<summary>取得選項的分類。</summary>
|
||||
<returns>選項的分類。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Enabled">
|
||||
<summary>判斷是否選項已啟用。</summary>
|
||||
<returns>如果已啟用此選項，則為 true，否則為 false。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Setting">
|
||||
<summary>取得選項的設定。</summary>
|
||||
<returns>選項的設定值。</returns>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractOptionAttribute.Value">
|
||||
<summary>取得選項的值。</summary>
|
||||
<returns>選項的值。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute">
|
||||
<summary>指定當欄位的可視性比方法還低時，可在方法合約中使用的欄位。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.#ctor(System.String)">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute" /> 類別的新執行個體。</summary>
|
||||
<param name="name">要套用至欄位的屬性名稱。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute.Name">
|
||||
<summary>取得要套用至欄位的屬性名稱。</summary>
|
||||
<returns>要套用至欄位的屬性名稱。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute">
|
||||
<summary>指定組件是包含合約的參考組件。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute.#ctor">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractReferenceAssemblyAttribute" /> 類別的新執行個體。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute">
|
||||
<summary>識別沒有執行階段行為的成員。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute.#ctor">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractRuntimeIgnoredAttribute" /> 類別的新執行個體。</summary>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.ContractVerificationAttribute">
|
||||
<summary>指示分析工具不執行靜態驗證便假設組件、型別或成員的正確性。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.ContractVerificationAttribute.#ctor(System.Boolean)">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.ContractVerificationAttribute" /> 類別的新執行個體。</summary>
|
||||
<param name="value">true 表示需要驗證，否則為 false。</param>
|
||||
</member>
|
||||
<member name="P:System.Diagnostics.Contracts.ContractVerificationAttribute.Value">
|
||||
<summary>取得指出是否要驗證目標合約的值。</summary>
|
||||
<returns>如果需要驗證則為 true，否則為 false。</returns>
|
||||
</member>
|
||||
<member name="T:System.Diagnostics.Contracts.PureAttribute">
|
||||
<summary>指出型別或方法是純正的，也就是它不會執行任何可見的狀態變更。</summary>
|
||||
</member>
|
||||
<member name="M:System.Diagnostics.Contracts.PureAttribute.#ctor">
|
||||
<summary>初始化 <see cref="T:System.Diagnostics.Contracts.PureAttribute" /> 類別的新執行個體。</summary>
|
||||
</member>
|
||||
<member name="T:System.Runtime.CompilerServices.ContractHelper">
|
||||
<summary>提供方法，即二進位重寫器用來處理合約失敗的方法。</summary>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.Exception)">
|
||||
<summary>由二進位重寫器用來啟動預設失敗行為。</summary>
|
||||
<returns>如果已處理該事件且應該不會觸發失敗，則為 Null 參考 (在 Visual Basic 中的 Nothing)，否則會傳回當地語系化的失敗訊息。</returns>
|
||||
<param name="failureKind">其中一個列舉值，這個值指定失敗的類型。</param>
|
||||
<param name="userMessage">其他使用者資訊。</param>
|
||||
<param name="conditionText">造成失敗的條件描述。</param>
|
||||
<param name="innerException">造成目前例外狀況的內部例外狀況。</param>
|
||||
<exception cref="T:System.ArgumentException">
|
||||
<paramref name="failureKind" /> 不是有效的 <see cref="T:System.Diagnostics.Contracts.ContractFailureKind" /> 值。</exception>
|
||||
</member>
|
||||
<member name="M:System.Runtime.CompilerServices.ContractHelper.TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind,System.String,System.String,System.String,System.Exception)">
|
||||
<summary>觸發預設的失敗行為。</summary>
|
||||
<param name="kind">其中一個列舉值，這個值指定失敗的類型。</param>
|
||||
<param name="displayMessage">要顯示的訊息。</param>
|
||||
<param name="userMessage">其他使用者資訊。</param>
|
||||
<param name="conditionText">造成失敗的條件描述。</param>
|
||||
<param name="innerException">造成目前例外狀況的內部例外狀況。</param>
|
||||
</member>
|
||||
</members>
|
||||
</doc>
|
||||
Reference in New Issue
Block a user