Class TreeUtilsAfterJava11.PatternCaseLabelUtils

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

public static class TreeUtilsAfterJava11.PatternCaseLabelUtils extends Object
Utility methods for accessing PatternCaseLabelTree methods.
  • Method Details

    • getPattern

      public static Tree getPattern(Tree patternCaseLabelTree)
      Wrapper around PatternCaseLabelTree#getPattern.
      Parameters:
      patternCaseLabelTree - a PatternCaseLabelTree tree
      Returns:
      the PatternTree in the patternCaseLabelTree