Search in sources :

Example 1 with DefaultFuzzer

use of org.btrplace.safeplace.testing.fuzzer.DefaultFuzzer in project scheduler by btrplace.

the class DefaultTestCampaign method check.

@Override
public ConfigurableFuzzer check(String c) {
    String lower = c.toLowerCase();
    Optional<Constraint> cstr = cstrs.stream().filter(x -> lower.equalsIgnoreCase(x.id())).findFirst();
    if (!cstr.isPresent()) {
        throw new IllegalArgumentException("No specification for constraint '" + c + "'");
    }
    List<Constraint> pre = cores.stream().filter(x -> !lower.equalsIgnoreCase(x.id())).collect(Collectors.toList());
    ConfigurableFuzzer f = new DefaultFuzzer(this, cstr.get(), pre);
    tcFuzzer = f;
    return f;
}
Also used : Fuzzer(org.btrplace.safeplace.testing.fuzzer.Fuzzer) VerifierResult(org.btrplace.safeplace.testing.verification.VerifierResult) ConfigurableFuzzer(org.btrplace.safeplace.testing.fuzzer.ConfigurableFuzzer) IOException(java.io.IOException) Verifier(org.btrplace.safeplace.testing.verification.Verifier) Schedule(org.btrplace.safeplace.testing.verification.btrplace.Schedule) Parameters(org.btrplace.scheduler.choco.Parameters) Collectors(java.util.stream.Collectors) ReconfigurationPlan(org.btrplace.plan.ReconfigurationPlan) Consumer(java.util.function.Consumer) Constraint(org.btrplace.safeplace.spec.Constraint) Limits(org.btrplace.safeplace.testing.limit.Limits) List(java.util.List) CSchedule(org.btrplace.safeplace.testing.verification.btrplace.CSchedule) Replay(org.btrplace.safeplace.testing.fuzzer.Replay) DefaultParameters(org.btrplace.scheduler.choco.DefaultParameters) Optional(java.util.Optional) DefaultFuzzer(org.btrplace.safeplace.testing.fuzzer.DefaultFuzzer) Counting(org.btrplace.safeplace.testing.reporting.Counting) Report(org.btrplace.safeplace.testing.reporting.Report) DefaultChocoScheduler(org.btrplace.scheduler.choco.DefaultChocoScheduler) Path(java.nio.file.Path) SatConstraint(org.btrplace.model.constraint.SatConstraint) SpecVerifier(org.btrplace.safeplace.testing.verification.spec.SpecVerifier) DefaultFuzzer(org.btrplace.safeplace.testing.fuzzer.DefaultFuzzer) Constraint(org.btrplace.safeplace.spec.Constraint) SatConstraint(org.btrplace.model.constraint.SatConstraint) ConfigurableFuzzer(org.btrplace.safeplace.testing.fuzzer.ConfigurableFuzzer)

Aggregations

IOException (java.io.IOException)1 Path (java.nio.file.Path)1 List (java.util.List)1 Optional (java.util.Optional)1 Consumer (java.util.function.Consumer)1 Collectors (java.util.stream.Collectors)1 SatConstraint (org.btrplace.model.constraint.SatConstraint)1 ReconfigurationPlan (org.btrplace.plan.ReconfigurationPlan)1 Constraint (org.btrplace.safeplace.spec.Constraint)1 ConfigurableFuzzer (org.btrplace.safeplace.testing.fuzzer.ConfigurableFuzzer)1 DefaultFuzzer (org.btrplace.safeplace.testing.fuzzer.DefaultFuzzer)1 Fuzzer (org.btrplace.safeplace.testing.fuzzer.Fuzzer)1 Replay (org.btrplace.safeplace.testing.fuzzer.Replay)1 Limits (org.btrplace.safeplace.testing.limit.Limits)1 Counting (org.btrplace.safeplace.testing.reporting.Counting)1 Report (org.btrplace.safeplace.testing.reporting.Report)1 Verifier (org.btrplace.safeplace.testing.verification.Verifier)1 VerifierResult (org.btrplace.safeplace.testing.verification.VerifierResult)1 CSchedule (org.btrplace.safeplace.testing.verification.btrplace.CSchedule)1 Schedule (org.btrplace.safeplace.testing.verification.btrplace.Schedule)1