Skip to content

Chore: Update stale Checker Framework doc links #476

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
aosen-xiong wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Chore: Update stale Checker Framework doc links #476

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions build.gradle
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion src/checkers/inference/model/RefinementVariableSlot.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
* following subtype relationship: R <: V
*
* <p>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).
*
* <p>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
Expand Down
2 changes: 1 addition & 1 deletion src/checkers/inference/model/serialization/CnfSerializerSolver.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
5 changes: 2 additions & 3 deletions src/hardcoded/qual/PolyHardcoded.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,9 +11,8 @@
/**
* A Polymorphic qualifier for {@code Hardcoded}.
*
* <p>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.
* <p>See https://eisop.github.io/cf/manual/manual.html#method-qualifier-polymorphism for
* information on the semantics of polymorphic qualifiers in the checker framework.
*
* <p>
*
Expand Down
4 changes: 2 additions & 2 deletions src/interning/InterningVisitor.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down
2 changes: 1 addition & 1 deletion src/nninf/qual/KeyFor.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@
* Java expression(s) that evaluate to a map for which the annotated type is a key.
*
* @see <a
* href="http://types.cs.washington.edu/checker-framework/current/checkers-manual.html#java-expressions-as-arguments">Syntax
* href="https://eisop.github.io/cf/manual/manual.html#java-expressions-as-arguments">Syntax
* of Java expressions</a>
*/
public String[] value();
Expand Down
5 changes: 2 additions & 3 deletions src/ostrusted/qual/PolyOsTrusted.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,9 +11,8 @@
/**
* A Polymorphic qualifier for {@code OsTrusted}.
*
* <p>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.
* <p>See https://eisop.github.io/cf/manual/manual.html#method-qualifier-polymorphism for
* information on the semantics of polymorphic qualifiers in the checker framework.
*
* <p>
*
Expand Down
5 changes: 2 additions & 3 deletions src/trusted/qual/PolyTrusted.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,9 +11,8 @@
/**
* A Polymorphic qualifier for {@code Trusted}.
*
* <p>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.
* <p>See https://eisop.github.io/cf/manual/manual.html#method-qualifier-polymorphism for
* information on the semantics of polymorphic qualifiers in the checker framework.
*
* <p>
*
Expand Down
Loading