/** @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#load(java.io.File, reader.ProofDatabase)}. */ @Test public final void testLoad() { try { UndoTree tree = UndoTree.load(new File(treeLoc), db); assertEquals(tree.expression, tree.expression); assertEquals(tree.proof, tree.proof); assertEquals(tree.parent, tree.parent); } catch (IOException e) { fail(e.getMessage()); } catch (InvalidformattedDraftException e) { fail(e.getMessage()); } }
/** Test method for {@link objects.UndoTree#save(java.io.File)}. */ @Test public final void testSave() { masterTree.save(new File(treeLoc)); }