- Description
- 明示するs 活動／戦闘s which can be 輸送（する）d with content events.
The 状況／情勢s under which contents will send ContentEvents of the さまざまな
活動／戦闘 types are 述べるd below. The description is broken into a 名簿（に載せる）／表（にあげる） of
useful 鮮明度／定義s, a 名簿（に載せる）／表（にあげる） of events that happen to contents, and a 名簿（に載せる）／表（にあげる） of
reactions taken by contents in 返答 to those events.
The 鮮明度／定義s are as follows:
| D1 | A content C has an identifier id(C). |
| D2 | A content C is in one of two 明言する／公表するs, Alive or 削除するd.
|
| D3 | A folder content F has a 始める，決める of children H(F) that is a
始める，決める of content identifiers. For example, an "open"
命令（する） will usualy return a subset of the contents
denoted by H(F). |
The events that can happen to contents (and that are of 利益／興味 in this
状況) are 名簿（に載せる）／表（にあげる）d next. 公式文書，認める that 'event' here does not mean an
ContentEvent, but rather some event that occurs either because some content
過程s a 命令（する）, or because a content gets 知らせるd about a 関連した
change in the underlying system it 代表するs.
| E1 | The identifier of a content C changes from id1(C) == A
to id2(C) == B, denoted as E1(C: A->B). For example,
this event may occur when content C 過程s a
"setPropertyValues" 命令（する） changing its "肩書を与える" propery,
or when afolder that hierarchicaly 含む／封じ込めるs C changes
its 身元. |
| E2 | The 明言する／公表する of a content C changes from Alive to 削除するd,
denoted as E2(C). For example, this event may occur when
content C 過程s a "削除する" 命令（する）, or when a content
代表するing an IMAP message gets 知らせるd by the IMAP
server that the message has been 削除するd. |
| E3 | The 始める，決める of children of a folder content F is 大きくするd by
some identifier A (that was not 以前 in that 始める，決める,
i.e., !(A in H1(F)) && (A in H2(F))), denoted as E3(F, A).
For example, this event may occur when a new content
created at folder F 過程s its "挿入する" 命令（する）, or
when a folder 代表するing an IMAP mailbox gets 知らせるd
by the IMAP server that a new message has arrived at that
mailbox. |
Finally, the 名簿（に載せる）／表（にあげる） of reactions taken by contents in 返答 to the above
events gives a description of what 肉親，親類d of ContentEvents are sent in which
状況／情勢s:
| R1 | E1(C: A->B) results in C sending an EXCHANGED
ContentEvent, which then results in the に引き続いて: All
folders F that used to have A as a child, but will not
have B as a child, i.e., (A in H1(F)) && !(B in H2(F)),
send a REMOVED ContentEvent. |
| R2 | E2(C) results in C sending a DELETED ContentEvent,
which then results in the に引き続いて: All folders F that
used to have A as a child, but will not continue to have
A as a child, i.e., (A in H1(F)) && !(A in H2(F)), send
a REMOVED event. |
| R3 | E3(F, A) results in F sending an INSERTED event. |
|
