C# (CSharp) Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent Examples

Example #1

        protected override object BeforeExploration(Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host)
        {
            var validator = new Validator(host, this.expectedKind, this.expectedCount);

            host.ExplorationServices.ExceptionManager.AddExceptionValidator(validator);
            host.ExplorationServices.GoalManager.AddGoal(validator);
            return(null);
        }

Example #2

 public Validator(Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host, PexRuntimeContractsFlags expectedKind, int expectedCount)
     : base(host)
 {
     this.expectedKind  = expectedKind;
     this.expectedCount = expectedCount;
 }