SchedulingPoint class

Provides a set of static methods for declaring points in the execution where interleavings between operations should be explored during testing.

public static class SchedulingPoint

Public Members

name description
static Interleave() Explores a possible interleaving with another controlled operation.
static Read(…) Explores a possible interleaving due to a ‘READ’ operation on the specified shared state.
static Resume() Resumes interleavings that were suppressed by invoking Suppress.
static Suppress() Suppresses interleavings until Resume is invoked.
static Write(…) Explores a possible interleaving due to a ‘WRITE’ operation on the specified shared state.
static Yield() Attempts to yield execution to another controlled operation.

Remarks

These methods are no-op in production.

See Also