From 525e50e8102a98827ce70c5a170cc8e3220b5625 Mon Sep 17 00:00:00 2001 From: Suzanne Millstein Date: Thu, 1 Oct 2020 13:02:44 -0700 Subject: [PATCH] Fix broken links. --- docs/manual/accumulation-checker.tex | 6 +++--- docs/manual/creating-a-checker.tex | 2 +- .../framework/util/DefaultQualifierKindHierarchy.java | 6 +++--- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/docs/manual/accumulation-checker.tex b/docs/manual/accumulation-checker.tex index ac0198a6e3c..ae8ab0aebd7 100644 --- 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 \ of type \. The predicate syntax supports \begin{itemize} diff --git a/docs/manual/creating-a-checker.tex b/docs/manual/creating-a-checker.tex index 2820bd216e6..c440dabcf91 100644 --- 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 \. There is a method of \ for every kind of type, and the visitor has access to only the type. In your subclass of diff --git a/framework/src/main/java/org/checkerframework/framework/util/DefaultQualifierKindHierarchy.java b/framework/src/main/java/org/checkerframework/framework/util/DefaultQualifierKindHierarchy.java index ec0c5ee7de3..4db143578c0 100644 --- a/framework/src/main/java/org/checkerframework/framework/util/DefaultQualifierKindHierarchy.java +++ b/framework/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)}. * *

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 strictSuperTypes; + protected @MonotonicNonNull Set strictSuperTypes; /** * Creates a {@link DefaultQualifierKind} for the given annotation class.