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

PageContent

sealed interface PageContent

What a page actually edits: either a shared, independently-persisted document, or throwaway scratch text local to the page itself.

Inheritors

DocumentReference

Types

DocumentReference

data class DocumentReference(val documentId: DocumentId) : PageContent

The page edits/queries the document identified by documentId (possibly shared with other pages).

data class Scratch(val text: String, val revision: Long = 0) : PageContent

The page holds its own throwaway text, never saved as a standalone document.