C# (CSharp) System.Diagnostics.ContractsShim.Contract.Invariant Beispiele

Beispiel #1

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

Beispiel #2

Datei: GroupTagData32.cs Projekt: KornnerStudios/KSoft

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

Beispiel #3

Datei: HandleBitEncoder.cs Projekt: KornnerStudios/KSoft

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