PexTrackingThread.CreateFrame(Method, IFrame, Int32, Boolean) Method

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.

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

protected:
 override Microsoft::ExtendedReflection::Interpretation::States::IFrame ^ CreateFrame(Microsoft::ExtendedReflection::Metadata::Method ^ method, Microsoft::ExtendedReflection::Interpretation::States::IFrame ^ previousFrame, int frameIndex, [Runtime::InteropServices::Out] bool % needArguments);

protected override Microsoft.ExtendedReflection.Interpretation.States.IFrame CreateFrame(Microsoft.ExtendedReflection.Metadata.Method method, Microsoft.ExtendedReflection.Interpretation.States.IFrame previousFrame, int frameIndex, out bool needArguments);

override this.CreateFrame : Microsoft.ExtendedReflection.Metadata.Method * Microsoft.ExtendedReflection.Interpretation.States.IFrame * int * bool -> Microsoft.ExtendedReflection.Interpretation.States.IFrame

Protected Overrides Function CreateFrame (method As Method, previousFrame As IFrame, frameIndex As Integer, ByRef needArguments As Boolean) As IFrame

Parameters

method: Microsoft.ExtendedReflection.Metadata.Method

previousFrame: Microsoft.ExtendedReflection.Interpretation.States.IFrame

frameIndex: Int32

needArguments: Boolean

Returns

Microsoft.ExtendedReflection.Interpretation.States.IFrame

Applies to