Exemplos de TurboContract.Invariant em C# (CSharp)

Exemplo n.º 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));
 }

Exemplo n.º 2

Arquivo: ThreadSetManager.cs Projeto: 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));
 }

Exemplo n.º 3

Arquivo: CircularList.cs Projeto: 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));
 }

Exemplo n.º 4

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

Exemplo n.º 5

Arquivo: LimitedPriorityQueueBase.cs Projeto: sgyalta/dotNet-turbo

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