Package org.checkerframework.afu.annotator.find

Class FieldCriterion

java.lang.Object
org.checkerframework.afu.annotator.find.FieldCriterion
All Implemented Interfaces:
Criterion
public class FieldCriterion extends Object implements Criterion

  • Field Details

    • varName

      public final String varName

    • isDeclaration

      public final boolean isDeclaration

    • varCriterion

      public final Criterion varCriterion

    • notInMethodCriterion

      public final Criterion notInMethodCriterion

  • Constructor Details

    • FieldCriterion

      public FieldCriterion(String varName)

    • FieldCriterion

      public FieldCriterion(String varName, boolean isDeclaration)

  • 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