Package org.checkerframework.afu.annotator.find

Class CastCriterion

java.lang.Object

org.checkerframework.afu.annotator.find.CastCriterion

All Implemented Interfaces:

Criterion

public class CastCriterion
extends Object
implements Criterion

Criterion for being a specific type cast expression.

Nested Class Summary

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

Criterion.Kind

Constructor Summary

Constructors

Constructor	Description
CastCriterion(String methodName, RelativeLocation loc)

Method Summary

Modifier and Type	Method	Description
Criterion.Kind	getKind()	Gets the type of this criterion.
RelativeLocation	getLocation()	Returns the location of this.
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

CastCriterion

public CastCriterion(String methodName,
 RelativeLocation loc)

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

getLocation

public RelativeLocation getLocation()

Returns the location of this.

Returns:

the location of this

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