Package org.checkerframework.javacutil

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 Summary

Modifier and Type	Method	Description
static Tree	getPattern(Tree patternCaseLabelTree)	Wrapper around PatternCaseLabelTree#getPattern.
static boolean	isPatternCaseLabelTree(Tree tree)	Returns whether tree is a PatternCaseLabelTree.

Methods inherited from class java.lang.Object

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

Method Details

isPatternCaseLabelTree

public static boolean isPatternCaseLabelTree(Tree tree)

Returns whether tree is a PatternCaseLabelTree.

Parameters:

tree - a tree to check

Returns:

true if tree is a PatternCaseLabelTree

getPattern

public static Tree getPattern(Tree patternCaseLabelTree)

Wrapper around PatternCaseLabelTree#getPattern.

Parameters:

patternCaseLabelTree - a PatternCaseLabelTree tree

Returns:

the PatternTree in the patternCaseLabelTree