/** @throws java.lang.Exception */ @BeforeClass public static void setUp() throws Exception { db = ProofDatabase.load("/Users/ChrisSalij/Code/eclipse/FourthYearProject/resources/database"); proof = db.getProof("((a∧a)≡a)"); Expression n = Reader.parseExpression( "((a" + Characters.LOGICAL_CONJUNCTION + "b)" + Characters.LOGICAL_CONJUNCTION + "(c" + Characters.LOGICAL_CONJUNCTION + "d))"); masterTree = new UndoTree(null, proof, n, null); masterTree = masterTree.addChild(proof, n, ""); masterTree = masterTree.addChild(proof, n, ""); masterTree = masterTree.addChild(proof, n, ""); masterTree = masterTree.addChild(proof, n, ""); masterTree = masterTree.addChild(proof, n, ""); masterTree.save(new File(treeLoc)); }
/** Test method for {@link objects.UndoTree#save(java.io.File)}. */ @Test public final void testSave() { masterTree.save(new File(treeLoc)); }