sync/gen_doc.yml2
author buff <andreas@pep-project.org>
Fri, 28 Jun 2019 18:16:23 +0200
branchIOS-1576
changeset 3892 e7e371c1ad53
parent 3824 146e4fab0072
permissions -rw-r--r--
IOS-1576 increases timeout, 60 does not work involving UI
     1 include yslt.yml2
     2 
     3 tstylesheet {
     4     template "/protocol" {
     5         | protocol «@name»
     6         apply "fsm" sort "@name";
     7     }
     8     template "fsm" {
     9         | fsm «@name»
    10         apply "state" sort "@name";
    11         |
    12         for "set:distinct(*/event/@name)" {
    13             sort ".";
    14             |> event «.»
    15         }
    16         |
    17         for "set:distinct(descendant::action/@name)" {
    18             sort ".";
    19             |> action «.»
    20         }
    21         |
    22         for "set:distinct(descendant::condition/@name)" {
    23             sort ".";
    24             |> condition «.»
    25         }
    26         |
    27         apply "descendant::transition"
    28             sort "ancestor::state/@name",
    29             sort "@target",
    30             sort "ancestor::event/@name";
    31         |
    32         apply "message" sort "@name";
    33         |
    34         for "set:distinct(message/field/@name)" {
    35             sort ".";
    36             |> field «.»
    37         }
    38     }
    39     template "state" | state «@name»
    40     template "transition"
    41         | transition from «ancestor::state/@name» to «@target» on event «ancestor::event/@name»
    42     template "message" | message «@name»
    43 }
    44