gui/it.unibo.tuprolog.ui.gui.model/DocumentOrigin

DocumentOrigin

data class DocumentOrigin(val providerId: String, val opaqueReference: String, val displayName: String)

Where a document came from/should be saved to, in a way no toolkit-neutral code needs to interpret - only the frontend that registered providerId knows how to read/write opaqueReference.

Constructors

DocumentOrigin

constructor(providerId: String, opaqueReference: String, displayName: String)

Properties

displayName

val displayName: String

opaqueReference

val opaqueReference: String

Opaque to gui. It can represent a path, browser handle, URI, or database key.

providerId

val providerId: String

Identifies the frontend/platform persistence provider, not a JVM class.