@Test
public void testInvalidCond() {
Fighter f = load("chicken-invalid-cond.saf");
List<Message> errs = Check.check(f);
assertEquals(1, errs.size());
Message error = errs.get(0);
assertTrue(error instanceof jsaf.check.Error);
assertNotNull(error.getMessage().matches("invalid condition"));
assertEquals(f.getBehaviors().get(1).getGuard(), error.getNode());
}
@Test
public void testInvalidMove() {
Fighter f = load("chuck-invalid-move.saf");
List<Message> errs = Check.check(f);
assertEquals(1, errs.size());
Message error = errs.get(0);
assertTrue(error instanceof jsaf.check.Error);
assertNotNull(error.getMessage().matches("invalid move"));
assertEquals(f.getBehaviors().get(0).getMove(), error.getNode());
}
@Test
public void testOutOfBounds() {
Fighter f = load("challenging-outofbounds.saf");
List<Message> errs = Check.check(f);
assertEquals(1, errs.size());
Message error = errs.get(0);
assertTrue(error instanceof jsaf.check.Error);
assertNotNull(error.getMessage().matches("out of bounds"));
assertEquals(f.getStrengths().get(0), error.getNode());
}
@Test
public void testDuplicateInChoose() {
Fighter f = load("unbeatable-warning.saf");
List<Message> errs = Check.check(f);
assertEquals(1, errs.size());
Message error = errs.get(0);
assertTrue(error instanceof jsaf.check.Warning);
assertNotNull(error.getMessage().matches("duplicate action"));
Ident a = ((Choose) f.getBehaviors().get(0).getMove()).getActions().get(1);
assertEquals(a, error.getNode());
}
@Test
public void testInvalidFight() {
Fighter f = load("jackie-invalid-fight.saf");
List<Message> errs = Check.check(f);
assertEquals(1, errs.size());
Message error = errs.get(0);
assertTrue(error instanceof jsaf.check.Error);
assertNotNull(error.getMessage().matches("invalid fight"));
Ident a = ((Choose) f.getBehaviors().get(3).getFight()).getActions().get(1);
assertEquals(a, error.getNode());
}