gui/it.unibo.tuprolog.ui.gui.identity

Package-level declarations

Types

CommandId

data class CommandId(val value: String)

Identifies one CommandDescriptor an extension contributed, unique within its owning extension.

DocumentId

data class DocumentId(val value: String)

Stable application-level identity. It is intentionally unrelated to a filesystem path.

EffectId

data class EffectId(val value: String)

Identifies one dispatched GuiEffect, so the toolkit-specific handler that eventually performs it can be correlated back to the effect that requested it (e.g. for logging or de-duplication).

ExtensionId

data class ExtensionId(val value: String)

Identifies one registered GuiExtension, unique across every extension in the same application.

FeatureId

data class FeatureId(val value: String)

Identifies one FeatureDescriptor (a toolkit-rendered tab/panel an extension contributes, e.g. PLP's BDD inspector), unique across the application.

PageId

data class PageId(val value: String)

Stable identity of an interactive page/session. A page and a document are distinct concepts.

ResolutionSessionId

data class ResolutionSessionId(val value: String)

Identifies one resolution (a single run of a query to completion/cancellation) within a page's history.

SolverProfileId

data class SolverProfileId(val value: String)

Identifies one registered SolverProfile (a selectable solver configuration, e.g. "Prolog" or "Problog"), unique across the application.

SolverSessionId

data class SolverSessionId(val value: String)

Identifies one live SolverSession (the solver instance backing a single page), unique across the application while that session is alive.