Package org.checkerframework.javacutil

Class TreeUtilsAfterJava11.InstanceOfUtils

java.lang.Object

org.checkerframework.javacutil.TreeUtilsAfterJava11.InstanceOfUtils

Enclosing class:

TreeUtilsAfterJava11

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

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

Utility methods for accessing InstanceOfTree methods.

Method Summary

Modifier and Type	Method	Description
static @Nullable Tree	getPattern(InstanceOfTree instanceOfTree)	Deprecated, for removal: This API element is subject to removal in a future version. Use InstanceOfTree.getPattern()

Methods inherited from class java.lang.Object

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

Method Details

getPattern

@Deprecated(forRemoval=true,
            since="4.0.0")
@Pure
public static @Nullable Tree getPattern(InstanceOfTree instanceOfTree)

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

Use InstanceOfTree.getPattern()

Returns the pattern of instanceOfTree tree. Returns null if the instanceof does not have a pattern, including if the JDK version does not support instance-of patterns.

Parameters:

instanceOfTree - the InstanceOfTree whose pattern is returned

Returns:

the PatternTree of instanceOfTree or null if it doesn't exist