Atomic Direct Rule Test

src/test/java/puzzles/shorttruthtable/rules/AtomicDirectRuleTest.java

@@ -0,0 +1,188 @@
+package puzzles.shorttruthtable.rules;
+
+import edu.rpi.legup.model.tree.TreeNode;
+import edu.rpi.legup.model.tree.TreeTransition;
+import edu.rpi.legup.puzzle.shorttruthtable.ShortTruthTable;
+import edu.rpi.legup.puzzle.shorttruthtable.ShortTruthTableBoard;
+import edu.rpi.legup.puzzle.shorttruthtable.ShortTruthTableCell;
+import edu.rpi.legup.puzzle.shorttruthtable.ShortTruthTableCellType;
+import edu.rpi.legup.puzzle.shorttruthtable.rules.basic.DirectRuleAtomic;
+import edu.rpi.legup.save.InvalidFileFormatException;
+import legup.MockGameBoardFacade;
+import legup.TestUtilities;
+import org.junit.Assert;
+import org.junit.BeforeClass;
+import org.junit.Test;
+
+public class AtomicDirectRuleTest {
+    private static final DirectRuleAtomic RULE = new DirectRuleAtomic();
+    private static ShortTruthTable stt;
+
+    @BeforeClass
+    public static void setup() {
+        MockGameBoardFacade.getInstance();
+        stt = new ShortTruthTable();
+    }
+
+    /**
+     * Given two statements:
+     * A
+     * A
+     * where the first A is set to false.
+     * 
+     * This test sets the second A to false and then asserts that this
+     * is a valid application of the rule.
+     *
+     * @throws InvalidFileFormatException
+     */
+    @Test
+    public void MatchingFalseTest() throws InvalidFileFormatException {
+        TestUtilities.importTestBoard("puzzles/shorttruthtable/rules/AtomicDirectRule/FalseA", stt);
+        TreeNode rootNode = stt.getTree().getRootNode();
+        TreeTransition transition = rootNode.getChildren().get(0);
+        transition.setRule(RULE);
+
+        ShortTruthTableBoard board = (ShortTruthTableBoard) transition.getBoard();
+
+        ShortTruthTableCell cell = board.getCell(0, 2);
+        cell.setData(ShortTruthTableCellType.FALSE);
+        board.addModifiedData(cell);
+
+        Assert.assertNull(RULE.checkRule(transition));
+    }
+
+    /**
+     * Given two statements:
+     * A
+     * A
+     * where the first A is set to false.
+     * 
+     * This test sets the second A to true and then asserts that this
+     * is not a valid application of the rule.
+     *
+     * @throws InvalidFileFormatException
+     */
+    @Test
+    public void MismatchingFalseTest() throws InvalidFileFormatException {
+        TestUtilities.importTestBoard("puzzles/shorttruthtable/rules/AtomicDirectRule/FalseA", stt);
+        TreeNode rootNode = stt.getTree().getRootNode();
+        TreeTransition transition = rootNode.getChildren().get(0);
+        transition.setRule(RULE);
+
+        ShortTruthTableBoard board = (ShortTruthTableBoard) transition.getBoard();
+
+        ShortTruthTableCell cell = board.getCell(0, 2);
+        cell.setData(ShortTruthTableCellType.TRUE);
+        board.addModifiedData(cell);
+
+        Assert.assertNotNull(RULE.checkRule(transition));
+    }
+
+    /**
+     * Given two statements:
+     * B
+     * B
+     * where the first B is set to true.
+     * 
+     * This test sets the second B to true and then asserts that this
+     * is a valid application of the rule.
+     *
+     * @throws InvalidFileFormatException
+     */
+    @Test
+    public void MatchingTrueTest() throws InvalidFileFormatException {
+        TestUtilities.importTestBoard("puzzles/shorttruthtable/rules/AtomicDirectRule/TrueB", stt);
+        TreeNode rootNode = stt.getTree().getRootNode();
+        TreeTransition transition = rootNode.getChildren().get(0);
+        transition.setRule(RULE);
+
+        ShortTruthTableBoard board = (ShortTruthTableBoard) transition.getBoard();
+
+        ShortTruthTableCell cell = board.getCell(0, 2);
+        cell.setData(ShortTruthTableCellType.TRUE);
+        board.addModifiedData(cell);
+
+        Assert.assertNull(RULE.checkRule(transition));
+    }
+
+    /**
+     * Given two statements:
+     * B
+     * B
+     * where the first B is set to true.
+     * 
+     * This test sets the second B to false and then asserts that this
+     * is not a valid application of the rule.
+     *
+     * @throws InvalidFileFormatException
+     */
+    @Test
+    public void MismatchingTrueTest() throws InvalidFileFormatException {
+        TestUtilities.importTestBoard("puzzles/shorttruthtable/rules/AtomicDirectRule/TrueB", stt);
+        TreeNode rootNode = stt.getTree().getRootNode();
+        TreeTransition transition = rootNode.getChildren().get(0);
+        transition.setRule(RULE);
+
+        ShortTruthTableBoard board = (ShortTruthTableBoard) transition.getBoard();
+
+        ShortTruthTableCell cell = board.getCell(0, 2);
+        cell.setData(ShortTruthTableCellType.FALSE);
+        board.addModifiedData(cell);
+
+        Assert.assertNotNull(RULE.checkRule(transition));
+    }
+
+    /**
+     * Given two statements:
+     * C
+     * C
+     * where neither statement is set to anything.
+     * 
+     * This test sets the second C to false and then asserts that this
+     * is not a valid application of the rule.
+     *
+     * @throws InvalidFileFormatException
+     */
+    @Test
+    public void NothingPreviouslyMarkedTest() throws InvalidFileFormatException {
+        TestUtilities.importTestBoard("puzzles/shorttruthtable/rules/AtomicDirectRule/Empty", stt);
+        TreeNode rootNode = stt.getTree().getRootNode();
+        TreeTransition transition = rootNode.getChildren().get(0);
+        transition.setRule(RULE);
+
+        ShortTruthTableBoard board = (ShortTruthTableBoard) transition.getBoard();
+
+        ShortTruthTableCell cell = board.getCell(0, 2);
+        cell.setData(ShortTruthTableCellType.FALSE);
+        board.addModifiedData(cell);
+
+        Assert.assertNotNull(RULE.checkRule(transition));
+    }
+
+    /**
+     * Given two statements:
+     * C
+     * C
+     * where neither statement is set to anything.
+     * 
+     * This test sets the second C to true and then asserts that this
+     * is not a valid application of the rule.
+     *
+     * @throws InvalidFileFormatException
+     */
+    @Test
+    public void NothingPreviouslyMarkedTest2() throws InvalidFileFormatException {
+        TestUtilities.importTestBoard("puzzles/shorttruthtable/rules/AtomicDirectRule/Empty", stt);
+        TreeNode rootNode = stt.getTree().getRootNode();
+        TreeTransition transition = rootNode.getChildren().get(0);
+        transition.setRule(RULE);
+
+        ShortTruthTableBoard board = (ShortTruthTableBoard) transition.getBoard();
+
+        ShortTruthTableCell cell = board.getCell(0, 2);
+        cell.setData(ShortTruthTableCellType.TRUE);
+        board.addModifiedData(cell);
+
+        Assert.assertNotNull(RULE.checkRule(transition));
+    }
+}

src/test/resources/puzzles/shorttruthtable/rules/AtomicDirectRule/Empty

@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<Legup version="3.0.0">
+    <saved/>
+    <puzzle name="ShortTruthTable">
+        <board>
+            <data>
+                <statement representation="C" row_index="0"/>
+                <statement representation="C" row_index="1"/>
+            </data>
+        </board>
+    </puzzle>
+    <solved isSolved="false" lastSaved="2023-10-13 16:47:40"/>
+</Legup>

src/test/resources/puzzles/shorttruthtable/rules/AtomicDirectRule/FalseA

@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<Legup version="3.0.0">
+    <saved/>
+    <puzzle name="ShortTruthTable">
+        <board>
+            <data>
+                <statement representation="A" row_index="0"/>
+                <statement representation="A" row_index="1"/>
+                <cell char_index="0" row_index="0" type="FALSE"/>
+            </data>
+        </board>
+    </puzzle>
+    <solved isSolved="false" lastSaved="2023-10-13 16:47:40"/>
+</Legup>

src/test/resources/puzzles/shorttruthtable/rules/AtomicDirectRule/TrueB

@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<Legup version="3.0.0">
+    <saved/>
+    <puzzle name="ShortTruthTable">
+        <board>
+            <data>
+                <statement representation="B" row_index="0"/>
+                <statement representation="B" row_index="1"/>
+                <cell char_index="0" row_index="0" type="TRUE"/>
+            </data>
+        </board>
+    </puzzle>
+    <solved isSolved="false" lastSaved="2023-10-13 16:47:40"/>
+</Legup>