gui/it.unibo.tuprolog.ui.gui.presentation/DiagnosticSource

DiagnosticSource

data class DiagnosticSource(val value: String)

Identifies what produced a Diagnostic (see DiagnosticSources for the well-known ones), so DiagnosticState.replaceSource can replace one source's diagnostics without touching another's.

Constructors

Link copied to clipboard
constructor(value: String)

Properties

Link copied to clipboard
val value: String
Generated by Dokka
© 2026 Copyright