From b351a8f5af13094f9ccd791992fb6ef84093d984 Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Thu, 25 Jun 2026 18:08:23 -0400 Subject: [PATCH] Update stale Checker Framework doc links --- build.gradle | 4 ++-- src/checkers/inference/model/RefinementVariableSlot.java | 2 +- .../inference/model/serialization/CnfSerializerSolver.java | 2 +- src/hardcoded/qual/PolyHardcoded.java | 5 ++--- src/interning/InterningVisitor.java | 4 ++-- src/nninf/qual/KeyFor.java | 2 +- src/ostrusted/qual/PolyOsTrusted.java | 5 ++--- src/trusted/qual/PolyTrusted.java | 5 ++--- 8 files changed, 13 insertions(+), 16 deletions(-) diff --git a/build.gradle b/build.gradle index bbe606cb..3ba30115 100644 --- a/build.gradle +++ b/build.gradle @@ -16,8 +16,8 @@ plugins { apply plugin: 'java' // Note: For this setup to work you must follow the instructions outlined in the -// checker manual Section 25.3 "Building from Source" -// http://types.cs.washington.edu/checker-framework/current/checkers-manual.html#build-source +// checker manual Section 40.3 "Building from source" +// https://eisop.github.io/cf/manual/manual.html#build-source ext { jsr308 = System.getenv('JSR308') ?: file(new File("..")).absolutePath diff --git a/src/checkers/inference/model/RefinementVariableSlot.java b/src/checkers/inference/model/RefinementVariableSlot.java index 55f23795..926ca4be 100644 --- a/src/checkers/inference/model/RefinementVariableSlot.java +++ b/src/checkers/inference/model/RefinementVariableSlot.java @@ -6,7 +6,7 @@ * following subtype relationship: R <: V * *

Refinement variables are used to model the semantics of flow-sensitive type refinement - * (http://types.cs.washington.edu/checker-framework/current/checkers-manual.html#type-refinement). + * (https://eisop.github.io/cf/manual/manual.html#type-refinement). * *

Within methods, the values of fields, parameters, and local variables are all refined downward * when possible ( e.g. after an assignment ). To model this behavior, every time a variable could diff --git a/src/checkers/inference/model/serialization/CnfSerializerSolver.java b/src/checkers/inference/model/serialization/CnfSerializerSolver.java index 9f44c655..77ddcd22 100644 --- a/src/checkers/inference/model/serialization/CnfSerializerSolver.java +++ b/src/checkers/inference/model/serialization/CnfSerializerSolver.java @@ -68,7 +68,7 @@ protected void printCnf( String header = makeComment( "CNF File Generated by checkers.inference.serialization.CnfSerializerSolver\n" - + "http://types.cs.washington.edu/checker-framework/\n" + + "https://eisop.github.io/cf/\n" + "Generated: " + getDateString() + "\n" diff --git a/src/hardcoded/qual/PolyHardcoded.java b/src/hardcoded/qual/PolyHardcoded.java index d91c89c9..ddc60437 100644 --- a/src/hardcoded/qual/PolyHardcoded.java +++ b/src/hardcoded/qual/PolyHardcoded.java @@ -11,9 +11,8 @@ /** * A Polymorphic qualifier for {@code Hardcoded}. * - *

See {@link - * http://types.cs.washington.edu/checker-framework/current/checkers-manual.html#qualifier-polymorphism} - * for information on the semantics of polymorphic qualifiers in the checker framework. + *

See https://eisop.github.io/cf/manual/manual.html#method-qualifier-polymorphism for + * information on the semantics of polymorphic qualifiers in the checker framework. * *

* diff --git a/src/interning/InterningVisitor.java b/src/interning/InterningVisitor.java index 023af4db..73ccd52e 100644 --- a/src/interning/InterningVisitor.java +++ b/src/interning/InterningVisitor.java @@ -84,8 +84,8 @@ public InterningVisitor( /** * @return true if interning should be verified for the input expression. By default, all - * classes are checked for interning unless -Acheckclass is specified. {@see - * http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html#interning-checks}. + * classes are checked for interning unless -Acheckclass is specified. See + * https://eisop.github.io/cf/manual/manual.html#interning-checks. */ private boolean shouldCheckExpression(ExpressionTree tree) { if (typeToCheck == null) return true; diff --git a/src/nninf/qual/KeyFor.java b/src/nninf/qual/KeyFor.java index e774ef73..f9ef2f22 100644 --- a/src/nninf/qual/KeyFor.java +++ b/src/nninf/qual/KeyFor.java @@ -36,7 +36,7 @@ * Java expression(s) that evaluate to a map for which the annotated type is a key. * * @see Syntax + * href="https://eisop.github.io/cf/manual/manual.html#java-expressions-as-arguments">Syntax * of Java expressions */ public String[] value(); diff --git a/src/ostrusted/qual/PolyOsTrusted.java b/src/ostrusted/qual/PolyOsTrusted.java index 7def333c..803eecbc 100644 --- a/src/ostrusted/qual/PolyOsTrusted.java +++ b/src/ostrusted/qual/PolyOsTrusted.java @@ -11,9 +11,8 @@ /** * A Polymorphic qualifier for {@code OsTrusted}. * - *

See {@link - * http://types.cs.washington.edu/checker-framework/current/checkers-manual.html#qualifier-polymorphism} - * for information on the semantics of polymorphic qualifiers in the checker framework. + *

See https://eisop.github.io/cf/manual/manual.html#method-qualifier-polymorphism for + * information on the semantics of polymorphic qualifiers in the checker framework. * *

* diff --git a/src/trusted/qual/PolyTrusted.java b/src/trusted/qual/PolyTrusted.java index 31a367ac..df4b69fe 100644 --- a/src/trusted/qual/PolyTrusted.java +++ b/src/trusted/qual/PolyTrusted.java @@ -11,9 +11,8 @@ /** * A Polymorphic qualifier for {@code Trusted}. * - *

See {@link - * http://types.cs.washington.edu/checker-framework/current/checkers-manual.html#qualifier-polymorphism} - * for information on the semantics of polymorphic qualifiers in the checker framework. + *

See https://eisop.github.io/cf/manual/manual.html#method-qualifier-polymorphism for + * information on the semantics of polymorphic qualifiers in the checker framework. * *

*