Decima Framework

public OverallAssertion(ResultStatus status, String quantifier, Operator operator) {
    super(status, quantifier, operator);
  }
  //
  // private ResultStatus getOpposite(ResultStatus status) {
  // ResultStatus retval;
  // if (ResultStatus.PASS.equals(status)) {
  // retval = ResultStatus.FAIL;
  // } else if (ResultStatus.FAIL.equals(status)) {
  // retval = ResultStatus.PASS;
  // } else {
  // throw new UnsupportedOperationException("Cannot invert result status:
  // "+status);
  // }
  // return retval;
  // }

  @Override
  protected Set<String> getMatchingDerivedRequirements(AssessmentResults results, ResultStatus matchingStatus,
      AssertionTracker tracker) throws AssertionException {
    FindMatchingDerivedRequirementsHandler handler
        = new FindMatchingDerivedRequirementsHandler(matchingStatus, tracker);
    ResultsWalker.getInstance().walk(results, handler);
    return handler.getRequirements();
  }

  @Override
  protected Set<DerivedRequirementResult> getInvalidDerivedRequirements(ResultStatus requiredStatus,
      AssessmentResults results, AssertionTracker tracker) throws AssertionException {
    FindNonMatchingDerivedRequirementsHandler handler
        = new FindNonMatchingDerivedRequirementsHandler(requiredStatus, tracker);
    ResultsWalker.getInstance().walk(results, handler);
    return handler.getRequirements();
  }

  @Override
  public String toString() {
    ToStringBuilder builder = new ToStringBuilder(this, ToStringStyle.SHORT_PREFIX_STYLE);
    Integer quantifier = getQuantifier();
    if (quantifier == null) {
      builder.append("quantifer", "ALL");
    } else {
      builder.append("operator", getOperator().toString());
      builder.append("quantifer", Integer.toString(quantifier));
    }
    builder.append(getResultStatus());

public FindMatchingDerivedRequirementsHandler(ResultStatus matchingStatus, AssertionTracker tracker) {
      super(matchingStatus, tracker);
    }

    @Override
    public boolean handleBaseRequirementResult(BaseRequirementResult baseResult) throws AssertionException {
      AssertionTracker tracker = getAssertionTracker();
      boolean retval;
      if (!tracker.isAsserted(baseResult)) {
        tracker.assertRequirement(baseResult);
        retval = super.handleBaseRequirementResult(baseResult);
        if (!retval) {
          for (DerivedRequirementResult result : baseResult.getDerivedRequirementResults()) {
            if (!tracker.isAsserted(result)) {
              tracker.assertRequirement(result);
            }
          }
        }
      } else {
        retval = false;
      }
      return retval;
    }

    @Override
    public boolean handleDerivedRequirementResult(BaseRequirementResult baseResult,
        DerivedRequirementResult derivedResult) throws AssertionException {
      AssertionTracker tracker = getAssertionTracker();
      boolean retval;
      if (!tracker.isAsserted(baseResult)) {

public FindMatchingDerivedRequirementsHandler(ResultStatus matchingStatus, AssertionTracker tracker) {
      super(matchingStatus, tracker);
    }

    @Override
    public boolean handleBaseRequirementResult(BaseRequirementResult baseResult) throws AssertionException {
      AssertionTracker tracker = getAssertionTracker();
      tracker.assertRequirement(baseResult);
      boolean retval = super.handleBaseRequirementResult(baseResult);
      if (!retval) {
        for (DerivedRequirementResult result : baseResult.getDerivedRequirementResults()) {
          tracker.assertRequirement(result);
        }
      }
      return retval;
    }

    @Override
    public boolean handleDerivedRequirementResult(BaseRequirementResult baseResult,
        DerivedRequirementResult derivedResult) throws AssertionException {
      getAssertionTracker().assertRequirement(derivedResult);
      return super.handleDerivedRequirementResult(baseResult, derivedResult);
    }

    @Override
    protected String handleMatchingDerivedRequirement(BaseRequirementResult baseResult,