Copy-edit

Co-authored-by: Michael Ernst <mernst@cs.washington.edu>

Author: mernstcheckerframework

annotation-file-utilities/bin/insert-annotations.bat

@@ -1,5 +1,5 @@
 
-:: Insert annotations (from an annoation file) into a class file.
+:: Insert annotations (from an annotation file) into a class file.
 :: For usage information, run: insert-annotations.bat --help
 :: See the annotation file utilities documentation for more information.
 

annotation-file-utilities/tests/system-test/Makefile

@@ -16,9 +16,9 @@ all: clean results
 
 warn_and_exit:
 	@echo ""
-	@echo "******************************************************"
-	@echo "Warning: The sytem test has been temporarily disabled!"
-	@echo "******************************************************"
+	@echo "*******************************************************"
+	@echo "Warning: The system test has been temporarily disabled!"
+	@echo "*******************************************************"
 	@echo ""
 
 results: out1 check-out2 out3 out4.class check-out5

buildSrc/src/main/java/GitTask.java

@@ -91,7 +91,7 @@ public void update(File directory) {
     //   javax.security.auth.login.FailedLoginException:
     //   No password data for encrypted resource=/home/mernst/.ssh/id_rsa
     // Furthermore, such messages cause a Java stack trace that clutters the Gradle output and makes
-    // it look like compilation falied.
+    // it look like compilation failed.
     // So instead run `git pull` on the command line.
 
     boolean calledGit = false;

checker/bin-devel/count-suppression-reasons

@@ -31,7 +31,7 @@
 # "count-suppression-reasons-ignore"; see below for the full list.
 
 # This script is useful to determine the most frequent reasons for warning
-# suppressions, to help checker developers decide what featuers to add to
+# suppressions, to help checker developers decide what features to add to
 # their type systems.  However, use common.util.count.AnnotationStatistics
 # to count the total number of warning suppressions (for example, to report
 # in a paper), because this script gives only an approximate count.

checker/bin-devel/test-guava.sh

@@ -26,7 +26,7 @@ if [ "$TRAVIS" = "true" ]; then
   exit 1
 fi
 
-## This command works locally, but on Azure it fails with timouts while downloading Maven dependencies.
+## This command works locally, but on Azure it fails with timeouts while downloading Maven dependencies.
 # cd guava && time mvn --debug -B package -P checkerframework-local -Dmaven.test.skip=true -Danimal.sniffer.skip=true
 
 # Pre-download Maven dependencies.  Otherwise there are sometimes timeouts when downloading a Maven dependency.

checker/tests/resourceleak-firstinitconstructor/FirstAssignmentInConditional.java

@@ -1,5 +1,5 @@
 // Test for a field's reassignment within a constructor, where the assignments are within the
-// brances of a conditional.
+// branches of a conditional.
 
 import java.io.FileInputStream;
 import org.checkerframework.checker.calledmethods.qual.*;

dataflow/manual/examples/README.txt

@@ -1,5 +1,5 @@
 The graphs in './graphs' have been generated by running the Checker Framework on
-the Java files (using the '-Aflowdotdir=dir' commmand-line option) and then
+the Java files (using the '-Aflowdotdir=dir' command-line option) and then
 running Graphviz on the output (e.g. using 'dot -Tpdf -o file.pdf file.dot').
 
 TODO: How to include only the CFG, without stores and values?

docs/developer/release/release_push.py

@@ -514,7 +514,7 @@ def main(argv: list[str]) -> None:
             "Please 'Publish' the artifacts.\n"
             "First log into https://central.sonatype.com/publishing using your "
             "Sonatype credentials.\n"
-            "Find the deployment labled 'org.checkerframework (via OSSRH Staging API)'.\n"
+            "Find the deployment labeled 'org.checkerframework (via OSSRH Staging API)'.\n"
             "Click on the Publish button next to it.\n"
             "Now it should say PUBLISHING next to the deployment. "
             "This will take a while, you can move onto the next release steps.\n\n"

javacutil/src/main/java/org/checkerframework/javacutil/DefaultAnnotationFormatter.java

@@ -82,7 +82,7 @@ public String formatAnnotationMirror(AnnotationMirror anno) {
   /**
    * A helper method to output a single AnnotationMirror, without showing full package names.
    *
-   * @param am the annotation to formate
+   * @param am the annotation to format
    * @param sb where to output the annotation's formatted representation
    */
   protected void formatAnnotationMirror(AnnotationMirror am, StringBuilder sb) {