Class TreeUtilsAfterJava11.InstanceOfUtils

java.lang.Object
org.checkerframework.javacutil.TreeUtilsAfterJava11.InstanceOfUtils
Enclosing class:
TreeUtilsAfterJava11

public static class TreeUtilsAfterJava11.InstanceOfUtils extends Object
Utility methods for accessing InstanceOfTree methods.
  • Method Details

    • getPattern

      public static @Nullable Tree getPattern(InstanceOfTree instanceOfTree)
      Returns the pattern of instanceOfTree tree. Returns null if the instanceof does not have a pattern, including if the JDK version does not support instance-of patterns.
      Parameters:
      instanceOfTree - the InstanceOfTree whose pattern is returned
      Returns:
      the PatternTree of instanceOfTree or null if it doesn't exist