DSMSourceNameSpace¶

class dsviper.DSMSourceNameSpace¶

Bases: object

A namespace declaration and its source spans (name, uuid).

Note: Not directly instantiable.

name_space() → NameSpace¶: Return the NameSpace.

name_span() → DSMSourceSpan | None¶: Return the DSMSourceSpan of the namespace name, or None.

uuid_span() → DSMSourceSpan | None¶: Return the DSMSourceSpan of the namespace UUID, or None.