@Test
public void testStopsWith1Argument() throws CompilerException {
Combinator and = new And(), a = new DummyCombinator("A");
Node node1 = new Node(NodeFieldFactory.create(and), NodeFieldFactory.create(a));
Registry reg = new Registry();
reg.setNode(node1);
assertFalse(and.applyReduction(reg));
}
@Test
public void testWorksCorrectly() throws CompilerException {
Combinator and = new And(), a = new DummyCombinator("A"), b = new DummyCombinator("B");
Node node1 = new Node(NodeFieldFactory.create(and), NodeFieldFactory.create(a));
Node node2 = new Node(NodeFieldFactory.create(node1), NodeFieldFactory.create(b));
Registry reg = new Registry();
reg.setNode(node1);
assertTrue(and.applyReduction(reg));
assertEquals(node1, reg.getNode());
assertEquals(a, node1.getFunction().getCombinator());
assertEquals(b, node1.getArgument().getCombinator());
assertEquals("false", node2.getArgument().getCombinator().getName());
}