Ejemplo n.º 1
0
 @Test
 public void testExtendModel() {
   String p = "P";
   m = m.extend(new Symbol(p), true);
   Assert.assertEquals(Boolean.TRUE, m.getStatus(new Symbol("P")));
 }
Ejemplo n.º 2
0
 @Test
 public void testEmptyModel() {
   Assert.assertEquals(null, m.getStatus(new Symbol("P")));
   Assert.assertEquals(true, m.isUnknown(new Symbol("P")));
 }