1 | <?php |
||
19 | final class State |
||
20 | { |
||
21 | private $activity; |
||
22 | private $actor; |
||
23 | private $registrationId; |
||
24 | private $stateId; |
||
25 | |||
26 | public function __construct(Activity $activity, Actor $actor, string $stateId, string $registrationId = null) |
||
37 | |||
38 | /** |
||
39 | * Returns the activity. |
||
40 | */ |
||
41 | 4 | public function getActivity(): Activity |
|
45 | 4 | ||
46 | 4 | /** |
|
47 | 4 | * Returns the actor. |
|
48 | * |
||
49 | * @deprecated since 1.2, to be removed in 4.0 |
||
50 | */ |
||
51 | public function getActor(): Actor |
||
57 | |||
58 | /** |
||
59 | * Returns the agent. |
||
60 | * |
||
61 | * @return Actor The agent |
||
62 | */ |
||
63 | public function getAgent() |
||
67 | |||
68 | /** |
||
69 | * Returns the registration id. |
||
70 | */ |
||
71 | public function getRegistrationId(): ?string |
||
75 | |||
76 | /** |
||
77 | * Returns the state's id. |
||
78 | */ |
||
79 | public function getStateId(): string |
||
83 | } |
||
84 |