concepts.dsl.dsl_types.ObjectType

class ObjectType

Bases: TypeBase

The ObjectType corresponds to the type of “real-world” objects.

Methods

assignment_type()	Return the value type for assignment.
downcast_compatible(other[, ...])	Check if the type is downcast-compatible with the other type; that is, if this type is a subtype of the other type.
iter_parent_types()	Iterate over all parent types.
long_str()	Return the long string representation of the type.
short_str()	Return the short string representation of the type.

Attributes

alias	An optional alias of the type.
base_typename	Return the typename of the base type.
is_list_type	Return whether the type is a list type.
is_object_type	Return whether the type is an object type.
is_pyobj_value_type	Return whether the type is a Python object value type.
is_sequence_type	Return whether the type is a sequence type.
is_tensor_value_type	Return whether the type is a tensor value type.
is_tuple_type	Return whether the type is a tuple type.
is_value_type	Return whether the type is a value type.
parent_type	The parent type of the type.
parent_typename	Return the typename of the parent type.
typename	The (full) typename of the type.
parent_types	The parent types of the object type.

__init__(typename, parent_types=None, alias=None)

Initialize the object type.

Parameters:

• typename (str) – The name of the object type.

• alias (str | None) – The alias of the object type.

• parent_types (Sequence[ObjectType] | None)

__new__(**kwargs)

assignment_type()

Return the value type for assignment.

Return type:

TypeBase

downcast_compatible(other, allow_self_list=False, allow_list=False)

Check if the type is downcast-compatible with the other type; that is, if this type is a subtype of the other type.

Parameters:

• other (TypeBase) – the other type.

• allow_self_list (bool) – if True, this type can be a list type derived from the other type.

• allow_list (bool) – if True, the other type can be a list type derived from the type.

Return type:

bool

iter_parent_types()

Iterate over all parent types.

Yields:

the parent types following the inheritance order.

Return type:

Iterable[ObjectType]

long_str()

Return the long string representation of the type.

Return type:

str

short_str()

Return the short string representation of the type.

Return type:

str

property alias: str | None

An optional alias of the type.

property base_typename

Return the typename of the base type.

property is_list_type

Return whether the type is a list type.

property is_object_type

Return whether the type is an object type.

property is_pyobj_value_type

Return whether the type is a Python object value type.

property is_sequence_type

Return whether the type is a sequence type.

property is_tensor_value_type

Return whether the type is a tensor value type.

property is_tuple_type

Return whether the type is a tuple type.

property is_value_type

Return whether the type is a value type.

property parent_type: TypeBase | None

The parent type of the type.

property parent_typename

Return the typename of the parent type.

parent_types: Tuple[ObjectType, ...]

The parent types of the object type.

property typename: str

The (full) typename of the type.