gui/it.unibo.tuprolog.ui.gui.controller/DocumentAction/SaveSucceeded

SaveSucceeded

data class SaveSucceeded(val documentId: DocumentId, val origin: DocumentOrigin, val savedRevision: Long) : DocumentAction

The write to origin completed; the document is no longer dirty as of savedRevision.

Constructors

constructor(documentId: DocumentId, origin: DocumentOrigin, savedRevision: Long)

Properties

open override val documentId: DocumentId

The document this action applies to.

val origin: DocumentOrigin

val savedRevision: Long