Esempio n. 1
0
  /** Test method for {@link CPSHelper#getMicroFormattedString()}. */
  @Test
  public final void testGetMicroFormattedString() throws FileNotFoundException, ParseException {
    InputStream in1 = new FileInputStream("Example-Microjava/Factorial.java");
    InputStream in2 = new FileInputStream("Example-Microjava/Factorial.java");
    syntaxtree.Node root1 = new MicroJavaParser(in1).Goal();
    syntaxtree.Node root2 = new MicroJavaParser(in2).Goal();

    String code1 = CPSHelper.getMicroFormattedString(root1);
    String code2 = CPSHelper.getMicroFormattedString(root2);

    assertEquals(code1, code2);
  }
Esempio n. 2
0
 /** Assert that node1 and node2 are equal MicroJava nodes. */
 public void assertEqualMicroJavaNodes(Node expected, Node actual) {
   assertEquals(
       CPSHelper.getMicroFormattedString(expected), CPSHelper.getMicroFormattedString(actual));
 }