Package org.sonar.python.types.v2

Class TypeCheckBuilder

java.lang.Object

org.sonar.python.types.v2.TypeCheckBuilder

public class TypeCheckBuilder
extends Object

Constructor Summary

Constructors

Constructor	Description
TypeCheckBuilder(TypeTable projectLevelTypeTable)

Method Summary

Modifier and Type	Method	Description
TriBool	check(PythonType pythonType)
TypeCheckBuilder	hasMember(String memberName)
TypeCheckBuilder	instancesHaveMember(String memberName)
TypeCheckBuilder	isBuiltinWithName(String name)
TypeCheckBuilder	isExactTypeSource()
TypeCheckBuilder	isGeneric()
TypeCheckBuilder	isInstance()
TypeCheckBuilder	isInstanceOf(String fqn)
TypeCheckBuilder	isSubtypeOf(String fqn)
TypeCheckBuilder	isTypeHintTypeSource()
TypeCheckBuilder	isTypeOrInstanceWithName(String expectedName)
TypeCheckBuilder	isTypeWithFqn(String expectedFqn)
TypeCheckBuilder	isTypeWithName(String expectedName)

Methods inherited from class java.lang.Object

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

Constructor Details

TypeCheckBuilder

public TypeCheckBuilder(TypeTable projectLevelTypeTable)

Method Details

hasMember

public TypeCheckBuilder hasMember(String memberName)

instancesHaveMember

public TypeCheckBuilder instancesHaveMember(String memberName)

isTypeHintTypeSource

public TypeCheckBuilder isTypeHintTypeSource()

isExactTypeSource

public TypeCheckBuilder isExactTypeSource()

isBuiltinWithName

public TypeCheckBuilder isBuiltinWithName(String name)

isSubtypeOf

public TypeCheckBuilder isSubtypeOf(String fqn)

isInstance

public TypeCheckBuilder isInstance()

isGeneric

public TypeCheckBuilder isGeneric()

check

public TriBool check(PythonType pythonType)

isInstanceOf

public TypeCheckBuilder isInstanceOf(String fqn)

isTypeOrInstanceWithName

public TypeCheckBuilder isTypeOrInstanceWithName(String expectedName)

isTypeWithName

public TypeCheckBuilder isTypeWithName(String expectedName)

isTypeWithFqn

public TypeCheckBuilder isTypeWithFqn(String expectedFqn)