From 390ebcf2936f37a362201430051a8132fa7d1fa2 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Sun, 4 Oct 2020 07:46:37 -0700 Subject: The Object Construction Checker has been renamed the Called Methods Checker --- .../checkerframework/checker/objectconstruction/qual/CalledMethods.java | 2 +- .../checker/objectconstruction/qual/NotCalledMethods.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'test/stubs/org/checkerframework/checker') diff --git a/test/stubs/org/checkerframework/checker/objectconstruction/qual/CalledMethods.java b/test/stubs/org/checkerframework/checker/objectconstruction/qual/CalledMethods.java index bddeae39..514e8c6b 100644 --- a/test/stubs/org/checkerframework/checker/objectconstruction/qual/CalledMethods.java +++ b/test/stubs/org/checkerframework/checker/objectconstruction/qual/CalledMethods.java @@ -1,4 +1,4 @@ -package org.checkerframework.checker.objectconstruction.qual; +package org.checkerframework.checker.calledmethods.qual; import java.lang.annotation.ElementType; import java.lang.annotation.Retention; diff --git a/test/stubs/org/checkerframework/checker/objectconstruction/qual/NotCalledMethods.java b/test/stubs/org/checkerframework/checker/objectconstruction/qual/NotCalledMethods.java index 32fe68c9..7a9ef37c 100644 --- a/test/stubs/org/checkerframework/checker/objectconstruction/qual/NotCalledMethods.java +++ b/test/stubs/org/checkerframework/checker/objectconstruction/qual/NotCalledMethods.java @@ -1,4 +1,4 @@ -package org.checkerframework.checker.objectconstruction.qual; +package org.checkerframework.checker.calledmethods.qual; import java.lang.annotation.ElementType; import java.lang.annotation.Retention; -- cgit