Package org.checkerframework.framework.util.typeinference8.constraint

Enum Class Constraint.Kind

java.lang.Object
java.lang.Enum<Constraint.Kind>
org.checkerframework.framework.util.typeinference8.constraint.Constraint.Kind
All Implemented Interfaces:
Serializable, Comparable<Constraint.Kind>, Constable
Enclosing interface:
Constraint
public static enum Constraint.Kind extends Enum<Constraint.Kind>
A kind of Constraint.

  • Nested Class Summary

    Nested classes/interfaces inherited from class java.lang.Enum

    Enum.EnumDesc<E extends Enum<E>>

  • Enum Constant Summary

    Enum Constants
    Enum Constant
    Description
    ADDITIONAL_ARG
    A single constraint, that when reduced, generates additional argument constraints.
    CONTAINED
    < S <= T >: A type argument S is contained by a type argument T.
    EXPRESSION
    < Expression -> T >: An expression is compatible in a loose invocation context with type T
    LAMBDA_EXCEPTION
    < LambdaExpression -> throws T>: The checked exceptions thrown by the body of the LambdaExpression are declared by the throws clause of the function type derived from T.
    METHOD_REF_EXCEPTION
    < MethodReferenceExpression -> throws T>: The checked exceptions thrown by the referenced method are declared by the throws clause of the function type derived from T.
    QUALIFIER_EQUALITY
    < Q = R >: A qualifier R is the same as a qualifier R.
    QUALIFIER_SUBTYPE
    < Q <: R >: A qualifier Q is a subtype of a qualifier R.
    SUBTYPE
    < S <: T >: A reference type S is a subtype of a reference type T
    TYPE_COMPATIBILITY
    < S -> T >: A type S is compatible in a loose invocation context with type T
    TYPE_EQUALITY
    < S = T >: A type S is the same as a type T, or a type argument S is the same as type argument T.

  • Method Summary

    Modifier and Type
    Method
    Description
    static Constraint.Kind
    valueOf(String name)
    Returns the enum constant of this class with the specified name.
    static Constraint.Kind[]
    values()
    Returns an array containing the constants of this enum class, in the order they are declared.

    Methods inherited from class java.lang.Enum

    clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

    Methods inherited from class java.lang.Object

    getClass, notify, notifyAll, wait, wait, wait

  • Enum Constant Details

    • EXPRESSION

      public static final Constraint.Kind EXPRESSION
      < Expression -> T >: An expression is compatible in a loose invocation context with type T

    • TYPE_COMPATIBILITY

      public static final Constraint.Kind TYPE_COMPATIBILITY
      < S -> T >: A type S is compatible in a loose invocation context with type T

    • SUBTYPE

      public static final Constraint.Kind SUBTYPE
      < S <: T >: A reference type S is a subtype of a reference type T

    • CONTAINED

      public static final Constraint.Kind CONTAINED
      < S <= T >: A type argument S is contained by a type argument T.

    • TYPE_EQUALITY

      public static final Constraint.Kind TYPE_EQUALITY
      < S = T >: A type S is the same as a type T, or a type argument S is the same as type argument T.

    • LAMBDA_EXCEPTION

      public static final Constraint.Kind LAMBDA_EXCEPTION
      < LambdaExpression -> throws T>: The checked exceptions thrown by the body of the LambdaExpression are declared by the throws clause of the function type derived from T.

    • METHOD_REF_EXCEPTION

      public static final Constraint.Kind METHOD_REF_EXCEPTION
      < MethodReferenceExpression -> throws T>: The checked exceptions thrown by the referenced method are declared by the throws clause of the function type derived from T.

    • QUALIFIER_SUBTYPE

      public static final Constraint.Kind QUALIFIER_SUBTYPE
      < Q <: R >: A qualifier Q is a subtype of a qualifier R.

    • QUALIFIER_EQUALITY

      public static final Constraint.Kind QUALIFIER_EQUALITY
      < Q = R >: A qualifier R is the same as a qualifier R.

    • ADDITIONAL_ARG

      public static final Constraint.Kind ADDITIONAL_ARG
      A single constraint, that when reduced, generates additional argument constraints.

  • Method Details

    • values

      public static Constraint.Kind[] values()
      Returns an array containing the constants of this enum class, in the order they are declared.
      Returns:
      an array containing the constants of this enum class, in the order they are declared

    • valueOf

      public static Constraint.Kind valueOf(String name)
      Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)
      Parameters:
      name - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum class has no constant with the specified name
      NullPointerException - if the argument is null