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

@Pure
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