Package org.checkerframework.javacutil
Class TreeUtilsAfterJava11.PatternCaseLabelUtils
- java.lang.Object
-
- org.checkerframework.javacutil.TreeUtilsAfterJava11.PatternCaseLabelUtils
-
- Enclosing class:
- TreeUtilsAfterJava11
public static class TreeUtilsAfterJava11.PatternCaseLabelUtils extends java.lang.ObjectUtility methods for accessingPatternCaseLabelTreemethods.
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static com.sun.source.tree.TreegetPattern(com.sun.source.tree.Tree patternCaseLabelTree)Wrapper aroundPatternCaseLabelTree#getPattern.static booleanisPatternCaseLabelTree(com.sun.source.tree.Tree tree)Returns whethertreeis aPatternCaseLabelTree.
-
-
-
Method Detail
-
isPatternCaseLabelTree
public static boolean isPatternCaseLabelTree(com.sun.source.tree.Tree tree)
Returns whethertreeis aPatternCaseLabelTree.- Parameters:
tree- a tree to check- Returns:
- true if
treeis aPatternCaseLabelTree
-
getPattern
public static com.sun.source.tree.Tree getPattern(com.sun.source.tree.Tree patternCaseLabelTree)
Wrapper aroundPatternCaseLabelTree#getPattern.- Parameters:
patternCaseLabelTree- a PatternCaseLabelTree tree- Returns:
- the
PatternTreein thepatternCaseLabelTree
-
-