Fix broken links.

typetools · Oct 1, 2020 · 525e50e · 525e50e
1 parent e8b512d
commit 525e50e
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 7 deletions.
diff --git a/docs/manual/accumulation-checker.tex b/docs/manual/accumulation-checker.tex
@@ -51,16 +51,16 @@
 be the default qualifier in the hierarchy (\<@DefaultQualifierInHierarchy>).
 
 An example of such a qualifier can be found in the Checker Framework's tests:
-\href{https://github.com/typetools/checker-framework/blob/master/framework/src/test/java/testaccumulation/qual/TestAccumulation.java}{TestAccumulation.java}.
+\href{https://github.com/typetools/checker-framework/blob/master/framework/src/test/java/org/checkerframework/framework/testchecker/testaccumulation/qual/TestAccumulation.java}{TestAccumulation.java}.
 
 \item
 Define a bottom type, analogous to
-\href{https://github.com/typetools/checker-framework/blob/master/framework/src/test/java/testaccumulation/qual/TestAccumulationBottom.java}{TestAccumulationBottom.java}.
+\href{https://github.com/typetools/checker-framework/blob/master/framework/src/test/java/org/checkerframework/framework/testchecker/testaccumulation/qual/TestAccumulationBottom.java}{TestAccumulationBottom.java}.
 It should take no arguments, and should be a subtype of the accumulator type you defined earlier.
 
 \item
 Optionally, define a predicate annotation, analogous to
-\href{https://github.com/typetools/checker-framework/blob/master/framework/src/test/java/testaccumulation/qual/TestAccumulationPredicate.java}{TestAccumulationPredicate.java}.
+\href{https://github.com/typetools/checker-framework/blob/master/framework/src/test/java/org/checkerframework/framework/testchecker/testaccumulation/qual/TestAccumulationPredicate.java}{TestAccumulationPredicate.java}.
 It must have a single argument named \<value> of type \<String>.
 The predicate syntax supports
 \begin{itemize}

diff --git a/docs/manual/creating-a-checker.tex b/docs/manual/creating-a-checker.tex
@@ -1215,7 +1215,7 @@
 
 \item
   Define a subclass of a
-  \refclass{org/checkerframework/framework/type/treeannotator}{TypeAnnotator},
+  \refclass{org/checkerframework/framework/type/typeannotator}{TypeAnnotator},
   typically as a private inner class of your \<AnnotatedTypeFactory>.
   There is a method of \<TypeAnnotator> for every kind of type, and the
   visitor has access to only the type.  In your subclass of

diff --git a/...work/src/main/java/org/checkerframework/framework/util/DefaultQualifierKindHierarchy.java b/...work/src/main/java/org/checkerframework/framework/util/DefaultQualifierKindHierarchy.java
@@ -250,8 +250,8 @@ protected void verifyHierarchy(
 
     /**
      * Creates a mapping from a {@link QualifierKind} to a set of its direct super qualifier kinds.
-     * The direct super qualifier kinds do not contain the qualifier itself. This mapping is used by
-     * {@link #createBottomsSet(Map)}, {@link #createTopsSet(Map)}, and {@link
+     * The direct super qualifier kinds do not contain the qualifier itself. This mapping is used to
+     * create the bottom set, to create the top set, and by {@link
      * #initializeQualifierKindFields(Map)}.
      *
      * <p>This implementation uses the {@link SubtypeOf} meta-annotation. Subclasses may override
@@ -723,7 +723,7 @@ private static void addToMapOfMap(
          * this qualifier kind itself.
          */
         // Set while creating the QualifierKindHierarchy.
-        @MonotonicNonNull Set<QualifierKind> strictSuperTypes;
+        protected @MonotonicNonNull Set<QualifierKind> strictSuperTypes;
 
         /**
          * Creates a {@link DefaultQualifierKind} for the given annotation class.