Fix typos (#554)

eisop · Aug 17, 2023 · 511549f · 511549f
1 parent 02e2f45
commit 511549f
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 6 deletions.
diff --git a/...ker/src/main/java/org/checkerframework/checker/initialization/InitializationTransfer.java b/...ker/src/main/java/org/checkerframework/checker/initialization/InitializationTransfer.java
@@ -168,7 +168,7 @@ public TransferResult<V, S> visitAssignment(AssignmentNode n, TransferInput<V, S
     }
 
     /**
-     * If an invariant field is initialized and has the invariant annotation, than it has at least
+     * If an invariant field is initialized and has the invariant annotation, then it has at least
      * the invariant annotation. Note that only fields of the 'this' receiver are tracked for
      * initialization.
      */

diff --git a/checker/src/main/java/org/checkerframework/checker/optional/OptionalChecker.java b/checker/src/main/java/org/checkerframework/checker/optional/OptionalChecker.java
@@ -10,7 +10,10 @@
  *
  * @checker_framework.manual #optional-checker Optional Checker
  */
-// TODO: For a call to ofNullable, if the argument has type @NonNull, make the return type have type
-// @Present.  Make Optional Checker a subchecker of the Nullness Checker.
+// TODO: For a call to `Optional#ofNullable`, if the argument has type @NonNull, make the return
+// type have type @Present.  Make Optional Checker a subchecker of the Nullness Checker.
 @RelevantJavaTypes(Optional.class)
-public class OptionalChecker extends BaseTypeChecker {}
+public class OptionalChecker extends BaseTypeChecker {
+    /** Default constructor for OptionalChecker. */
+    public OptionalChecker() {}
+}
diff --git a/dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/FieldAccessNode.java b/dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/FieldAccessNode.java
@@ -36,7 +36,7 @@ public class FieldAccessNode extends Node {
      * Creates a new FieldAccessNode.
      *
      * @param tree the tree from which to create a FieldAccessNode
-     * @param receiver the receiver for the resuling FieldAccessNode
+     * @param receiver the receiver for the resulting FieldAccessNode
      */
     public FieldAccessNode(Tree tree, Node receiver) {
         super(TreeUtils.typeOf(tree));

diff --git a/framework/src/main/java/org/checkerframework/framework/flow/CFAbstractTransfer.java b/framework/src/main/java/org/checkerframework/framework/flow/CFAbstractTransfer.java
@@ -589,7 +589,7 @@ protected TransferResult<V, S> createTransferResult(@Nullable V value, TransferI
      *
      * @param value the value; possibly null
      * @param in the TransferResult to copy
-     * @return the input informatio
+     * @return the input information
      */
     @SideEffectFree
     protected TransferResult<V, S> recreateTransferResult(