Enum Class TypeOccurrenceKind

java.lang.Object
java.lang.Enum<TypeOccurrenceKind>
org.checkerframework.framework.util.visualize.TypeOccurrenceKind
All Implemented Interfaces:
Serializable, Comparable<TypeOccurrenceKind>, Constable

public enum TypeOccurrenceKind extends Enum<TypeOccurrenceKind>
Types can occurr in different kinds of positions.
  • Enum Constant Details

    • USE_TYPE

      public static final TypeOccurrenceKind USE_TYPE
      The type of the tree at its use site.
    • DECLARED_TYPE

      public static final TypeOccurrenceKind DECLARED_TYPE
      The declared type of the tree. For a method, it should be the method's signature. For a field, it should be the type of the field in its declaration.
    • ASSIGN_LHS_DECLARED_TYPE

      public static final TypeOccurrenceKind ASSIGN_LHS_DECLARED_TYPE
      The declared type of the LHS of an assignment or compound assignment tree.
    • ASSIGN_RHS_TYPE

      public static final TypeOccurrenceKind ASSIGN_RHS_TYPE
      The type of the RHS of an assignment or compound assignment tree.

      For a postfix operation, it can be considered as a special assignment tree, in which the LHS is returned and the RHS is the new value of the variable. In this situation, this message kind means the type of the new value of the variable.

  • Method Details

    • values

      public static TypeOccurrenceKind[] 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 TypeOccurrenceKind 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