WorkspaceContents

class WorkspaceContents

Description

Contents of a loaded workspace.

property config: syside.conf.Config | None: Configuration to be used with the documents in this workspace.

property documents: list[.syside.SharedMutex[.syside.Document]]

Documents in this workspace.

Note that documents will only contain source texts, and no CST nor AST will be constructed. Documents need to pass through a pipeline first.

property library_index: syside.LibraryIndex

Index of the libraries in this workspace.

This is used to check name accessibility in the global namespace during name resolution.

__init__(config: .syside.conf.Config | None, documents: list[.syside.SharedMutex[.syside.Document]], library_index: .syside.LibraryIndex) → None

`config`	`RW`	Configuration to be used with the documents in this workspace.
`documents`	`RW`	Documents in this workspace.
`library_index`	`RW`	Index of the libraries in this workspace.
`__init__`