Make ExtendedNode and Label public

typetools · Aug 26, 2023 · 6e06930 · 6e06930
1 parent 3e54ba0
commit 6e06930
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/ExtendedNode.java b/dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/ExtendedNode.java
@@ -23,7 +23,7 @@
  * CFG construction.
  */
 @SuppressWarnings("nullness") // TODO
-abstract class ExtendedNode {
+public abstract class ExtendedNode {
 
   /** The basic block this extended node belongs to (as determined in phase two). */
   protected BlockImpl block;

diff --git a/dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/Label.java b/dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/Label.java
@@ -8,7 +8,7 @@
  * <p>Note that this class is deliberately public, to enable users of the dataflow library to
  * customize CFG construction.
  */
-class Label {
+public class Label {
 
   /** Unique id counter that incremented in {@code #uniqueName}. */
   private static int uid = 0;