|
|
@@ -618,4 +618,20 @@ public class AjProblemReporter extends ProblemReporter { |
|
|
|
super.duplicateMethodInType(type, methodDecl); |
|
|
|
} |
|
|
|
|
|
|
|
// pr246393 - if we are going to complain about privileged, we clearly don't know what is going on, so don't |
|
|
|
// confuse the user |
|
|
|
public void parseErrorInsertAfterToken( |
|
|
|
int start, |
|
|
|
int end, |
|
|
|
int currentKind, |
|
|
|
char[] errorTokenSource, |
|
|
|
String errorTokenName, |
|
|
|
String expectedToken){ |
|
|
|
if (expectedToken.equals("privileged")) { |
|
|
|
super.parseErrorNoSuggestion(start, end, currentKind, errorTokenSource, errorTokenName); |
|
|
|
} else { |
|
|
|
super.parseErrorInsertAfterToken(start, end, currentKind, errorTokenSource, errorTokenName, expectedToken); |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
} |