ContractFailureKind Enum
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
Specifies the type of contract that failed.
public enum class ContractFailureKind
public enum ContractFailureKind
type ContractFailureKind =
Public Enum ContractFailureKind
- Inheritance
Fields
Assert | 4 | An Assert contract failed. |
Assume | 5 | An Assume contract failed. |
Invariant | 3 | An Invariant contract failed. |
Postcondition | 1 | An Ensures contract failed. |
PostconditionOnException | 2 | An EnsuresOnThrow contract failed. |
Precondition | 0 | A Requires contract failed. |
Remarks
The ContractFailureKind enumeration is used by the System.Diagnostics.Contracts.ContractFailedEventArgs class.
Applies to
Σχόλια
https://aka.ms/ContentUserFeedback.
Σύντομα διαθέσιμα: Καθ' όλη τη διάρκεια του 2024 θα καταργήσουμε σταδιακά τα ζητήματα GitHub ως μηχανισμό ανάδρασης για το περιεχόμενο και θα το αντικαταστήσουμε με ένα νέο σύστημα ανάδρασης. Για περισσότερες πληροφορίες, ανατρέξτε στο θέμα:Υποβολή και προβολή σχολίων για