WorkspaceAPI

interface WorkspaceAPI(source)

用于管理工作区的 API。

Properties

Link copied to clipboard
abstract val default: UUID

默认工作区的 id,永不变化。

Functions

Link copied to clipboard
abstract suspend fun create(meta: WorkspaceMeta): WorkspaceData

创建一个新的工作区。

Link copied to clipboard
abstract suspend fun delete(id: UUID): Boolean

删除工作区,请确保工作区内无会话。

Link copied to clipboard
abstract suspend fun get(id: UUID): WorkspaceData?

获取工作区数据。

Link copied to clipboard
abstract suspend fun list(): List<WorkspaceData>

获取全部已有工作区的数据。

Link copied to clipboard
abstract suspend fun rename(id: UUID, newName: String)

重命名一个工作区。