1 | <!ELEMENT project (module, element, group)*>
|
---|
2 |
|
---|
3 | <!ELEMENT module (name, comment?, behaviour, modulename, import*)>
|
---|
4 |
|
---|
5 | <!ELEMENT group (name, location, comment?, behaviour, modulename, path)>
|
---|
6 |
|
---|
7 |
|
---|
8 | <!ELEMENT element (name, location, comment?, behaviour, modulename, mpview_ModuleParDef?, path)>
|
---|
9 | <!ATTLIST element type CDATA #REQUIRED>
|
---|
10 |
|
---|
11 | <!ELEMENT path (path_group)>
|
---|
12 | <!ELEMENT path_group (path_group)>
|
---|
13 | <!ATTLIST path_group loc CDATA #REQUIRED name CDATA #REQUIRED>
|
---|
14 |
|
---|
15 | <!ELEMENT mpview_ModuleParDef((mpview_TestcaseDef | mpview_FunctionDef | mpview_AltstepDef)*)
|
---|
16 | <!ELEMENT mpview_FunctionDef((mpview_TestcaseDef | mpview_FunctionDef | mpview_AltstepDef)*)
|
---|
17 | <!ELEMENT mpview_TestcaseDef((mpview_TestcaseDef | mpview_FunctionDef | mpview_AltstepDef)*)
|
---|
18 | <!ELEMENT mpview_AltstepDef((mpview_TestcaseDef | mpview_FunctionDef | mpview_AltstepDef)*)
|
---|
19 | <!ATTLIST mpview_ModuleParDef loc CDATA #REQUIRED name CDATA #REQUIRED>
|
---|
20 | <!ATTLIST mpview_FunctionDef loc CDATA #REQUIRED name CDATA #REQUIRED>
|
---|
21 | <!ATTLIST mpview_TestcaseDef loc CDATA #REQUIRED name CDATA #REQUIRED>
|
---|
22 | <!ATTLIST mpview_AltstepDef loc CDATA #REQUIRED name CDATA #REQUIRED>
|
---|
23 |
|
---|
24 | <!ELEMENT behaviour (#PCDATA | keyword | constructbody | link)*>
|
---|
25 | <!ELEMENT constructbody (#PCDATA | keyword | link)*>
|
---|
26 | <!ATTLIST constructbody id CDATA #REQUIRED>
|
---|
27 | <!ELEMENT keyword (#PCDATA)>
|
---|
28 |
|
---|
29 | <!ELEMENT link (#PCDATA)>
|
---|
30 | <!ATTLIST link loc CDATA #REQUIRED>
|
---|
31 |
|
---|
32 | <!ELEMENT newline EMPTY>
|
---|
33 | <!ELEMENT tab EMPTY>
|
---|
34 |
|
---|
35 | <!ELEMENT name (#PCDATA)>
|
---|
36 | <!ELEMENT location (#PCDATA)>
|
---|
37 | <!ELEMENT file (#PCDATA)>
|
---|
38 |
|
---|
39 | <!ELEMENT comment (author | config | desc | exception | member | param | purpose | remark | return | see | since | status | url | verdict | version)*>
|
---|
40 |
|
---|
41 | <!ELEMENT author (#PCDATA | esee | eurl)*>
|
---|
42 | <!ELEMENT config (#PCDATA | esee | eurl)*>
|
---|
43 | <!ELEMENT desc (#PCDATA | esee | eurl)*>
|
---|
44 | <!ELEMENT exception (#PCDATA | esee | eurl)*>
|
---|
45 | <!ELEMENT purpose (#PCDATA | esee | eurl)*>
|
---|
46 | <!ELEMENT param (#PCDATA | esee | eurl)*>
|
---|
47 | <!ELEMENT remark (#PCDATA | esee | eurl)*>
|
---|
48 | <!ELEMENT return (#PCDATA | esee | eurl)*>
|
---|
49 | <!ELEMENT see (#PCDATA)>
|
---|
50 | <!ELEMENT since (#PCDATA | esee | eurl)*>
|
---|
51 | <!ELEMENT status (#PCDATA | esee | eurl)*>
|
---|
52 | <!ELEMENT url (#PCDATA | esee | eurl)*>
|
---|
53 | <!ELEMENT verdict (#PCDATA | esee | eurl)*>
|
---|
54 | <!ELEMENT version (#PCDATA | esee | eurl)*>
|
---|
55 | <!ELEMENT member (#PCDATA | esee | eurl)*>
|
---|
56 |
|
---|
57 | <!ELEMENT esee (#PCDATA)>
|
---|
58 | <!ELEMENT eurl (#PCDATA)> |
---|