BasicDocument
- class BasicDocument
-
Children
Members defined in
BasicDocument(11 members)
RW
R
R
R
RRetrieve the mutex associated with this document
RW
RW
RThe version of the last build. This corresponds to the version of
TextDocumentthis was built from.
Set
document_tierto another value. This is a method rather than a function because tier should not change throughout document lifetime. Nevertheless, this is still useful in cases where a document has just been constructed and its attributes need to be changed.
Increment sema version. Source version is automatically handled by source parser.
Attributes
- property build_state: syside.BuildState
- property document_state: syside.DocumentState
- property document_tier: syside.DocumentTier
- property language: str
- property mutex: syside.SharedMutex[Self]
Retrieve the mutex associated with this document
- property text_document: syside.SharedMutex[syside.TextDocument] | None
- property url: syside.Url
- property version: syside.DocumentVersion
The version of the last build. This corresponds to the version of
TextDocumentthis was built from.
Methods
- __hash__() int
- change_document_tier(arg: syside.DocumentTier, /) None
Set
document_tierto another value. This is a method rather than a function because tier should not change throughout document lifetime. Nevertheless, this is still useful in cases where a document has just been constructed and its attributes need to be changed.
- increment_version() None
Increment sema version. Source version is automatically handled by source parser.