-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathedge_2_2.anml
67 lines (67 loc) · 3.04 KB
/
edge_2_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
<?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>First byte of u1</description>
</parameter>
<parameter parameter-name="%p4" default-value="[\x04]">
<description>Second byte of u1</description>
</parameter>
<parameter parameter-name="%p5" default-value="[\x05]">
<description>First byte of u2</description>
</parameter>
<parameter parameter-name="%p6" default-value="[\x06]">
<description>Second 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"/>
<activate-on-match element="s4"/>
</state-transition-element>
<state-transition-element id="s3" symbol-set="[^\xff]" start="start-of-data">
<activate-on-match element="s5"/>
</state-transition-element>
<state-transition-element id="s4" symbol-set="%p1" start="start-of-data">
<activate-on-match element="s6"/>
</state-transition-element>
<state-transition-element id="s5" symbol-set="%p2">
<activate-on-match element="s3"/>
<activate-on-match element="s4"/>
<activate-on-match element="s7"/>
<activate-on-match element="s10"/>
</state-transition-element>
<state-transition-element id="s6" symbol-set="*">
<activate-on-match element="s3"/>
<activate-on-match element="s4"/>
<activate-on-match element="s7"/>
<activate-on-match element="s10"/>
</state-transition-element>
<state-transition-element id="s7" symbol-set="%p3">
<activate-on-match element="s8"/>
</state-transition-element>
<state-transition-element id="s8" symbol-set="%p4">
<activate-on-match element="s9"/>
</state-transition-element>
<state-transition-element id="s9" symbol-set="[\xff]">
<report-on-match/>
</state-transition-element>
<state-transition-element id="s10" symbol-set="%p5">
<activate-on-match element="s11"/>
</state-transition-element>
<state-transition-element id="s11" symbol-set="%p6">
<activate-on-match element="s9"/>
</state-transition-element>
</body>
</macro-definition>