Package org.sonar.python.types

Class InferredTypes

java.lang.Object

org.sonar.python.types.InferredTypes

public class InferredTypes
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final InferredType	BOOL
protected static final Map<String,String>	BUILTINS_TYPE_CATEGORY
static final InferredType	COMPLEX
static final InferredType	DECL_BOOL
static final InferredType	DECL_COMPLEX
static final InferredType	DECL_DICT
static final InferredType	DECL_FLOAT
static final InferredType	DECL_INT
static final InferredType	DECL_LIST
static final InferredType	DECL_NONE
static final InferredType	DECL_SET
static final InferredType	DECL_STR
static final InferredType	DECL_TUPLE
static final InferredType	DECL_TYPE
static final InferredType	DICT
static final InferredType	FLOAT
static final InferredType	INT
static final InferredType	LIST
static final InferredType	NONE
static final InferredType	SET
static final InferredType	STR
static final InferredType	TUPLE
static final InferredType	TYPE

Method Summary

Modifier and Type	Method	Description
static InferredType	anyOrUnknownClassType(Symbol symbol)	Assumes unknown imported symbols whose name start with a capital letter to be classes.
static InferredType	anyType()
static boolean	containsDeclaredType(InferredType type)
static DeclaredType	declaredUnionType(Expression leftOperand, Expression rightOperand, Map<String,Symbol> builtinSymbols)
static boolean	filterTypeVar(SymbolsProtos.Type type)
static InferredType	fromTypeAnnotation(TypeAnnotation typeAnnotation)
static InferredType	fromTypeshedProtobuf(SymbolsProtos.Type type)
static InferredType	fromTypeshedTypeAnnotation(TypeAnnotation typeAnnotation)
static String	fullyQualifiedTypeName(InferredType inferredType)
static String	getBuiltinCategory(InferredType inferredType)
static Map<String,String>	getBuiltinsTypeCategory()
static boolean	isDeclaredTypeWithTypeClass(InferredType type, String typeName)
static InferredType	or(InferredType t1, InferredType t2)
static InferredType	runtimeType(Symbol typeClass)
static LocationInFile	typeClassLocation(InferredType inferredType)
static String	typeName(InferredType inferredType)
static Collection<ClassSymbol>	typeSymbols(InferredType inferredType)
static InferredType	union(Stream<InferredType> types)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

INT

public static final InferredType INT

DECL_INT

public static final InferredType DECL_INT

FLOAT

public static final InferredType FLOAT

DECL_FLOAT

public static final InferredType DECL_FLOAT

COMPLEX

public static final InferredType COMPLEX

DECL_COMPLEX

public static final InferredType DECL_COMPLEX

STR

public static final InferredType STR

DECL_STR

public static final InferredType DECL_STR

SET

public static final InferredType SET

DECL_SET

public static final InferredType DECL_SET

DICT

public static final InferredType DICT

DECL_DICT

public static final InferredType DECL_DICT

LIST

public static final InferredType LIST

DECL_LIST

public static final InferredType DECL_LIST

TUPLE

public static final InferredType TUPLE

DECL_TUPLE

public static final InferredType DECL_TUPLE

NONE

public static final InferredType NONE

DECL_NONE

public static final InferredType DECL_NONE

BOOL

public static final InferredType BOOL

DECL_BOOL

public static final InferredType DECL_BOOL

TYPE

public static final InferredType TYPE

DECL_TYPE

public static final InferredType DECL_TYPE

BUILTINS_TYPE_CATEGORY

protected static final Map<String,String> BUILTINS_TYPE_CATEGORY

Method Details

anyType

public static InferredType anyType()

runtimeType

public static InferredType runtimeType(@Nullable
 Symbol typeClass)

anyOrUnknownClassType

public static InferredType anyOrUnknownClassType(Symbol symbol)

Assumes unknown imported symbols whose name start with a capital letter to be classes.

Parameters:

symbol -

Returns:

UnknownClassType or AnyType

or

public static InferredType or(InferredType t1,
 InferredType t2)

union

public static InferredType union(Stream<InferredType> types)

fromTypeAnnotation

public static InferredType fromTypeAnnotation(TypeAnnotation typeAnnotation)

fromTypeshedTypeAnnotation

public static InferredType fromTypeshedTypeAnnotation(TypeAnnotation typeAnnotation)

fromTypeshedProtobuf

public static InferredType fromTypeshedProtobuf(SymbolsProtos.Type type)

filterTypeVar

public static boolean filterTypeVar(SymbolsProtos.Type type)

declaredUnionType

@CheckForNull
public static DeclaredType declaredUnionType(Expression leftOperand,
 Expression rightOperand,
 Map<String,Symbol> builtinSymbols)

typeSymbols

public static Collection<ClassSymbol> typeSymbols(InferredType inferredType)

typeName

@CheckForNull
public static String typeName(InferredType inferredType)

fullyQualifiedTypeName

@CheckForNull
public static String fullyQualifiedTypeName(InferredType inferredType)

typeClassLocation

@CheckForNull
public static LocationInFile typeClassLocation(InferredType inferredType)

isDeclaredTypeWithTypeClass

public static boolean isDeclaredTypeWithTypeClass(InferredType type,
 String typeName)

containsDeclaredType

public static boolean containsDeclaredType(InferredType type)

getBuiltinCategory

public static String getBuiltinCategory(InferredType inferredType)

getBuiltinsTypeCategory

public static Map<String,String> getBuiltinsTypeCategory()