Package org.checkerframework.framework.type.poly

Interface QualifierPolymorphism

All Known Implementing Classes:
AbstractQualifierPolymorphism, DefaultQualifierPolymorphism
public interface QualifierPolymorphism
Interface to implement qualifier polymorphism.
See Also:

  • Method Details

    • hasPolymorphicQualifiers

      boolean hasPolymorphicQualifiers(AnnotatedTypeMirror type)
      Returns true if type has any polymorphic qualifiers
      Parameters:
      type - a type that might have polymorphic qualifiers
      Returns:
      true if type has any polymorphic qualifiers

    • resolve

      void resolve(MethodInvocationTree tree, AnnotatedTypeMirror.AnnotatedExecutableType type)
      Resolves polymorphism annotations for the given type.
      Parameters:
      tree - the tree associated with the type
      type - the type to annotate; is side-effected by this method

    • resolve

      void resolve(NewClassTree tree, AnnotatedTypeMirror.AnnotatedExecutableType type)
      Resolves polymorphism annotations for the given type.
      Parameters:
      tree - the tree associated with the type
      type - the type to annotate; is side-effected by this method

    • resolve

      void resolve(AnnotatedTypeMirror.AnnotatedExecutableType functionalInterface, AnnotatedTypeMirror.AnnotatedExecutableType memberReference)
      Resolves polymorphism annotations for the given type.
      Parameters:
      functionalInterface - the function type of memberReference
      memberReference - the type of a member reference; is side-effected by this method

    • resolve

      void resolve(VariableElement field, AnnotatedTypeMirror owner, AnnotatedTypeMirror type)
      Resolves polymorphism annotations for the given field type.
      Parameters:
      field - field element to whose poly annotation must be resolved
      owner - the type of the object whose field is being typed
      type - type of the field which still has poly annotations