otherProblems.recordSuccess();
}
switch (problem.getType()) {
case ERROR:
if (problem instanceof MismatchedTypeProblem) {
MismatchedTypeProblem mismatch = (MismatchedTypeProblem)problem;
otherProblems.recordTypeMismatch(mismatch.getPath(),
mismatch.getReason(),
mismatch.getActualType(),
mismatch.getActualValue(),
mismatch.getExpectedType(),
mismatch.getConvertedValue());
} else {
otherProblems.recordError(problem.getPath(), problem.getReason(), problem.getCause());
}
break;
case WARNING: