fail("Did not get an exception from syntax errors, got " + result);
} catch (JADTUserErrorsException e) {
final List<UserError> userErrors = e.getErrors();
assertEquals(errors.size(), userErrors.size());
for (SyntaxError error : errors) {
final UserError userError = UserError._Syntactic(error);
assertTrue("User errrors did not contain " + userError, userErrors.contains(userError));
}
}
}