Partager via

PexRuntimeContractsFlags Enum

  • Reference

Definition

Namespace:
Microsoft.Pex.Framework.Generated
Assembly:
Microsoft.Pex.Framework.dll

Gets the rewritten assembly level contract

This enumeration supports a bitwise combination of its member values.

public enum class PexRuntimeContractsFlags
[System.Flags]
[System.Serializable]
public enum PexRuntimeContractsFlags
[<System.Flags>]
[<System.Serializable>]
type PexRuntimeContractsFlags = 
Public Enum PexRuntimeContractsFlags
Inheritance
Enum
PexRuntimeContractsFlags
Attributes
FlagsAttribute SerializableAttribute

Fields

Name Value Description
None 0

No contracts
LegacyRequires 1

LegacyRequires
RequiresWithException 2

RequiresAlways
Requires 4

Preconditions
Ensures 8

Ensures
Invariants 16

Invariants
Asserts 32

Assertions
Assumes 64

Assumptions
AsyncEnsures 128

Async ensures
Preconditions 135

All preconditions
ThrowOnFailure 4096

Throws on failure
StandardMode 8192

Standard mode
InheritContracts 16384

Inherit contracts
Full 20735

All contracts
NoChecking 32768

No checking

Applies to