diff --git a/build.gradle b/build.gradle index c2b6a35..b334466 100644 --- a/build.gradle +++ b/build.gradle @@ -27,7 +27,7 @@ configurations { ext { versions = [ - checkerFramework: "3.42.0-eisop5", + checkerFramework: "3.49.3-eisop1", errorproneJavacVersion: "9+181-r4173-1", errorproneCoreVersion: "2.40.0", ] diff --git a/crypto-checker-qual-android/build.gradle b/crypto-checker-qual-android/build.gradle index 4d7f5e3..495734c 100644 --- a/crypto-checker-qual-android/build.gradle +++ b/crypto-checker-qual-android/build.gradle @@ -7,7 +7,7 @@ repositories { } ext.versions = [ - checkerFramework: "3.42.0-eisop5", + checkerFramework: "3.49.3-eisop1", ] dependencies { diff --git a/crypto-checker-qual/build.gradle b/crypto-checker-qual/build.gradle index dc35c22..ccdca62 100644 --- a/crypto-checker-qual/build.gradle +++ b/crypto-checker-qual/build.gradle @@ -7,7 +7,7 @@ repositories { } ext.versions = [ - checkerFramework: "3.42.0-eisop5", + checkerFramework: "3.49.3-eisop1", ] dependencies { diff --git a/src/main/java/org/checkerframework/checker/crypto/CryptoChecker.java b/src/main/java/org/checkerframework/checker/crypto/CryptoChecker.java index 9996f84..51e55d9 100644 --- a/src/main/java/org/checkerframework/checker/crypto/CryptoChecker.java +++ b/src/main/java/org/checkerframework/checker/crypto/CryptoChecker.java @@ -2,6 +2,7 @@ import org.checkerframework.common.basetype.BaseTypeChecker; import org.checkerframework.common.value.ValueChecker; +import org.checkerframework.framework.source.SourceChecker; import org.checkerframework.framework.source.SupportedLintOptions; import java.util.Set; @@ -10,8 +11,8 @@ public class CryptoChecker extends BaseTypeChecker { @Override - protected Set> getImmediateSubcheckerClasses() { - Set> checkers = super.getImmediateSubcheckerClasses(); + protected Set> getImmediateSubcheckerClasses() { + Set> checkers = super.getImmediateSubcheckerClasses(); checkers.add(ValueChecker.class); return checkers; }