Class TreeUtilsAfterJava11.PatternCaseLabelUtils
java.lang.Object
org.checkerframework.javacutil.TreeUtilsAfterJava11.PatternCaseLabelUtils
-
Method Summary
Modifier and TypeMethodDescriptionstatic Tree
getPattern
(Tree patternCaseLabelTree) Wrapper aroundPatternCaseLabelTree#getPattern
.static boolean
isPatternCaseLabelTree
(Tree tree) Returns whethertree
is aPatternCaseLabelTree
.
-
Method Details
-
isPatternCaseLabelTree
Returns whethertree
is aPatternCaseLabelTree
.- Parameters:
tree
- a tree to check- Returns:
- true if
tree
is aPatternCaseLabelTree
-
getPattern
-