Package org.checkerframework.afu.annotator.find

Class ExtImplsLocationCriterion

java.lang.Object
org.checkerframework.afu.annotator.find.ExtImplsLocationCriterion
All Implemented Interfaces:
Criterion
public class ExtImplsLocationCriterion extends Object implements Criterion
A criterion to find a given extends or implements clause.

  • Constructor Details

    • ExtImplsLocationCriterion

      public ExtImplsLocationCriterion(String classname, TypeIndexLocation tyLoc)
      Parameters:
      classname - the class name; for debugging purposes only, not used to constrain
      tyLoc - -1 for an extends clause, $ge; 0 for the zero-based implements clause

  • 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

    • getIndex

      public Integer getIndex()
      Returns the index of this.
      Returns:
      the index 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