C# (CSharp) System.Diagnostics.ContractsShim.Contract.Invariant示例

示例#1

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

示例#2

文件： GroupTagData32.cs 项目： KornnerStudios/KSoft

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

示例#3

文件： HandleBitEncoder.cs 项目： KornnerStudios/KSoft

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