diff options
| author | Raimo Niskanen <[email protected]> | 2017-05-22 14:58:50 +0200 |
|---|---|---|
| committer | Raimo Niskanen <[email protected]> | 2017-05-22 14:58:50 +0200 |
| commit | 036534e03edded03c3392a30cda189bca8dfacf5 (patch) | |
| tree | 5ccc1e681bd986fd1be0dffed36205dfdde427e2 /system/doc | |
| parent | e577de4216f2dc180aac3e30949804db0b3e817d (diff) | |
| parent | 51c44f09553b13194ee8346266b0930d1a135590 (diff) | |
| download | otp-036534e03edded03c3392a30cda189bca8dfacf5.tar.gz otp-036534e03edded03c3392a30cda189bca8dfacf5.tar.bz2 otp-036534e03edded03c3392a30cda189bca8dfacf5.zip | |
Merge branch 'raimo/gen_statem-dev'
* raimo/gen_statem-dev:
Fix documentation details
Diffstat (limited to 'system/doc')
| -rw-r--r-- | system/doc/design_principles/statem.xml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/system/doc/design_principles/statem.xml b/system/doc/design_principles/statem.xml index 0667af7868..7febe31df3 100644 --- a/system/doc/design_principles/statem.xml +++ b/system/doc/design_principles/statem.xml @@ -1582,10 +1582,12 @@ format_status(Opt, [_PDict,State,Data]) -> for example, a complex state term like a tuple. </p> <p> - One reason to use this is when you have - a state item that affects the event handling, - in particular in combination with postponing events. - We complicate the previous example + One reason to use this is when you have a state item + that when changed should cancel the + <seealso marker="#State Time-Outs">state time-out</seealso>, + or one that affects the event handling + in combination with postponing events. + We will complicate the previous example by introducing a configurable lock button (this is the state item in question), which in the <c>open</c> state immediately locks the door, |