2020-06-08 10:53:16 +03:00
|
|
|
/- *group, *resource
|
|
|
|
|
^?
|
2019-09-25 23:31:31 +03:00
|
|
|
|%
|
2020-06-03 05:21:00 +03:00
|
|
|
::
|
2020-05-15 01:50:04 +03:00
|
|
|
:: $action: request to change group-store state
|
2019-09-25 23:31:31 +03:00
|
|
|
::
|
2020-05-15 01:50:04 +03:00
|
|
|
:: %add-group: add a group
|
|
|
|
|
:: %add-members: add members to a group
|
|
|
|
|
:: %remove-members: remove members from a group
|
2020-06-03 05:21:00 +03:00
|
|
|
:: %add-tag: add a tag to a set of ships
|
|
|
|
|
:: %remove-tag: remove a tag from a set of ships
|
2020-05-15 01:50:04 +03:00
|
|
|
:: %change-policy: change a group's policy
|
|
|
|
|
:: %remove-group: remove a group from the store
|
2020-07-02 05:17:28 +03:00
|
|
|
:: %expose: unset .hidden flag
|
2019-09-25 23:31:31 +03:00
|
|
|
::
|
2020-05-15 01:50:04 +03:00
|
|
|
+$ action
|
2020-06-08 10:53:16 +03:00
|
|
|
$% [%add-group =resource =policy hidden=?]
|
|
|
|
|
[%add-members =resource ships=(set ship)]
|
|
|
|
|
[%remove-members =resource ships=(set ship)]
|
|
|
|
|
[%add-tag =resource =tag ships=(set ship)]
|
|
|
|
|
[%remove-tag =resource =tag ships=(set ship)]
|
|
|
|
|
[%change-policy =resource =diff:policy]
|
|
|
|
|
[%remove-group =resource ~]
|
2020-07-02 05:17:28 +03:00
|
|
|
[%expose =resource ~]
|
2019-09-25 23:31:31 +03:00
|
|
|
==
|
2020-05-15 01:50:04 +03:00
|
|
|
:: $update: a description of a processed state change
|
|
|
|
|
::
|
|
|
|
|
:: %initial: describe groups upon new subscription
|
2019-09-25 23:31:31 +03:00
|
|
|
::
|
2020-05-15 01:50:04 +03:00
|
|
|
+$ update
|
|
|
|
|
$% initial
|
|
|
|
|
action
|
|
|
|
|
==
|
|
|
|
|
+$ initial
|
2020-06-08 10:53:16 +03:00
|
|
|
$% [%initial-group =resource =group]
|
2020-05-15 01:50:04 +03:00
|
|
|
[%initial =groups]
|
|
|
|
|
==
|
2019-09-25 23:31:31 +03:00
|
|
|
--
|
|
|
|
|
|
