@Test
public void testUnicodeIdentifiers2() {
try {
parseInput("context UnicodeIdentifiers2 constants \u00dcber @ end", false);
fail("Expecting exception");
} catch (final BException e) {
final Exception cause = e.getCause();
assertTrue(
"Unexpected cause: " + e.getCause() + " - " + e.getLocalizedMessage(),
cause instanceof EventBParseException);
assertTrue(
"Unexpected token: "
+ ((EventBParseException) cause).getToken().getClass().getSimpleName()
+ " - "
+ e.getLocalizedMessage(),
((EventBParseException) cause).getToken() instanceof TAt);
}
}
@Test
public void testMissingAtMessage() {
try {
parseInput("context MissingAtMessage axioms blub x:=1 end", false);
fail("Expecting exception");
} catch (final BException e) {
final Exception cause = e.getCause();
assertTrue(
"Unexpected cause: " + e.getCause() + " - " + e.getLocalizedMessage(),
cause instanceof EventBParseException);
final EventBParseException exception = (EventBParseException) cause;
assertTrue("Message missing @", exception.getMessage().contains("@"));
}
}