From 511549f7271ebc8830eb5cf536d62949f291d648 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <82676488+Ao-senXiong@users.noreply.github.com>
Date: Thu, 17 Aug 2023 11:58:20 -0400
Subject: [PATCH] Fix typos (#554)

---
 .../checker/initialization/InitializationTransfer.java   | 2 +-
 .../checker/optional/OptionalChecker.java                | 9 ++++++---
 .../dataflow/cfg/node/FieldAccessNode.java               | 2 +-
 .../framework/flow/CFAbstractTransfer.java               | 2 +-
 4 files changed, 9 insertions(+), 6 deletions(-)

diff --git a/checker/src/main/java/org/checkerframework/checker/initialization/InitializationTransfer.java b/checker/src/main/java/org/checkerframework/checker/initialization/InitializationTransfer.java
index f3fd93b79b3..f46ef5eba09 100644
--- a/checker/src/main/java/org/checkerframework/checker/initialization/InitializationTransfer.java
+++ b/checker/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
index f804f943d73..40a5be5a339 100644
--- 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
index 3051ed91755..a56d986e586 100644
--- 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
index 99ccb3645f7..13833b8ab0e 100644
--- 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(