gui/it.unibo.tuprolog.ui.gui.controller/GuiEffect/ReadDocument

ReadDocument

data class ReadDocument(val id: EffectId, val documentId: DocumentId, val origin: DocumentOrigin) : GuiEffect

Actually read origin's current content, e.g. to reload a document.

Constructors

constructor(id: EffectId, documentId: DocumentId, origin: DocumentOrigin)

Properties

val documentId: DocumentId

open override val id: EffectId

Uniquely identifies this effect instance.

val origin: DocumentOrigin