DSMSourceType

class dsviper.DSMSourceType

Bases: object

A type sub-expression occurrence: its source span and its fully-qualified DSM representation — the name-based identity of a type, such as ‘vector<Shop::Order>’.

Note: Not directly instantiable.

representation() → str

Return the fully-qualified DSM representation of the type (e.g. ‘vector<Shop::Order>’).

span() → DSMSourceSpan | None

Return the DSMSourceSpan of the whole type expression, or None.