예제 #1
0
 @Test
 public void testExtensionRenamingIsReversible() {
   Renaming r = Renaming.extension(sid, ssid, name, sname);
   assertTrue(r.isReversible());
   Renaming reverse = Renaming.extension(ssid, sid, sname, name);
   assertEquals(reverse, r.reverse());
 }
예제 #2
0
 @Test
 public void testSuffixRenamingIsReversible() {
   Renaming r = Renaming.suffix("foo");
   assertTrue(r.isReversible());
   assertEquals(attr("sid"), r.reverse().apply(attr("sidfoo")));
 }