Skip to content

base

base

EditApplier ABC, registry, and context types for the execute phase.

Each concrete applier implements validate/apply/rollback for a single EditOp. Appliers are registered in an EditApplierRegistry keyed by EditOp.

See spec §7.1.

Classes

ApplyContext dataclass 

ApplyContext(diapason_home: Path, session_id: str)

Shared context passed to all appliers.

ValidationResult dataclass 

ValidationResult(ok: bool, reason: str = '')

Result of EditApplier.validate().

ApplyResult dataclass 

ApplyResult(changed_files: list[str] = list())

Result of EditApplier.apply().

EditApplier

Bases: ABC

Abstract base for edit appliers.

Each subclass handles one EditOp. It validates the edit against the current config state, applies the mutation, and can roll back.

Methods:
validate abstractmethod 
validate(edit: Edit, ctx: ApplyContext) -> ValidationResult

Check if the edit can be applied to the current config.

Source code in src/diapason/learning/spec_search/execute/base.py 
63
64
65
66
@abstractmethod
def validate(self, edit: Edit, ctx: ApplyContext) -> ValidationResult:
    """Check if the edit can be applied to the current config."""
    ...
apply abstractmethod 
apply(edit: Edit, ctx: ApplyContext) -> ApplyResult

Mutate the config. Must be idempotent.

Source code in src/diapason/learning/spec_search/execute/base.py 
68
69
70
71
@abstractmethod
def apply(self, edit: Edit, ctx: ApplyContext) -> ApplyResult:
    """Mutate the config. Must be idempotent."""
    ...
rollback abstractmethod 
rollback(edit: Edit, ctx: ApplyContext) -> None

Restore pre-edit state. Most appliers delegate to git checkout.

Source code in src/diapason/learning/spec_search/execute/base.py 
73
74
75
76
@abstractmethod
def rollback(self, edit: Edit, ctx: ApplyContext) -> None:
    """Restore pre-edit state. Most appliers delegate to git checkout."""
    ...

EditApplierRegistry 

EditApplierRegistry()

Registry of EditApplier instances keyed by EditOp.

Source code in src/diapason/learning/spec_search/execute/base.py 
82
83
def __init__(self) -> None:
    self._appliers: dict[EditOp, EditApplier] = {}
Methods:
register 
register(applier: EditApplier) -> None

Register an applier instance.

Source code in src/diapason/learning/spec_search/execute/base.py 
85
86
87
def register(self, applier: EditApplier) -> None:
    """Register an applier instance."""
    self._appliers[applier.op] = applier
get 
get(op: EditOp) -> EditApplier

Return the applier for the given op. Raises KeyError if not found.

Source code in src/diapason/learning/spec_search/execute/base.py 
89
90
91
def get(self, op: EditOp) -> EditApplier:
    """Return the applier for the given op. Raises KeyError if not found."""
    return self._appliers[op]
is_supported 
is_supported(op: EditOp) -> bool

Return True if an applier is registered for the op.

Source code in src/diapason/learning/spec_search/execute/base.py 
93
94
95
def is_supported(self, op: EditOp) -> bool:
    """Return True if an applier is registered for the op."""
    return op in self._appliers