org.checkerframework.framework.util

Class Heuristics

java.lang.Object

org.checkerframework.framework.util.Heuristics

public class Heuristics
extends java.lang.Object

Utilities for determining tree-based heuristics.

For an example, see org.checkerframework.checker.interning.InterningVisitor.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Heuristics.Matcher A convenience class for tree-matching algorithms.
static class	Heuristics.Matchers
static class	Heuristics.OfKind
static class	Heuristics.OrMatcher
static class	Heuristics.PreceededBy
static class	Heuristics.WithIn
static class	Heuristics.WithinTrueBranch

Constructor Summary

Constructors

Constructor and Description
Heuristics()

Method Summary

Modifier and Type	Method and Description
static boolean	matchParents(com.sun.source.util.TreePath path, com.sun.source.tree.Tree.Kind... kinds) Determines whether a tree has a particular set of direct parents, ignoring blocks and parentheses.

Methods inherited from class java.lang.Object

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

Constructor Detail

Heuristics

public Heuristics()

Method Detail

matchParents

public static boolean matchParents(com.sun.source.util.TreePath path,
                                   com.sun.source.tree.Tree.Kind... kinds)

Determines whether a tree has a particular set of direct parents, ignoring blocks and parentheses.

For example, to test whether an expression (specified by path) is immediately contained by an if statement which is immediately contained in a method, one would invoke:

 matchParents(path, Kind.IF, Kind.METHOD)
 

Parameters:

path - the path to match

kinds - the tree kinds to match against, in ascending order starting from the desired kind of the parent

Returns:

true if the tree path matches the desired kinds, skipping blocks and parentheses, for as many kinds as specified