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 SetCheckpoint() Sets a checkpoint in the execution path that is so far explored during the current test iteration. This will capture all controlled scheduling and nondeterministic decisions taken until the checkpoint and the testing engine will then try to replay the same decisions in subsequent iterations before performing any new exploration.
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 thread-safe and no-op unless the test engine is attached.

See Also