C# (CSharp) TurboContract.Invariantの例

コード例 #1

 private void Invariant()
 {
     TurboContract.Invariant(_procThreads != null);
     TurboContract.Invariant(_queue != null);
     TurboContract.Invariant(_name != null);
     TurboContract.Invariant(_activeThreadCount >= 0);
     TurboContract.Invariant(Enum.IsDefined(typeof(QueueAsyncProcessorState), (QueueAsyncProcessorState)_state));
 }

コード例 #2

ファイル: ThreadSetManager.cs プロジェクト: sgyalta/dotNet-turbo

 private void Invariant()
 {
     TurboContract.Invariant(_procThreads != null);
     TurboContract.Invariant(_name != null);
     TurboContract.Invariant(_threadExitedEvent != null);
     TurboContract.Invariant(_activeThreadCount >= 0);
     TurboContract.Invariant(Enum.IsDefined(typeof(ThreadSetManagerState), (ThreadSetManagerState)_state));
 }

コード例 #3

ファイル: CircularList.cs プロジェクト: sgyalta/dotNet-turbo

 private void Invariant()
 {
     TurboContract.Invariant(_elemArray != null);
     TurboContract.Invariant(_head >= 0);
     TurboContract.Invariant((_head < _elemArray.Length) || (_elemArray.Length == 0 && _head == 0));
     TurboContract.Invariant(_tail >= 0);
     TurboContract.Invariant((_tail < _elemArray.Length) || (_elemArray.Length == 0 && _tail == 0));
     TurboContract.Invariant(_size >= 0);
     TurboContract.Invariant(_elemArray.Length == 0 || (((_head + _size) % _elemArray.Length) == _tail));
 }

コード例 #4

 private void Invariant()
 {
     TurboContract.Invariant(_head != null);
     TurboContract.Invariant(_tail != null);
 }

コード例 #5

ファイル: LimitedPriorityQueueBase.cs プロジェクト: sgyalta/dotNet-turbo

 private void Invariant()
 {
     TurboContract.Invariant(_innerQueue != null);
     TurboContract.Invariant(_innerQueue.Length > 0);
     TurboContract.Invariant(_count >= 0);
 }