Package org.sonar.python.types.v2

Record Class ObjectType

java.lang.Object
java.lang.Record
org.sonar.python.types.v2.ObjectType
All Implemented Interfaces:
PythonType
@Beta public record ObjectType(PythonType type, List<PythonType> attributes, List<Member> members, TypeSource typeSource) extends Record implements PythonType

  • Constructor Details

    • ObjectType

      public ObjectType(PythonType type)

    • ObjectType

      public ObjectType(PythonType type, TypeSource typeSource)

    • ObjectType

      public ObjectType(PythonType type, List<PythonType> attributes, List<Member> members)

    • ObjectType

      public ObjectType(PythonType type, List<PythonType> attributes, List<Member> members, TypeSource typeSource)
      Creates an instance of a ObjectType record class.
      Parameters:
      type - the value for the type record component
      attributes - the value for the attributes record component
      members - the value for the members record component
      typeSource - the value for the typeSource record component

  • Method Details

    • displayName

      public Optional<String> displayName()
      Specified by:
      displayName in interface PythonType

    • isCompatibleWith

      public boolean isCompatibleWith(PythonType another)
      Specified by:
      isCompatibleWith in interface PythonType

    • unwrappedType

      public PythonType unwrappedType()
      Specified by:
      unwrappedType in interface PythonType

    • resolveMember

      public Optional<PythonType> resolveMember(String memberName)
      Specified by:
      resolveMember in interface PythonType

    • hasMember

      public TriBool hasMember(String memberName)
      Specified by:
      hasMember in interface PythonType

    • definitionLocation

      public Optional<LocationInFile> definitionLocation()
      Specified by:
      definitionLocation in interface PythonType

    • equals

      public 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.

    • hashCode

      public 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

    • 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

    • type

      public PythonType type()
      Returns the value of the type record component.
      Returns:
      the value of the type record component

    • attributes

      public List<PythonType> attributes()
      Returns the value of the attributes record component.
      Returns:
      the value of the attributes record component

    • members

      public List<Member> members()
      Returns the value of the members record component.
      Returns:
      the value of the members record component

    • typeSource

      public TypeSource typeSource()
      Returns the value of the typeSource record component.
      Specified by:
      typeSource in interface PythonType
      Returns:
      the value of the typeSource record component