Package org.checkerframework.afu.annotator.find

Class BoundLocationCriterion

java.lang.Object

org.checkerframework.afu.annotator.find.BoundLocationCriterion

All Implemented Interfaces:

Criterion

public class BoundLocationCriterion
extends Object
implements Criterion

Nested Class Summary

Nested classes/interfaces inherited from interface org.checkerframework.afu.annotator.find.Criterion

Criterion.Kind

Constructor Summary

Constructors

Constructor	Description
BoundLocationCriterion(BoundLocation boundLoc)

Method Summary

Modifier and Type	Method	Description
Criterion.Kind	getKind()	Gets the type of this criterion.
boolean	isOnlyTypeAnnotationCriterion()	Returns true if this Criterion only permits type annotations, not declaration annotations.
boolean	isSatisfiedBy(@Nullable TreePath path)	Determines if the given tree path is satisfied by this criterion.
boolean	isSatisfiedBy(@Nullable TreePath path, Tree leaf)	Determines if the given tree path is satisfied by this criterion.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

BoundLocationCriterion

public BoundLocationCriterion(BoundLocation boundLoc)

Method Details

isSatisfiedBy

public boolean isSatisfiedBy(@Nullable TreePath path,
 @FindDistinct
 Tree leaf)

Description copied from interface: Criterion

Determines if the given tree path is satisfied by this criterion.

Specified by:

isSatisfiedBy in interface Criterion

Parameters:

path - the tree path to check against. May be null (in which case the result is false), for example in a call such as this.isSatisfiedBy(path.getParentPath()).

Returns:

true if this criterion is satisfied by the given path, false otherwise

isSatisfiedBy

public boolean isSatisfiedBy(@Nullable TreePath path)

Description copied from interface: Criterion

Determines if the given tree path is satisfied by this criterion.

Specified by:

isSatisfiedBy in interface Criterion

Parameters:

path - the tree path to check against. May be null (in which case the result is false), for example in a call such as this.isSatisfiedBy(path.getParentPath()).

Returns:

true if this criterion is satisfied by the given path, false otherwise

isOnlyTypeAnnotationCriterion

public boolean isOnlyTypeAnnotationCriterion()

Description copied from interface: Criterion

Returns true if this Criterion only permits type annotations, not declaration annotations.

Specified by:

isOnlyTypeAnnotationCriterion in interface Criterion

Returns:

true if this Criterion only permits type annotations, not declaration annotations

getKind

public Criterion.Kind getKind()

Description copied from interface: Criterion

Gets the type of this criterion.

Specified by:

getKind in interface Criterion

Returns:

this criterion's kind

toString

public String toString()

Overrides:

toString in class Object