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 | public function getAgent(): Agent |
||
65 | |||
66 | /** |
||
67 | * Returns the registration id. |
||
68 | */ |
||
69 | public function getRegistrationId(): ?string |
||
73 | |||
74 | /** |
||
75 | * Returns the state's id. |
||
76 | */ |
||
77 | public function getStateId(): string |
||
81 | } |
||
82 |