public FieldAccessCollector(IFieldAccessPathObserver pathObserver,
IFieldAccessExplorationObserver explorationObserver,
IPexMeDynamicDatabase pmd, PexMeStaticDatabase psd,
int level)
{
this.pathObserver = pathObserver;
this.explorationObserver = explorationObserver;
this.pmd = pmd as PexMeDynamicDatabase;
this.psd = psd;
this.trackedFrameId = -1;
this.level = level;
this.depth = -1;
}
public FieldAccessCollector(IFieldAccessPathObserver pathObserver,
IFieldAccessExplorationObserver explorationObserver,
IPexMeDynamicDatabase pmd, PexMeStaticDatabase psd,
int level)
{
this.pathObserver = pathObserver;
this.explorationObserver = explorationObserver;
this.pmd = pmd as PexMeDynamicDatabase;
this.psd = psd;
this.trackedFrameId = -1;
this.level = level;
this.depth = -1;
}
protected override void Initialize()
{
base.Initialize();
this.pmd = this.GetService<IPexMeDynamicDatabase>();
this.termManager = this.ExplorationServices.TermManager;
}
protected override void Initialize()
{
base.Initialize();
this.pmd = this.GetService <IPexMeDynamicDatabase>();
this.termManager = this.ExplorationServices.TermManager;
}
