Package org.checkerframework.framework.util

Record Class JavaParserUtil.ResolvedTypeName

java.lang.Object
java.lang.Record
org.checkerframework.framework.util.JavaParserUtil.ResolvedTypeName
Record Components:
typeElement - the type that the name refers to, or null if it refers to no type
typeParameter - the declaration of the type variable that the name refers to, or null if it refers to no type variable
Enclosing class:
JavaParserUtil
public static record JavaParserUtil.ResolvedTypeName(@Nullable TypeElement typeElement, @Nullable com.github.javaparser.ast.type.TypeParameter typeParameter) extends Record
What a type name refers to: a type, a type variable, or neither. At most one component is non-null.

  • Constructor Details

    • ResolvedTypeName

      public ResolvedTypeName(@Nullable TypeElement typeElement, @Nullable com.github.javaparser.ast.type.TypeParameter typeParameter)
      Creates an instance of a ResolvedTypeName record class.
      Parameters:
      typeElement - the value for the typeElement record component
      typeParameter - the value for the typeParameter record component

  • Method Details

    • toString

      public final String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object

    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object

    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.

    • typeElement

      public @Nullable TypeElement typeElement()
      Returns the value of the typeElement record component.
      Returns:
      the value of the typeElement record component

    • typeParameter

      public @Nullable com.github.javaparser.ast.type.TypeParameter typeParameter()
      Returns the value of the typeParameter record component.
      Returns:
      the value of the typeParameter record component