@Test // true ==> true public void removeNotTest0() { TupleFilter constFilter = ConstantTupleFilter.TRUE; Assert.assertEquals(constFilter, constFilter.removeNot()); }
@Test // Not(true) ==> false public void removeNotTest1() { TupleFilter notFilter = new LogicalTupleFilter(TupleFilter.FilterOperatorEnum.NOT); notFilter.addChild(ConstantTupleFilter.TRUE); Assert.assertEquals(ConstantTupleFilter.FALSE, notFilter.removeNot()); }
@Test // Not(And(true, false)) ==> Or(false, true) public void removeNotTest2() { TupleFilter notFilter = new LogicalTupleFilter(TupleFilter.FilterOperatorEnum.NOT); TupleFilter andFilter = new LogicalTupleFilter(TupleFilter.FilterOperatorEnum.AND); andFilter.addChildren(ConstantTupleFilter.TRUE, ConstantTupleFilter.FALSE); notFilter.addChild(andFilter); TupleFilter orFilter = new LogicalTupleFilter(TupleFilter.FilterOperatorEnum.OR); orFilter.addChildren(ConstantTupleFilter.FALSE, ConstantTupleFilter.TRUE); Assert.assertEquals(orFilter, notFilter.removeNot()); }
@Test // And(Not(true), false) ==> And(false, false) public void removeNotTest3() { TupleFilter andFilter = new LogicalTupleFilter(TupleFilter.FilterOperatorEnum.AND); TupleFilter notFilter = new LogicalTupleFilter(TupleFilter.FilterOperatorEnum.NOT); notFilter.addChild(ConstantTupleFilter.TRUE); andFilter.addChildren(notFilter, ConstantTupleFilter.FALSE); TupleFilter andFilter2 = new LogicalTupleFilter(TupleFilter.FilterOperatorEnum.AND); andFilter2.addChildren(ConstantTupleFilter.FALSE, ConstantTupleFilter.FALSE); Assert.assertEquals(andFilter2, andFilter.removeNot()); }