javadoc and comment

ucr-riple · Oct 3, 2024 · f569b9f · f569b9f
1 parent 979329a
commit f569b9f
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/annotator-core/src/main/java/edu/ucr/cs/riple/core/checkers/nullaway/NullAwayError.java b/annotator-core/src/main/java/edu/ucr/cs/riple/core/checkers/nullaway/NullAwayError.java
@@ -51,6 +51,8 @@ public NullAwayError(
 
   @Override
   protected Set<Fix> computeFixesFromAnnotations(Set<AddAnnotation> annotations) {
+    // In NullAway inference, each annotation is examined individually. Thus, we create a separate
+    // fix instance for each annotation.
     return annotations.stream()
         .map(annot -> new Fix(annot, messageType))
         .collect(Collectors.toSet());

diff --git a/annotator-core/src/main/java/edu/ucr/cs/riple/core/registries/index/Error.java b/annotator-core/src/main/java/edu/ucr/cs/riple/core/registries/index/Error.java
@@ -63,6 +63,16 @@ public Error(
     this.resolvingFixes = computeFixesFromAnnotations(annotations);
   }
 
+  /**
+   * Creates a set of {@link Fix} instances from the provided set of annotations that resolve the
+   * error. A fix instance can contain multiple annotations, which are grouped for evaluation. A fix
+   * is an input to the search algorithm, and if approved, all its contained annotations will be
+   * applied to the source code.
+   *
+   * @param annotations A set of annotations that, if fully applied, resolve the error. Each fix can
+   *     contain a subset of these annotations.
+   * @return A set of fix instances, each representing a possible group of annotations.
+   */
   protected abstract Set<Fix> computeFixesFromAnnotations(Set<AddAnnotation> annotations);
 
   public Set<Fix> getFixes() {