mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-21 11:34:38 +02:00
6933147: Provided new utility visitors supporting SourceVersion.RELEASE_7
Reviewed-by: jjg
This commit is contained in:
parent
2592bab72c
commit
fa91c4b435
32 changed files with 829 additions and 22 deletions
|
@ -95,7 +95,7 @@ public class CheckLocalElements extends Checker {
|
|||
return encl == null ? "" : encl.accept(qualNameVisitor, null);
|
||||
}
|
||||
|
||||
private ElementVisitor<String,Void> qualNameVisitor = new SimpleElementVisitor6<String,Void>() {
|
||||
private ElementVisitor<String,Void> qualNameVisitor = new SimpleElementVisitor7<String,Void>() {
|
||||
protected String defaultAction(Element e, Void ignore) {
|
||||
return "";
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue