# HG changeset patch # User Paul Boddie # Date 1680903299 -7200 # Node ID 84e50bfc0d76919ae52486a78d7679021a8854ac # Parent 47cf59868695643d05e84f1162098e19103c16dd Updated notification details. diff -r 47cf59868695 -r 84e50bfc0d76 docs/wiki/Filesystem_Access --- a/docs/wiki/Filesystem_Access Wed Mar 29 17:00:56 2023 +0200 +++ b/docs/wiki/Filesystem_Access Fri Apr 07 23:34:59 2023 +0200 @@ -314,6 +314,16 @@ subgraph { rank=same; + NotifierResource1_note [shape=note,style=filled,fillcolor=gold,label="Created to\nreceive\nnotifications"]; + NotifierResource1 [label="NotifierResource"]; + NotifierResource2 [label="NotifierResource"]; + + NotifierResource1_note -> NotifierResource1 -> NotifierResource2 [dir=none,style=dotted]; + } + + subgraph { + rank=same; + Resource1 [label="Resource\n(Pager)"]; Resource2 [label="Resource\n(Pager)"]; } @@ -321,11 +331,11 @@ subgraph { rank=same; - Notifier1_subscribe_note [shape=note,style=filled,fillcolor=gold,label="Propagated to\nprovider"]; - Notifier1_subscribe [label="Notifier"]; - Notifier2_subscribe [label="Notifier"]; + NotifierResource1_subscribe_note [shape=note,style=filled,fillcolor=gold,label="Propagated to\nprovider"]; + NotifierResource1_subscribe [label="NotifierResource"]; + NotifierResource2_subscribe [label="NotifierResource"]; - Notifier1_subscribe_note -> Notifier1_subscribe -> Notifier2_subscribe [dir=none,style=dotted]; + NotifierResource1_subscribe_note -> NotifierResource1_subscribe -> NotifierResource2_subscribe [dir=none,style=dotted]; } subgraph { @@ -339,17 +349,19 @@ /* Subscribing. */ - Client1 -> Notifier1 [dir=none]; - Notifier1 -> Resource1 [label="subscribe"]; + Client1 -> Notifier1 [label="subscribe"]; + Notifier1 -> NotifierResource1 [dir=none]; + NotifierResource1 -> Resource1 [label="subscribe"]; - Resource1 -> Notifier1_subscribe [dir=none]; - Notifier1_subscribe -> Provider [label="subscribe"]; + Resource1 -> NotifierResource1_subscribe [dir=none]; + NotifierResource1_subscribe -> Provider [label="subscribe"]; - Client2 -> Notifier2 [dir=none]; - Notifier2 -> Resource2 [label="subscribe"]; + Client2 -> Notifier2 [label="subscribe"]; + Notifier2 -> NotifierResource2 [dir=none]; + NotifierResource2 -> Resource2 [label="subscribe"]; - Resource2 -> Notifier2_subscribe [dir=none]; - Notifier2_subscribe -> Provider [label="subscribe"]; + Resource2 -> NotifierResource2_subscribe [dir=none]; + NotifierResource2_subscribe -> Provider [label="subscribe"]; } }}} @@ -368,40 +380,48 @@ rankdir=LR; subgraph { - rank=same; + rank=min; + + Client2 [label="Client\nprogram"]; + Client1 [label="Client\nprogram"]; + } + + subgraph { + rank=max; - Client1 [label="Client\nprogram"]; - Client2 [label="Client\nprogram"]; + Provider_note [shape=note,style=filled,fillcolor=gold,label="Propagates\nnotifications"]; + Provider [label="Provider"]; + + NotifierResource1 [label="NotifierResource"]; + NotifierResource1_note [shape=note,style=filled,fillcolor=gold,label="Receives\nnotifications"]; + + Provider_note -> Provider [dir=none,style=dotted]; + Provider -> NotifierResource1 [dir=none,style=invis]; + NotifierResource1 -> NotifierResource1_note [dir=none,style=dotted]; } subgraph { rank=same; - Notifier1_note [shape=note,style=filled,fillcolor=gold,label="Registered for\nnotifications"]; - Notifier1 [label="Notifier"]; - + Resource2_note [shape=note,style=filled,fillcolor=gold,label="Generates\nnotification"]; Resource2 [label="Resource\n(Pager)"]; - Resource2_note [shape=note,style=filled,fillcolor=gold,label="Generates\nnotification"]; - Notifier1_note -> Notifier1 [dir=none,style=dotted]; - Resource2 -> Resource2_note [dir=none,style=dotted]; - } + Notifier1 [label="Notifier"]; + Notifier1_note [shape=note,style=filled,fillcolor=gold,label="Created for\nnotifications"]; - subgraph { - rank=same; - - Provider_note [shape=note,style=filled,fillcolor=gold,label="Propagates\nnotifications"]; - Provider [label="Provider"]; - - Provider_note -> Provider [dir=none,style=dotted]; + Resource2_note -> Resource2 [dir=none,style=dotted]; + Notifier1 -> Notifier1_note [dir=none,style=dotted]; } /* A notification scenario. */ + Client1 -> Notifier1 [label="wait"]; + Client2 -> Resource2 [label="resize"]; Resource2 -> Provider [label="notify_others"]; - Provider -> Notifier1 [label="notify"]; - Client1 -> Notifier1 [label="wait"]; + + Provider -> NotifierResource1 [label="notify"]; + NotifierResource1 -> Notifier1 [label="notify"]; } }}}