PexTrackingThread Class

Reference

Definition

Namespace:: Microsoft.Pex.Engine.PostAnalysis

Assembly:: Microsoft.Pex.Framework.dll

Important

Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.

A thread which supports tracking of data- and control-flow.

public ref class PexTrackingThread : Microsoft::ExtendedReflection::Interpretation::States::Impl::Thread

public class PexTrackingThread : Microsoft.ExtendedReflection.Interpretation.States.Impl.Thread

type PexTrackingThread = class
    inherit Thread

Public Class PexTrackingThread
Inherits Thread

Inheritance: Microsoft.ExtendedReflection.Interpretation.States.Impl.Thread
PexTrackingThread

Properties

TrackingController

Gets the tracking controller.

Methods

CreateFrame(Method, IFrame, Int32, Boolean)

Creates a new stack frame that is going to be pushed on the stack.

Applies to