Update checker framework version 3.21.1

./third_party/java/checker_framework/update-checker \ --old_version 3.20.0 \ --checker_release 3.21.1 PiperOrigin-RevId: 427315223
google · Feb 8, 2022 · d18c02f · d18c02f
1 parent 5d9d989
commit d18c02f
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 1 deletion.
diff --git a/...m/google/errorprone/dataflow/nullnesspropagation/AbstractNullnessPropagationTransfer.java b/...m/google/errorprone/dataflow/nullnesspropagation/AbstractNullnessPropagationTransfer.java
@@ -96,6 +96,7 @@
 import org.checkerframework.errorprone.dataflow.cfg.node.StringConversionNode;
 import org.checkerframework.errorprone.dataflow.cfg.node.StringLiteralNode;
 import org.checkerframework.errorprone.dataflow.cfg.node.SuperNode;
+import org.checkerframework.errorprone.dataflow.cfg.node.SwitchExpressionNode;
 import org.checkerframework.errorprone.dataflow.cfg.node.SynchronizedNode;
 import org.checkerframework.errorprone.dataflow.cfg.node.TernaryExpressionNode;
 import org.checkerframework.errorprone.dataflow.cfg.node.ThrowNode;
@@ -855,6 +856,19 @@ Nullness visitInstanceOf(
  return NULLABLE;
  }
 
+ @Override
+ public final TransferResult<Nullness, AccessPathStore<Nullness>> visitSwitchExpressionNode(
+ SwitchExpressionNode node, TransferInput<Nullness, AccessPathStore<Nullness>> input) {
+ ReadableUpdates updates = new ReadableUpdates();
+ Nullness result = visitSwitchExpression(node, values(input), updates);
+ return updateRegularStore(result, input, updates);
+ }
+
+ Nullness visitSwitchExpression(SwitchExpressionNode node, SubNodeValues inputs, Updates updates) {
+ // TODO(b/217592536): Implement switch expressions
+ return NULLABLE;
+ }
+
  @Override
  public final TransferResult<Nullness, AccessPathStore<Nullness>> visitSynchronized(
  SynchronizedNode node, TransferInput<Nullness, AccessPathStore<Nullness>> input) {

diff --git a/.../java/com/google/errorprone/dataflow/nullnesspropagation/NullnessPropagationTransfer.java b/.../java/com/google/errorprone/dataflow/nullnesspropagation/NullnessPropagationTransfer.java
@@ -104,6 +104,7 @@
 import org.checkerframework.errorprone.dataflow.cfg.node.MethodInvocationNode;
 import org.checkerframework.errorprone.dataflow.cfg.node.Node;
 import org.checkerframework.errorprone.dataflow.cfg.node.NotEqualNode;
+import org.checkerframework.errorprone.dataflow.cfg.node.SwitchExpressionNode;
 import org.checkerframework.errorprone.dataflow.cfg.node.TypeCastNode;
 import org.checkerframework.errorprone.dataflow.cfg.node.VariableDeclarationNode;
 
@@ -583,6 +584,11 @@ Nullness visitMethodInvocation(
  return returnValueNullness(node, callee);
  }
 
+ @Override
+ Nullness visitSwitchExpression(SwitchExpressionNode node, SubNodeValues inputs, Updates updates) {
+ return NULLABLE;
+ }
+
  @Override
  Nullness visitObjectCreation() {
  return NONNULL;

diff --git a/pom.xml b/pom.xml
@@ -35,7 +35,7 @@
  <autoservice.version>1.0.1</autoservice.version>
  <autovalue.version>1.9</autovalue.version>
  <junit.version>4.13.2</junit.version>
- <dataflow.version>3.15.0</dataflow.version>
+ <dataflow.version>3.21.1</dataflow.version>
  <mockito.version>3.12.4</mockito.version>
  <compile.testing.version>0.19</compile.testing.version>
  <caffeine.version>3.0.5</caffeine.version>