{
if (problem == null)
throw new NullPointerException("problem may not be null");
// get the classification from the problem annotation
ProblemClassification classification = problem.getClass().getAnnotation(ProblemClassification.class);
assert classification != null;
CompilerProblemClassification ret = CompilerProblemClassification.DEFAULT;
if (classification != null)
{
ret = classification.value();
}
return ret;
}