pulp::timeline::SetRegion Struct Reference

Replaces one sequence-owned region under an exact value gate. More...

#include <command.hpp>

Public Attributes
ItemId	sequence_id
	Sequence owning the region.
SequenceRegion	expected
	Required current region, compared in full including its role.
SequenceRegion	replacement
	Region written when the gate matches, carrying the same identity.

Detailed Description

Replaces one sequence-owned region under an exact value gate.

Identity is pinned: expected.id and replacement.id must be equal and must name a region the sequence owns. A Modify command that could also swap identity would be a removal and a creation laundered through a signature that declares neither, and the removal is the axis an untrusted writer is denied by default. Pinning it is what makes correcting a region's SectionRole reachable for the writer profile that authored it.

Member Data Documentation

expected

SequenceRegion pulp::timeline::SetRegion::expected

Required current region, compared in full including its role.

replacement

SequenceRegion pulp::timeline::SetRegion::replacement

Region written when the gate matches, carrying the same identity.

sequence_id

ItemId pulp::timeline::SetRegion::sequence_id

Sequence owning the region.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/pulp/pulp/core/timeline/include/pulp/timeline/command.hpp