[typetools/checker-framework] cc37f6: Documentation tweaks related to switch statements ...

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: cc37f6acb8553558ab135dcb16cf5ada03bcb241
https://github.com/typetools/checker-framework/commit/cc37f6acb8553558ab135dcb16cf5ada03bcb241
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2021-11-08 (Mon, 08 Nov 2021)

Changed paths:
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/ConditionalTransferResult.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/TryFinallyScopeCell.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/TryFrame.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/node/CaseNode.java
M framework/src/main/java/org/checkerframework/framework/ajava/JointJavacJavaParserVisitor.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreeUtils.java

Log Message:
-----------
Documentation tweaks related to switch statements (#4954)