PexRuntimeContractsFlags Sabit listesi

  • Başvuru

Tanım

Ad Alanı:
Microsoft.Pex.Framework.Generated
Bütünleştirilmiş Kod:
Microsoft.Pex.Framework.dll
Bütünleştirilmiş Kod:

Yeniden yazan derleme düzeyi sözleşmesini alır

Bu sabit listesi, üyeleri için bit düzeyinde karşılaştırmayı destekler.

public enum class PexRuntimeContractsFlags
[System.Flags]
[System.Serializable]
public enum PexRuntimeContractsFlags
[<System.Flags>]
[<System.Serializable>]
type PexRuntimeContractsFlags = 
Public Enum PexRuntimeContractsFlags
Devralma
Enum
PexRuntimeContractsFlags
Öznitelikler
FlagsAttribute SerializableAttribute

Alanlar

Asserts 32

Onaylamalar
Assumes 64

Varsayımlar
AsyncEnsures 128

Zaman uyumsuz sağlar
Ensures 8

Uygulanmasını
Full 20735

Tüm sözleşmeler
InheritContracts 16384

Sözleşmeleri devralma
Invariants 16

Invaryantlar
LegacyRequires 1

Legacygerektiriyor
NoChecking 32768

Denetim yok
None 0

Sözleşme yok
Preconditions 135

Tüm Önkoşullar
Requires 4

Üstbilgisinde
RequiresWithException 2

RequiresAlways
StandardMode 8192

Standart mod
ThrowOnFailure 4096

Hata durumunda oluşturur

Şunlara uygulanır