tff.types.Type

An abstract interface for all classes that represent TFF types.

Methods

check_assignable_from

View source

Raises if values of source_type cannot be cast to this type.

check_equivalent_to

View source

Raises if values of 'other' cannot be cast to and from this type.

check_identical_to

View source

Raises if other and Type are not exactly identical.

children

View source

Returns a generator yielding immediate child types.

compact_representation

View source

Returns the compact string representation of this type.

formatted_representation

View source

Returns the formatted string representation of this type.

is_assignable_from

View source

Returns whether values of source_type can be cast to this type.

is_equivalent_to

View source

Returns whether values of other can be cast to and from this type.

is_identical_to

View source

Returns whether or not self and other are exactly identical.

__eq__

View source

Determines whether two type definitions are identical.

Note that this notion of equality is stronger than equivalence. Two types with equivalent definitions may not be identical, e.g., if they represent templates with differently named type variables in their definitions.

Args
other The other type to compare against.

Returns
True if type definitions are syntactically identical (as defined above), otherwise False.

Raises
NotImplementedError If not implemented in the derived class.

__ne__

View source

Return self!=value.