|
1185.1.29
by Robert Collins
merge merge tweaks from aaron, which includes latest .dev |
1 |
grammar {
|
2 |
file = element file { |
|
3 |
attribute id { text }, |
|
4 |
attribute name { text }, |
|
5 |
||
6 |
# the following attributes are absent on the working-inventory
|
|
7 |
attribute sha1 { text }?, |
|
8 |
attribute size { text }?, |
|
9 |
||
10 |
attribute revision { text }?, |
|
11 |
||
12 |
empty |
|
13 |
}
|
|
14 |
||
15 |
directory = element directory { |
|
16 |
attribute id { text }, |
|
17 |
attribute name { text }, |
|
18 |
||
19 |
entry*
|
|
20 |
}
|
|
21 |
||
22 |
entry =
|
|
23 |
(file | directory ) |
|
24 |
||
25 |
start = element inventory { |
|
26 |
element root { |
|
27 |
entry*
|
|
28 |
}
|
|
29 |
}
|
|
30 |
}
|