次の方法で共有

PexExplorableMutatorAttribute.BeforeExploration Method

  • Reference

Definition

Namespace:
Microsoft.Pex.Framework.Explorable
Assembly:
Microsoft.Pex.Framework.dll

Callback that is executed before the exploration starts.

protected:
 override System::Object ^ BeforeExploration(Microsoft::Pex::Engine::ComponentModel::IPexExplorationComponent ^ host);
protected override object BeforeExploration (Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host);
override this.BeforeExploration : Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent -> obj
Protected Overrides Function BeforeExploration (host As IPexExplorationComponent) As Object

Parameters

host
Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent

The host.

Returns

Object

some data

Applies to