Code

Fix typos#554

Code

Merged

wmdietl merged 7 commits intoeisop:mastereisop/checker-framework:masterfrom Ao-senXiong:fix-typoAo-senXiong/checker-framework:fix-typoCopy head branch name to clipboardAug 17, 2023

+9-6

Commits

Commits on Aug 9, 2023

• fix typo:

  Ao-senXiong

  committed
  01c4e2c

• provide default constructor

  Ao-senXiong

  committed
  3418bb3

• test for lint errors

  Ao-senXiong

  committed
  28a3630

• test for lint errors

  Ao-senXiong

  committed
  1212927

Commits on Aug 12, 2023

• add javadoc comment

  Ao-senXiong

  committed
  cd4004b

Commits on Aug 16, 2023

• Update checker/src/main/java/org/checkerframework/checker/optional/OptionalChecker.java

  Ao-senXiong

  authored
  9f71dfc

• apply spotless

  Ao-senXiong

  committed
  520fd3e