Package-level declarations
Types
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
data class FailureDraft(val identifier: String, val name: String, val asil: ASIL, val severity: Severity, val multiplicity: Multiplicity, val description: String? = null)
Link copied to clipboard
Link copied to clipboard
class PreparedRename
Native refactoring state remains private to a reviewed operation, never in a model snapshot.
Link copied to clipboard
class PreparedSourceEdit
IDE handles stay in a prepared operation; detached view snapshots contain only source coordinates.
Link copied to clipboard
class RenameOperation
Carries one source epoch across read validation, native EDT setup and background usage search.
Link copied to clipboard
Link copied to clipboard
data class RenamePreview(val oldEntityId: String, val newEntityId: String, val oldIdentifier: String, val newIdentifier: String, val affectedSources: List<ModelSourceLocation>, val usageCount: Int)
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
object StigDeclarationEditing
Reference-name edits use Kotlin's rename processors; declaration moves use a single guarded source patch.
Link copied to clipboard
object StigLifecycleEditing
Lifecycle commands author one declaration; project usage checks never rewrite dependent source.
Link copied to clipboard
object StigSourceEditing
Prepare in a committed, smart-mode read action; apply on the IDE thread as one ordinary undoable command.