< prev index next >
src/java.compiler/share/classes/javax/lang/model/util/ElementKindVisitor7.java
Print this page
@@ -83,11 +83,11 @@
* default value.
*
* @deprecated Release 7 is obsolete; update to a visitor for a newer
* release level.
*/
- @Deprecated
+ @Deprecated(since="12")
protected ElementKindVisitor7() {
super(null); // Superclass constructor deprecated too
}
/**
@@ -97,11 +97,11 @@
* @param defaultValue the value to assign to {@link #DEFAULT_VALUE}
*
* @deprecated Release 7 is obsolete; update to a visitor for a newer
* release level.
*/
- @Deprecated
+ @Deprecated(since="12")
protected ElementKindVisitor7(R defaultValue) {
super(defaultValue); // Superclass constructor deprecated too
}
/**
< prev index next >