@Test
public void parametrizedOverlapTest() {
BooleanConditionInspector a = getCondition(value1, operator1);
BooleanConditionInspector b = getCondition(value2, operator2);
assertEquals(
getAssertDescription(a, b, !conflictExpected, "overlap"), !conflictExpected, a.overlaps(b));
assertEquals(
getAssertDescription(b, a, !conflictExpected, "overlap"), !conflictExpected, b.overlaps(a));
}
@Test
public void parametrizedConflictTest() {
BooleanConditionInspector a = getCondition(value1, operator1);
BooleanConditionInspector b = getCondition(value2, operator2);
assertEquals(
getAssertDescription(a, b, conflictExpected, "conflict"), conflictExpected, a.conflicts(b));
assertEquals(
getAssertDescription(b, a, conflictExpected, "conflict"), conflictExpected, b.conflicts(a));
}
private String getAssertDescription(
BooleanConditionInspector a,
BooleanConditionInspector b,
boolean conditionExpected,
String condition) {
return format(
"Expected conditions '%s' and '%s' %sto %s:",
a.toHumanReadableString(),
b.toHumanReadableString(),
conditionExpected ? "" : "not ",
condition);
}
@Test
public void parametrizedSubsumptionTest() {
BooleanConditionInspector a = getCondition(value1, operator1);
BooleanConditionInspector b = getCondition(value2, operator2);
assertEquals(
getAssertDescription(a, b, !conflictExpected, "be subsuming"),
!conflictExpected,
a.subsumes(b));
assertEquals(
getAssertDescription(b, a, !conflictExpected, "be subsuming"),
!conflictExpected,
b.subsumes(a));
}
@Test
public void parametrizedRedundancyTest() {
BooleanConditionInspector a = getCondition(value1, operator1);
BooleanConditionInspector b = getCondition(value2, operator2);
assertEquals(
getAssertDescription(a, b, !conflictExpected, "be redundant"),
!conflictExpected,
a.isRedundant(b));
assertEquals(
getAssertDescription(b, a, !conflictExpected, "be redundant"),
!conflictExpected,
b.isRedundant(a));
}
