org.checkerframework.framework.util

Class Heuristics.Matchers

java.lang.Object

org.checkerframework.framework.util.Heuristics.Matchers

Enclosing class:

Heuristics

public static class Heuristics.Matchers
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Matchers()

Method Summary

Modifier and Type	Method and Description
static Heuristics.Matcher	ofKind(Tree.Kind kind, Heuristics.Matcher matcher)
static Heuristics.Matcher	or(Heuristics.Matcher... matchers)
static Heuristics.Matcher	preceededBy(Heuristics.Matcher matcher)
static Heuristics.Matcher	whenTrue(Heuristics.Matcher conditionMatcher)
static Heuristics.Matcher	withIn(Heuristics.Matcher matcher)

Methods inherited from class java.lang.Object

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

Constructor Detail

Matchers

public Matchers()

Method Detail

preceededBy

public static Heuristics.Matcher preceededBy(Heuristics.Matcher matcher)

withIn

public static Heuristics.Matcher withIn(Heuristics.Matcher matcher)

whenTrue

public static Heuristics.Matcher whenTrue(Heuristics.Matcher conditionMatcher)

ofKind

public static Heuristics.Matcher ofKind(Tree.Kind kind,
                                        Heuristics.Matcher matcher)

or

public static Heuristics.Matcher or(Heuristics.Matcher... matchers)