Package-level declarations

Types

Link copied to clipboard
sealed interface EditOutcome
Link copied to clipboard
sealed interface EditPreparation
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
sealed interface LifecyclePreparation
Link copied to clipboard

Native refactoring state remains private to a reviewed operation, never in a model snapshot.

Link copied to clipboard

IDE handles stay in a prepared operation; detached view snapshots contain only source coordinates.

Link copied to clipboard

Carries one source epoch across read validation, native EDT setup and background usage search.

Link copied to clipboard
sealed interface RenamePreparation
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
sealed interface RenameSetup
Link copied to clipboard
data class SourceEditPreview(val filePath: String, val startOffset: Int, val endOffset: Int, val before: String, val after: String)
Link copied to clipboard

Reference-name edits use Kotlin's rename processors; declaration moves use a single guarded source patch.

Link copied to clipboard

Lifecycle commands author one declaration; project usage checks never rewrite dependent source.

Link copied to clipboard

Prepare in a committed, smart-mode read action; apply on the IDE thread as one ordinary undoable command.