Implement E&HQ in CheckerFrameworkVersion because it is a ConfigurationValueType and might be listed.

This commit is contained in:
Roel Spilker committed 2020-01-20 13:57:31 +01:00
1 parent cccbdafa4b
commit 660a056240
1 file changed
+9
@@ -83,4 +83,13 @@ public final class CheckerFrameworkVersion implements ConfigurationValueType {
String s = (MAX_SUPPORTED / 1000) + "." + (MAX_SUPPORTED % 1000);
return "major.minor (example: 2.9 - and no higher than " + s + ") or true or false";
}
@Override public boolean equals(Object obj) {
if (!(obj instanceof CheckerFrameworkVersion)) return false;
return version == ((CheckerFrameworkVersion) obj).version;
}
@Override public int hashCode() {
return version;
}
}