Пример #1
0
  /** @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));
  }
Пример #2
0
 /** 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());
   }
 }
Пример #3
0
 /** Test method for {@link objects.UndoTree#save(java.io.File)}. */
 @Test
 public final void testSave() {
   masterTree.save(new File(treeLoc));
 }