Document the Dataflow Framework (#6268)

typetools · Oct 30, 2023 · 365d317 · 365d317
1 parent 2a02885
commit 365d317
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/docs/checker-framework-webpage.html b/docs/checker-framework-webpage.html
@@ -102,6 +102,12 @@ <h1>The Checker Framework</h1>
           </li>
         </ul>
       </li>
+      <li>The <a href="https://checkerframework.org/manual/checker-framework-dataflow-manual.pdf"><b>Dataflow
+        Framework</b></a> is an industrial-strength dataflow framework for
+        Java.  The Dataflow Framework is used in the Checker Framework, Google’s
+        Error Prone, Uber’s NullAway, Meta’s Nullsafe, and in other contexts.
+        It is distributed with the Checker Framework.
+      </li>
     </ul>
   </li>