Override the correct method.

typetools · Apr 3, 2019 · f5979af · f5979af
1 parent 15c2161
commit f5979af
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/checker/src/main/java/org/checkerframework/checker/initialization/InitializationVisitor.java b/checker/src/main/java/org/checkerframework/checker/initialization/InitializationVisitor.java
@@ -102,7 +102,8 @@ protected void checkConstructorResult(
     }
 
     @Override
-    protected void checkSuperConstructorCall(MethodInvocationTree superCall) {
+    protected void checkThisOrSuperConstructorCall(
+            MethodInvocationTree superCall, @CompilerMessageKey String errorKey) {
         // Nothing to check
     }
 

diff --git a/framework/src/main/java/org/checkerframework/common/aliasing/AliasingVisitor.java b/framework/src/main/java/org/checkerframework/common/aliasing/AliasingVisitor.java
@@ -250,7 +250,8 @@ protected void checkConstructorResult(
     }
 
     @Override
-    protected void checkSuperConstructorCall(MethodInvocationTree superCall) {
+    protected void checkThisOrSuperConstructorCall(
+            MethodInvocationTree superCall, @CompilerMessageKey String errorKey) {
         if (isInUniqueConstructor()) {
             // Check if a call to super() might create an alias: that
             // happens when the parent's respective constructor is not @Unique.