diff --git a/annotator-core/src/main/java/edu/ucr/cs/riple/core/checkers/Checker.java b/annotator-core/src/main/java/edu/ucr/cs/riple/core/checkers/Checker.java index 854cea053..0da1651ad 100644 --- a/annotator-core/src/main/java/edu/ucr/cs/riple/core/checkers/Checker.java +++ b/annotator-core/src/main/java/edu/ucr/cs/riple/core/checkers/Checker.java @@ -63,25 +63,6 @@ public interface Checker { */ void preprocess(AnnotationInjector injector); - /** - * Creates an {@link Error} instance from the given parameters. - * - * @param errorType Error type. - * @param errorMessage Error message. - * @param region Region where the error is reported, - * @param offset offset of program point in original version where error is reported. - * @param resolvingFixes Set of fixes that resolve the error. - * @param module Module where the error is reported. - * @return The corresponding error. - */ - T createError( - String errorType, - String errorMessage, - Region region, - int offset, - ImmutableSet resolvingFixes, - ModuleInfo module); - /** * Verifies that the checker representation in Annotator is compatible with the actual running * checker on the target module. diff --git a/annotator-core/src/main/java/edu/ucr/cs/riple/core/checkers/nullaway/NullAway.java b/annotator-core/src/main/java/edu/ucr/cs/riple/core/checkers/nullaway/NullAway.java index 284a9723b..de5c56b7f 100644 --- a/annotator-core/src/main/java/edu/ucr/cs/riple/core/checkers/nullaway/NullAway.java +++ b/annotator-core/src/main/java/edu/ucr/cs/riple/core/checkers/nullaway/NullAway.java @@ -371,8 +371,7 @@ public void preprocess(AnnotationInjector injector) { injector.injectAnnotations(initializers); } - @Override - public NullAwayError createError( + private NullAwayError createError( String errorType, String errorMessage, Region region,