|
| 1 | +# Applying Events |
| 2 | + |
| 3 | +As [mentioned earlier](./), Events are stored in form of a Event Stream.\ |
| 4 | +Event Stream is audit of Events, which happened in the past. \ |
| 5 | +However to protect our business invariants, we may want to work with current state of the Aggregate to know, if given action is possible or not (business invariants).  |
| 6 | + |
| 7 | +## Business Invariants |
| 8 | + |
| 9 | +Business Invariants in short are our simple "**if"** statements inside the Command Handler in the Aggregate. Those protect our Aggregate from moving into incorrect state. \ |
| 10 | +With State-Stored Aggregates, we always have current state of the Aggregate, therefore we can check the invariants right away. \ |
| 11 | +With Event-Sourcing Aggregates, we store them in form of an Events, therefore we need to rebuild our Aggregate, in order to protect the invariants. |
| 12 | + |
| 13 | + |
| 14 | + |
| 15 | +Suppose we have Ticket Event Sourcing Aggregate. |
| 16 | + |
| 17 | +```php |
| 18 | +#[EventSourcingAggregate] |
| 19 | +class Ticket |
| 20 | +{ |
| 21 | + use WithAggregateVersioning; |
| 22 | + |
| 23 | + #[Identifier] |
| 24 | + private string $ticketId; |
| 25 | + |
| 26 | + (...) |
| 27 | + |
| 28 | + #[CommandHandler] |
| 29 | + public function assign(AssignPerson $command) : array |
| 30 | + { |
| 31 | + return [new PersonWasAssigned($this->ticketId, $command->personId)]; |
| 32 | + } |
| 33 | +} |
| 34 | +``` |
| 35 | + |
| 36 | +For this Ticket we do allow for assigning an Person to handle the Ticket. \ |
| 37 | +Let's suppose however, that Business asked us to allow only one Person to be assigned to the Ticket at time. With current code we could assign unlimited people to the Ticket, therefore we need to protect this invariant.  |
| 38 | + |
| 39 | +To check if whatever Ticket was already assigned to a Person, our Aggregate need to have state applied which will tell him whatever the Ticket was already assigned.\ |
| 40 | +To do this we use **EventSourcingHandler attribute passing as first argument given Event class.** This method will be called on reconstruction of this Aggregate. So when this Aggregate will be loaded, if given Event was recorded in the Event Stream, method will be called: |
| 41 | + |
| 42 | +```php |
| 43 | +#[EventSourcingAggregate] |
| 44 | +class Ticket |
| 45 | +{ |
| 46 | + use WithAggregateVersioning; |
| 47 | + |
| 48 | + #[Identifier] |
| 49 | + private string $ticketId; |
| 50 | + private bool $isAssigned; |
| 51 | + |
| 52 | + #[CommandHandler] |
| 53 | + public function assign(AssignPerson $command) : array |
| 54 | + { |
| 55 | + if ($this-isAssigned) { |
| 56 | + throw new \InvalidArgumentException("Ticket already assigned"); |
| 57 | + } |
| 58 | + |
| 59 | + return [new PersonWasAssigned($this->ticketId, $command->personId)]; |
| 60 | + } |
| 61 | + |
| 62 | + #[EventSourcingHandler] |
| 63 | + public function applyPersonWasAssigned(PersonWasAssigned $event) : void |
| 64 | + { |
| 65 | + $this->isAssigned = true; |
| 66 | + } |
| 67 | +} |
| 68 | +``` |
| 69 | + |
| 70 | +Then this state, can be used in the Command Handler to decide whatever we can trigger an action or not: |
| 71 | + |
| 72 | +```php |
| 73 | +if ($this-isAssigned) { |
| 74 | + throw new \InvalidArgumentException("Ticket already assigned"); |
| 75 | +} |
| 76 | +``` |
| 77 | + |
| 78 | +{% hint style="success" %} |
| 79 | +As you can see, it make sense to only assign to the state attributes that protect our invariants. This way the Aggregate stays readable and clean of unused information. |
| 80 | +{% endhint %} |
0 commit comments