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));
}
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));
}
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));
}
private void Invariant()
{
TurboContract.Invariant(_head != null);
TurboContract.Invariant(_tail != null);
}
private void Invariant()
{
TurboContract.Invariant(_innerQueue != null);
TurboContract.Invariant(_innerQueue.Length > 0);
TurboContract.Invariant(_count >= 0);
}