Exemplos de System.Diagnostics.ContractsShim.Contract.Invariant em C# (CSharp)

Exemplo n.º 1

 void ObjectInvariant()
 {
     Contract.Invariant(mFixedLength >= 0);
 }

Exemplo n.º 2

Arquivo: GroupTagData32.cs Projeto: KornnerStudios/KSoft

 void ObjectInvariant()
 {
     Contract.Invariant(mTag.Length == kExpectedTagLength);
 }

Exemplo n.º 3

Arquivo: HandleBitEncoder.cs Projeto: KornnerStudios/KSoft

 void ObjectInvariant()
 {
     Contract.Invariant(mBitIndex >= 0);
     Contract.Invariant(mBitIndex <= Bits.kInt64BitCount);
 }