DSMSourceNameSpace¶

class dsviper.DSMSourceNameSpace¶

Bases: object

A namespace header and the source spans of its name and 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.