ReportSaveRecord

data class ReportSaveRecord(val timestamp: LocalDateTime, val fileName: String, val path: Path, val origin: ReportSaveRecord.Origin)(source)

One record in the single-app post-run reporting history. Records are appended on every successful materialise (auto-render after a run, or user-initiated from the post-run reporting UI) and survive until the next Simulate click clears the list, the user removes them, or the host's bound (typically MAX_RECENT_REPORT_SAVES on its controller) evicts the oldest.

Substrate-level DTO so any single-app host (Swing today; web / CLI / headless tomorrow) reuses the same record shape. Files on disk are NOT removed when a record is dropped — that's the user's domain. The list is a session-level navigation aid, not the source of truth for what's been published.

Parameters

timestamp

wall-clock time of the save

fileName

the file's name (no directory component)

path

absolute path to the file on disk

origin

Origin.AUTO for auto-rendered files (post-run completion), Origin.MANUAL for user-initiated saves

Constructors

Link copied to clipboard
constructor(timestamp: LocalDateTime, fileName: String, path: Path, origin: ReportSaveRecord.Origin)

Types

Link copied to clipboard

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
val path: Path
Link copied to clipboard