Package org.sonar.python.types

Class UnknownClassType

java.lang.Object
org.sonar.python.types.UnknownClassType
All Implemented Interfaces:
InferredType
public class UnknownClassType extends Object implements InferredType
This type is used for symbols that we assume to be class due to how they are used, so that type inference correctly tracks objects that were created from this.

  • Constructor Details

    • UnknownClassType

      public UnknownClassType(Symbol typeSymbol)

  • Method Details

    • isIdentityComparableWith

      public boolean isIdentityComparableWith(InferredType other)
      Specified by:
      isIdentityComparableWith in interface InferredType

    • canHaveMember

      public boolean canHaveMember(String memberName)
      Specified by:
      canHaveMember in interface InferredType

    • declaresMember

      public boolean declaresMember(String memberName)
      Description copied from interface: InferredType
      Used to handle uncertainty of declared types. It return false when a member is not present in a declared type, while canHaveMember returns true because one of its subtype may have it.
      Specified by:
      declaresMember in interface InferredType

    • resolveMember

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

    • resolveDeclaredMember

      public Optional<Symbol> resolveDeclaredMember(String memberName)
      Specified by:
      resolveDeclaredMember in interface InferredType

    • canOnlyBe

      public boolean canOnlyBe(String typeName)
      Specified by:
      canOnlyBe in interface InferredType

    • canBeOrExtend

      public boolean canBeOrExtend(String typeName)
      Specified by:
      canBeOrExtend in interface InferredType

    • isCompatibleWith

      public boolean isCompatibleWith(InferredType other)
      Specified by:
      isCompatibleWith in interface InferredType

    • mustBeOrExtend

      public boolean mustBeOrExtend(String typeName)
      Description copied from interface: InferredType
      mustBeOrExtend implies we know for sure the given type is either of the given typeName or a subtype of it. As opposed to "canBeOrExtend", this will return true only when we are sure the subtyping relationship is present. For types inferred from type annotations (DeclaredType), the actual underlying type might be different from what has been declared, but it must be or extend the declared type.
      Specified by:
      mustBeOrExtend in interface InferredType

    • typeSymbol

      public Symbol typeSymbol()