vnfs/TestVNF/netconftemplates/netconftemplates/afr-machine@2013-12-27.yin


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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281

<rpc-reply xmlns="urn:ietf:params:xml:ns:netconf:base:1.0" message-id="m-1">
  <data xmlns="urn:ietf:params:xml:ns:yang:ietf-netconf-monitoring">&lt;?xml version="1.0" encoding="UTF-8"?&gt;
&lt;module name="turing-machine"
        xmlns="urn:ietf:params:xml:ns:yang:yin:1"
        xmlns:tm="http://example.net/turing-machine"&gt;
  &lt;namespace uri="http://example.net/turing-machine"/&gt;
  &lt;prefix value="tm"/&gt;
  &lt;description&gt;
    &lt;text&gt;Data model for the Turing Machine.&lt;/text&gt;
  &lt;/description&gt;
  &lt;revision date="2013-12-27"&gt;
    &lt;description&gt;
      &lt;text&gt;Initial revision.&lt;/text&gt;
    &lt;/description&gt;
  &lt;/revision&gt;
  &lt;typedef name="tape-symbol"&gt;
    &lt;type name="string"&gt;
      &lt;length value="0..1"/&gt;
    &lt;/type&gt;
    &lt;description&gt;
      &lt;text&gt;Type of symbols appearing in tape cells.

A blank is represented as an empty string where necessary.&lt;/text&gt;
    &lt;/description&gt;
  &lt;/typedef&gt;
  &lt;typedef name="cell-index"&gt;
    &lt;type name="int64"/&gt;
    &lt;description&gt;
      &lt;text&gt;Type for indexing tape cells.&lt;/text&gt;
    &lt;/description&gt;
  &lt;/typedef&gt;
  &lt;typedef name="state-index"&gt;
    &lt;type name="uint16"/&gt;
    &lt;description&gt;
      &lt;text&gt;Type for indexing states of the control unit.&lt;/text&gt;
    &lt;/description&gt;
  &lt;/typedef&gt;
  &lt;typedef name="head-dir"&gt;
    &lt;type name="enumeration"&gt;
      &lt;enum name="left"/&gt;
      &lt;enum name="right"/&gt;
    &lt;/type&gt;
    &lt;default value="right"/&gt;
    &lt;description&gt;
      &lt;text&gt;Possible directions for moving the read/write head, one cell
to the left or right (default).&lt;/text&gt;
    &lt;/description&gt;
  &lt;/typedef&gt;
  &lt;grouping name="tape-cells"&gt;
    &lt;description&gt;
      &lt;text&gt;The tape of the Turing Machine is represented as a sparse
array.&lt;/text&gt;
    &lt;/description&gt;
    &lt;list name="cell"&gt;
      &lt;key value="coord"/&gt;
      &lt;description&gt;
        &lt;text&gt;List of non-blank cells.&lt;/text&gt;
      &lt;/description&gt;
      &lt;leaf name="coord"&gt;
        &lt;type name="cell-index"/&gt;
        &lt;description&gt;
          &lt;text&gt;Coordinate (index) of the tape cell.&lt;/text&gt;
        &lt;/description&gt;
      &lt;/leaf&gt;
      &lt;leaf name="symbol"&gt;
        &lt;type name="tape-symbol"&gt;
          &lt;length value="1"/&gt;
        &lt;/type&gt;
        &lt;description&gt;
          &lt;text&gt;Symbol appearing in the tape cell.

Blank (empty string) is not allowed here because the
'cell' list only contains non-blank cells.&lt;/text&gt;
        &lt;/description&gt;
      &lt;/leaf&gt;
    &lt;/list&gt;
  &lt;/grouping&gt;
  &lt;container name="turing-machine"&gt;
    &lt;description&gt;
      &lt;text&gt;State data and configuration of a Turing Machine.&lt;/text&gt;
    &lt;/description&gt;
    &lt;leaf name="state"&gt;
      &lt;type name="state-index"/&gt;
      &lt;config value="false"/&gt;
      &lt;mandatory value="true"/&gt;
      &lt;description&gt;
        &lt;text&gt;Current state of the control unit.

The initial state is 0.&lt;/text&gt;
      &lt;/description&gt;
    &lt;/leaf&gt;
    &lt;leaf name="head-position"&gt;
      &lt;type name="cell-index"/&gt;
      &lt;config value="false"/&gt;
      &lt;mandatory value="true"/&gt;
      &lt;description&gt;
        &lt;text&gt;Position of tape read/write head.&lt;/text&gt;
      &lt;/description&gt;
    &lt;/leaf&gt;
    &lt;container name="tape"&gt;
      &lt;config value="false"/&gt;
      &lt;description&gt;
        &lt;text&gt;The contents of the tape.&lt;/text&gt;
      &lt;/description&gt;
      &lt;uses name="tape-cells"/&gt;
    &lt;/container&gt;
    &lt;container name="transition-function"&gt;
      &lt;description&gt;
        &lt;text&gt;The Turing Machine is configured by specifying the
transition function.&lt;/text&gt;
      &lt;/description&gt;
      &lt;list name="delta"&gt;
        &lt;key value="label"/&gt;
        &lt;unique tag="input/state input/symbol"/&gt;
        &lt;description&gt;
          &lt;text&gt;The list of transition rules.&lt;/text&gt;
        &lt;/description&gt;
        &lt;leaf name="label"&gt;
          &lt;type name="string"/&gt;
          &lt;description&gt;
            &lt;text&gt;An arbitrary label of the transition rule.&lt;/text&gt;
          &lt;/description&gt;
        &lt;/leaf&gt;
        &lt;container name="input"&gt;
          &lt;description&gt;
            &lt;text&gt;Input parameters (arguments) of the transition rule.&lt;/text&gt;
          &lt;/description&gt;
          &lt;leaf name="state"&gt;
            &lt;type name="state-index"/&gt;
            &lt;mandatory value="true"/&gt;
            &lt;description&gt;
              &lt;text&gt;Current state of the control unit.&lt;/text&gt;
            &lt;/description&gt;
          &lt;/leaf&gt;
          &lt;leaf name="symbol"&gt;
            &lt;type name="tape-symbol"/&gt;
            &lt;mandatory value="true"/&gt;
            &lt;description&gt;
              &lt;text&gt;Symbol read from the tape cell.&lt;/text&gt;
            &lt;/description&gt;
          &lt;/leaf&gt;
        &lt;/container&gt;
        &lt;container name="output"&gt;
          &lt;description&gt;
            &lt;text&gt;Output values of the transition rule.&lt;/text&gt;
          &lt;/description&gt;
          &lt;leaf name="state"&gt;
            &lt;type name="state-index"/&gt;
            &lt;description&gt;
              &lt;text&gt;New state of the control unit. If this leaf is not
present, the state doesn't change.&lt;/text&gt;
            &lt;/description&gt;
          &lt;/leaf&gt;
          &lt;leaf name="symbol"&gt;
            &lt;type name="tape-symbol"/&gt;
            &lt;description&gt;
              &lt;text&gt;Symbol to be written to the tape cell. If this leaf is
not present, the symbol doesn't change.&lt;/text&gt;
            &lt;/description&gt;
          &lt;/leaf&gt;
          &lt;leaf name="head-move"&gt;
            &lt;type name="head-dir"/&gt;
            &lt;description&gt;
              &lt;text&gt;Move the head one cell to the left or right&lt;/text&gt;
            &lt;/description&gt;
          &lt;/leaf&gt;
        &lt;/container&gt;
      &lt;/list&gt;
    &lt;/container&gt;
  &lt;/container&gt;
  &lt;rpc name="initialize"&gt;
    &lt;description&gt;
      &lt;text&gt;Initialize the Turing Machine as follows:

1. Put the control unit into the initial state (0).

2. Move the read/write head to the tape cell with coordinate
   zero.

3. Write the string from the 'tape-content' input parameter to
   the tape, character by character, starting at cell 0. The
   tape is othewise empty.&lt;/text&gt;
    &lt;/description&gt;
    &lt;input&gt;
      &lt;leaf name="tape-content"&gt;
        &lt;type name="string"/&gt;
        &lt;default value=""/&gt;
        &lt;description&gt;
          &lt;text&gt;The string with which the tape shall be initialized. The
leftmost symbol will be at tape coordinate 0.&lt;/text&gt;
        &lt;/description&gt;
      &lt;/leaf&gt;
    &lt;/input&gt;
  &lt;/rpc&gt;
  &lt;rpc name="run"&gt;
    &lt;description&gt;
      &lt;text&gt;Start the Turing Machine operation.&lt;/text&gt;
    &lt;/description&gt;
  &lt;/rpc&gt;
  &lt;rpc name="run-until"&gt;
    &lt;description&gt;
      &lt;text&gt;Start the Turing Machine operation and let it run until it is halted
or ALL the defined breakpoint conditions are satisfied.&lt;/text&gt;
    &lt;/description&gt;
    &lt;input&gt;
      &lt;leaf name="state"&gt;
        &lt;type name="state-index"/&gt;
        &lt;description&gt;
          &lt;text&gt;What state the control unit has to be at for the execution to be paused.&lt;/text&gt;
        &lt;/description&gt;
      &lt;/leaf&gt;
      &lt;leaf name="head-position"&gt;
        &lt;type name="cell-index"/&gt;
        &lt;description&gt;
          &lt;text&gt;Position of tape read/write head for which the breakpoint applies.&lt;/text&gt;
        &lt;/description&gt;
      &lt;/leaf&gt;
      &lt;container name="tape"&gt;
        &lt;description&gt;
          &lt;text&gt;What content the tape has to have for the breakpoint to apply.&lt;/text&gt;
        &lt;/description&gt;
        &lt;uses name="tape-cells"/&gt;
      &lt;/container&gt;
    &lt;/input&gt;
    &lt;output&gt;
      &lt;leaf name="step-count"&gt;
        &lt;type name="uint64"/&gt;
        &lt;description&gt;
          &lt;text&gt;The number of steps executed since the last 'run-until' call.&lt;/text&gt;
        &lt;/description&gt;
      &lt;/leaf&gt;
      &lt;leaf name="halted"&gt;
        &lt;type name="boolean"/&gt;
        &lt;description&gt;
          &lt;text&gt;'True' if the Turing machine is halted, 'false' if it is only paused.&lt;/text&gt;
        &lt;/description&gt;
      &lt;/leaf&gt;
    &lt;/output&gt;
  &lt;/rpc&gt;
  &lt;notification name="halted"&gt;
    &lt;description&gt;
      &lt;text&gt;The Turing Machine has halted. This means that there is no
transition rule for the current state and tape symbol.&lt;/text&gt;
    &lt;/description&gt;
    &lt;leaf name="state"&gt;
      &lt;type name="state-index"/&gt;
      &lt;mandatory value="true"/&gt;
      &lt;description&gt;
        &lt;text&gt;The state of the control unit in which the machine has
halted.&lt;/text&gt;
      &lt;/description&gt;
    &lt;/leaf&gt;
  &lt;/notification&gt;
  &lt;notification name="paused"&gt;
    &lt;description&gt;
      &lt;text&gt;The Turing machine has reached a breakpoint and was paused.&lt;/text&gt;
    &lt;/description&gt;
    &lt;leaf name="state"&gt;
      &lt;type name="state-index"/&gt;
      &lt;mandatory value="true"/&gt;
      &lt;description&gt;
        &lt;text&gt;State of the control unit in which the machine was paused.&lt;/text&gt;
      &lt;/description&gt;
    &lt;/leaf&gt;
    &lt;leaf name="head-position"&gt;
      &lt;type name="cell-index"/&gt;
      &lt;mandatory value="true"/&gt;
      &lt;description&gt;
        &lt;text&gt;Position of tape read/write head when the machine was paused.&lt;/text&gt;
      &lt;/description&gt;
    &lt;/leaf&gt;
    &lt;container name="tape"&gt;
      &lt;description&gt;
        &lt;text&gt;Content of the tape when the machine was paused.&lt;/text&gt;
      &lt;/description&gt;
      &lt;uses name="tape-cells"/&gt;
    &lt;/container&gt;
  &lt;/notification&gt;
&lt;/module&gt;
</data>
</rpc-reply>