Package org.checkerframework.javacutil

Class TreeUtilsAfterJava11.PatternCaseLabelUtils

java.lang.Object

org.checkerframework.javacutil.TreeUtilsAfterJava11.PatternCaseLabelUtils

Enclosing class:

TreeUtilsAfterJava11

@Deprecated(forRemoval=true,
            since="4.0.0")
public static class TreeUtilsAfterJava11.PatternCaseLabelUtils
extends Object

Deprecated, for removal: This API element is subject to removal in a future version.

Utility methods for accessing PatternCaseLabelTree methods.

Method Summary

Modifier and Type	Method	Description
static Tree	getPattern(Tree patternCaseLabelTree)	Deprecated, for removal: This API element is subject to removal in a future version. use TreeUtilsAfterJava17.PatternCaseLabelUtils.getPattern(Tree)
static boolean	isPatternCaseLabelTree(Tree tree)	Deprecated, for removal: This API element is subject to removal in a future version. use TreeUtilsAfterJava17.PatternCaseLabelUtils.isPatternCaseLabelTree(Tree)

Methods inherited from class java.lang.Object

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

Method Details

isPatternCaseLabelTree

@Deprecated(forRemoval=true,
            since="4.0.0")
public static boolean isPatternCaseLabelTree(Tree tree)

Deprecated, for removal: This API element is subject to removal in a future version.

use TreeUtilsAfterJava17.PatternCaseLabelUtils.isPatternCaseLabelTree(Tree)

Returns true if tree is a PatternCaseLabelTree.

Parameters:

tree - a tree to check

Returns:

true if tree is a PatternCaseLabelTree

getPattern

@Deprecated(forRemoval=true,
            since="4.0.0")
public static Tree getPattern(Tree patternCaseLabelTree)

Deprecated, for removal: This API element is subject to removal in a future version.

use TreeUtilsAfterJava17.PatternCaseLabelUtils.getPattern(Tree)

Wrapper around PatternCaseLabelTree#getPattern.

Parameters:

patternCaseLabelTree - a PatternCaseLabelTree tree

Returns:

the PatternTree in the patternCaseLabelTree