Package org.checkerframework.javacutil

Class TreeUtilsAfterJava11.InstanceOfUtils

java.lang.Object

org.checkerframework.javacutil.TreeUtilsAfterJava11.InstanceOfUtils

Enclosing class:

TreeUtilsAfterJava11

public static class TreeUtilsAfterJava11.InstanceOfUtils
extends Object

Utility methods for accessing InstanceOfTree methods.

Method Summary

Modifier and Type	Method	Description
static @Nullable Tree	getPattern(InstanceOfTree instanceOfTree)	Returns the pattern of instanceOfTree tree.

Methods inherited from class java.lang.Object

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

Method Details

getPattern

public static @Nullable Tree getPattern(InstanceOfTree instanceOfTree)

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