IPexChoiceRecorder Interface

Definition

Interface for building an oracle execution

public interface class IPexChoiceRecorder
public interface IPexChoiceRecorder
type IPexChoiceRecorder = interface
Public Interface IPexChoiceRecorder

Properties

DefaultSession

Gets the default oracle builder session

Methods

NextSegment(Int32)

notifies that a new invocation segment is about to start

OnCall(Int32, String)

Retrieves an oracle builder for a given method.

Session(Int32, String)

Gets the oracle builder for a session.

Applies to