void IPexExplorationPackage.Initialize(IPexExplorationEngine host)
{
//This is required to invoke initialize method of FieldAccessExplorationObserver
var explorationObserver = ServiceProviderHelper.GetService <IFieldAccessExplorationObserver>(host);
this.pmd = host.GetService <IPexMeDynamicDatabase>() as PexMeDynamicDatabase;
}
public void Initialize(IPexExplorationEngine host)
{
Graph = new SEGraph();
Vertices = new Dictionary <int, SENode>();
Edges = new Dictionary <int, Dictionary <int, SEEdge> >();
EmittedTestResult = new Dictionary <int, Tuple <bool, string> >();
Z3CallLocations = new List <string>();
PrettyPathConditionTasks = new Dictionary <int, Task <string> >();
ParentNodes = new Dictionary <int, int>();
}
public void Initialize(IPexExplorationEngine host)
{
MessageBox.Show("INITALIZE()");
Graph = new SoftMutableBidirectionalGraph <CFGNode, CFGEdge>();
Vertices = new Dictionary <int, CFGNode>();
Edges = new Dictionary <int, Dictionary <int, CFGEdge> >();
EmittedTestResult = new Dictionary <int, Tuple <bool, string> >();
Z3CallLocations = new List <string>();
PrettyPathConditionTasks = new Dictionary <int, Task <string> >();
ParentNodes = new Dictionary <int, int>();
}
void IPexExplorationPackage.Initialize(IPexExplorationEngine host)
{
//This is required to invoke the initialize() method of InsufficientObjectFactoryObserver
var observer = ServiceProviderHelper.GetService<InsufficientObjectFactoryObserver>(host);
}
void IPexExplorationPackage.Initialize(
IPexExplorationEngine host)
{
}
/// <summary>
/// Initialization of the Pex engine.
/// </summary>
/// <param name="host"></param>
protected override void Initialize(IPexExplorationEngine host)
{
host.AddComponent("NodeStorage", new PexExecutionNodeStorageComponent());
host.AddComponent("RunStorage", new PexRunAndTestStorageComponent());
}
public void Initialize(IPexExplorationEngine host)
{
return;
}
public void Initialize(IPexExplorationEngine host)
{
return;
}
void IPexExplorationPackage.Initialize(
IPexExplorationEngine host)
{
var observer =
ServiceProviderHelper.GetService <InsufficientObjectFactoryObserver>(host);
}
void IPexExplorationPackage.Initialize(IPexExplorationEngine host)
{
//This is required to invoke the initialize() method of InsufficientObjectFactoryObserver
var observer = ServiceProviderHelper.GetService <InsufficientObjectFactoryObserver>(host);
}
