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.

Methods inherited from class java.lang.Object

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

Method Details

getPattern

public static Tree getPattern(Tree patternCaseLabelTree)

Wrapper around PatternCaseLabelTree#getPattern.

Parameters:

patternCaseLabelTree - a PatternCaseLabelTree tree

Returns:

the PatternTree in the patternCaseLabelTree