Package org.checkerframework.javacutil

Class TreeUtilsAfterJava11.InstanceOfUtils

  • Enclosing class:
    TreeUtilsAfterJava11
    public static class TreeUtilsAfterJava11.InstanceOfUtils
extends java.lang.Object
    Utility methods for accessing InstanceOfTree methods.

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static @Nullable com.sun.source.tree.Tree getPattern​(com.sun.source.tree.InstanceOfTree instanceOfTree)
      Returns the pattern of instanceOfTree tree.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Method Detail

      • getPattern

        public static @Nullable com.sun.source.tree.Tree getPattern​(com.sun.source.tree.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