public void testInvalidNot() { try { fail("" + new LogicExpression("A not B")); } catch (IllegalArgumentException e) { } }
public void test6() { LogicExpression l = new LogicExpression("A and (B or C and D)"); assertEquals(new HashSet<String>(Arrays.asList("A", "B", "C", "D")), l.getVariableNames()); assertEquals("A and (B or (C and D))", l.toString()); assertEquals(Arrays.asList(new LogicExpression("A"), new LogicExpression("B or (C and D)")), l.split(Arrays.asList(Arrays.asList("A"), Arrays.asList("B", "C", "D")))); try { l.split(Arrays.asList(Arrays.asList("A", "B", "C"), Arrays.asList("D"))); fail("Expected exception"); } catch (IllegalArgumentException e) { } }
public void test3() { LogicExpression l = new LogicExpression("A or B"); assertEquals(new HashSet<String>(Arrays.asList("A", "B")), l.getVariableNames()); assertEquals("A or B", l.toString()); try { l.split(Arrays.asList(Arrays.asList("A"), Arrays.asList("B"))); fail("Expected exception"); } catch (IllegalArgumentException e) { } assertEquals(Arrays.asList(new LogicExpression("A or B")), l.split(Arrays.asList(Arrays.asList("A", "B")))); assertEquals(new LogicExpression("A or B"), l.getSection(Arrays.asList("A", "B"))); try { l.getSection(Arrays.asList("A")); fail("Expected exception"); } catch (IllegalArgumentException e) { } assertEquals(new LogicExpression("A and B"), l.validateForGroups(Arrays.asList(Arrays.asList("A"), Arrays.asList("B")))); assertTrue(l == l.validateForGroups(Arrays.asList(Arrays.asList("A", "B")))); try { l.validateForGroups(Arrays.asList(Arrays.asList("A"))); fail("Expected exception"); } catch (IllegalArgumentException e) { } }
@SuppressWarnings({ }) public void test2() { LogicExpression l = new LogicExpression("A and B"); assertEquals(new HashSet<String>(Arrays.asList("A", "B")), l.getVariableNames()); assertEquals("A and B", l.toString()); assertEquals(Arrays.asList(new LogicExpression("A"), new LogicExpression("B")), l.split(Arrays.asList(Arrays.asList("A"), Arrays.asList("B")))); try { l.split(Arrays.asList(Arrays.asList("A"))); fail("Expected exception"); } catch (IllegalArgumentException e) { } try { l.split(Arrays.asList(Arrays.asList("A", "B", "C"))); fail("Expected exception"); } catch (IllegalArgumentException e) { } try { l.split(Arrays.asList(Arrays.asList("A", "B"), Arrays.asList("A"))); fail("Expected exception"); } catch (IllegalArgumentException e) { } assertEquals(new LogicExpression("A"), l.getSection(Arrays.asList("A"))); assertEquals(new LogicExpression("A and B"), l.getSection(Arrays.asList("A", "B"))); assertTrue(l == l.validateForGroups(Arrays.asList(Arrays.asList("A"), Arrays.asList("B")))); assertTrue(l == l.validateForGroups(Arrays.asList(Arrays.asList("A", "B")))); }
public void test1() { LogicExpression l = new LogicExpression("A"); assertEquals(Collections.singleton("A"), l.getVariableNames()); assertEquals("A", l.toString()); assertEquals(Collections.singletonList(new LogicExpression("A")), l.split(Collections.singletonList(Collections.singletonList("A")))); assertEquals(new LogicExpression("A"), l.getSection(Arrays.asList("A"))); assertEquals(null, l.getSection(empty)); try { l.getSection(Arrays.asList("B")); fail("Expected exception"); } catch (IllegalArgumentException e) { } assertEquals(new LogicExpression("A"), l.validateForGroups(Arrays.asList(Arrays.asList("A")))); }