Package org.sonar.python.types

Class RuntimeType

java.lang.Object

org.sonar.python.types.RuntimeType

All Implemented Interfaces:

InferredType

public class RuntimeType
extends Object
implements InferredType

Field Summary

Fields inherited from interface org.sonar.plugins.python.api.types.InferredType

MOCK_FQNS

Method Summary

Modifier and Type	Method	Description
boolean	canBeOrExtend(String typeName)
boolean	canHaveMember(String memberName)
boolean	canOnlyBe(String typeName)
boolean	declaresMember(String memberName)	Used to handle uncertainty of declared types.
boolean	equals(Object o)
ClassSymbol	getTypeClass()
int	hashCode()
boolean	isCompatibleWith(InferredType other)
boolean	isIdentityComparableWith(InferredType other)
boolean	mustBeOrExtend(String fullyQualifiedName)	mustBeOrExtend implies we know for sure the given type is either of the given typeName or a subtype of it.
Optional<Symbol>	resolveDeclaredMember(String memberName)
Optional<Symbol>	resolveMember(String memberName)
ClassSymbol	runtimeTypeSymbol()	Returns type ClassSymbol only in case of RuntimeType.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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 fullyQualifiedName)

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

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

getTypeClass

public ClassSymbol getTypeClass()

runtimeTypeSymbol

@CheckForNull
public ClassSymbol runtimeTypeSymbol()

Description copied from interface: InferredType

Returns type ClassSymbol only in case of RuntimeType.

Specified by:

runtimeTypeSymbol in interface InferredType