-
Notifications
You must be signed in to change notification settings - Fork 0
/
edge_3_2.anml
95 lines (95 loc) · 4.38 KB
/
edge_3_2.anml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<macro-definition id="edge_2" name="edge_2" units="0.001">
<header>
<parameter-declarations>
<parameter parameter-name="%p1" default-value="[\x01]">
<description>First byte of v</description>
</parameter>
<parameter parameter-name="%p2" default-value="[\x02]">
<description>Second byte of v</description>
</parameter>
<parameter parameter-name="%p3" default-value="[\x03]">
<description>Third byte of v</description>
</parameter>
<parameter parameter-name="%p4" default-value="[\x04]">
<description>First byte of u1</description>
</parameter>
<parameter parameter-name="%p5" default-value="[\x05]">
<description>Second byte of u1</description>
</parameter>
<parameter parameter-name="%p6" default-value="[\x06]">
<description>Third byte of u1</description>
</parameter>
<parameter parameter-name="%p7" default-value="[\x07]">
<description>First byte of u2</description>
</parameter>
<parameter parameter-name="%p8" default-value="[\x08]">
<description>Second byte of u2</description>
</parameter>
<parameter parameter-name="%p9" default-value="[\x09]">
<description>Third byte of u2</description>
</parameter>
</parameter-declarations>
</header>
<body>
<state-transition-element id="s1" symbol-set="[\xff]" start="all-input">
<activate-on-match element="s2"/>
</state-transition-element>
<state-transition-element id="s2" symbol-set="[\xff]">
<activate-on-match element="s3"/>
</state-transition-element>
<state-transition-element id="s3" symbol-set="[\xff]">
<activate-on-match element="s4"/>
<activate-on-match element="s6"/>
</state-transition-element>
<state-transition-element id="s4" symbol-set="[^\xff]" start="start-of-data">
<activate-on-match element="s5"/>
<activate-on-match element="s7"/>
</state-transition-element>
<state-transition-element id="s5" symbol-set="*">
<activate-on-match element="s8"/>
</state-transition-element>
<state-transition-element id="s6" symbol-set="%p1" start="start-of-data">
<activate-on-match element="s9"/>
</state-transition-element>
<state-transition-element id="s7" symbol-set="%p2">
<activate-on-match element="s10"/>
</state-transition-element>
<state-transition-element id="s8" symbol-set="%p3">
<activate-on-match element="s4"/>
<activate-on-match element="s6"/>
<activate-on-match element="s11"/>
<activate-on-match element="s15"/>
</state-transition-element>
<state-transition-element id="s9" symbol-set="*">
<activate-on-match element="s10"/>
</state-transition-element>
<state-transition-element id="s10" symbol-set="*">
<activate-on-match element="s4"/>
<activate-on-match element="s6"/>
<activate-on-match element="s11"/>
<activate-on-match element="s15"/>
</state-transition-element>
<state-transition-element id="s11" symbol-set="%p4">
<activate-on-match element="s12"/>
</state-transition-element>
<state-transition-element id="s12" symbol-set="%p5">
<activate-on-match element="s13"/>
</state-transition-element>
<state-transition-element id="s13" symbol-set="%p6">
<activate-on-match element="s14"/>
</state-transition-element>
<state-transition-element id="s14" symbol-set="[\xff]">
<report-on-match/>
</state-transition-element>
<state-transition-element id="s15" symbol-set="%p7">
<activate-on-match element="s16"/>
</state-transition-element>
<state-transition-element id="s16" symbol-set="%p8">
<activate-on-match element="s17"/>
</state-transition-element>
<state-transition-element id="s17" symbol-set="%p9">
<activate-on-match element="s14"/>
</state-transition-element>
</body>
</macro-definition>