]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/negative/data_invalid/INDEX
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / rtests / negative / data_invalid / INDEX
1 ----------------------------------------
2 Root element
3 ----------------------------------------
4
5 001.xml         Declared root element type matches actual root element type
6
7 ----------------------------------------
8 Attributes
9 ----------------------------------------
10
11 010.xml         ID attributes must match the Name production (not nmtoken)
12 011.xml         ID attributes uniquely identify the element bearing them
13                 *** TODO ***
14 012.xml         No element type must have several ID attributes declared
15 013.xml         No ID attribute must have a default
16 014.xml         No ID attribute must have a default (FIXED)
17 015.xml         Attributes of type IDREF must match the Name production
18 016.xml         Attributes of type IDREFS must match the Names production
19 017.xml         Attributes of type IDREF must match the value of an ID
20                 attribute
21                 *** TODO ***
22 018.xml         Attributes of type IDREFS must match the values of ID
23                 attributes
24                 *** TODO ***
25 019.xml         Attributes of type ENTITY must match the Name production
26 020.xml         Attributes of type ENTITIES must match the Names production
27 021.xml         Attributes of type ENTITY must match an unparsed entity
28 022.xml         Attributes of type ENTITIES must match unparsed entities
29 023.xml         Attributes of type NMTOKEN must match the nmtoken production
30 024.xml         Attributes of type NMTOKENS must match the nmtokens production
31 025.xml         like 015.xml, but the default value is tested
32 026.xml         like 016.xml, but the default value is tested
33 027.xml         like 019.xml, but the default value is tested
34 028.xml         like 020.xml, but the default value is tested
35 029.xml         like 023.xml, but the default value is tested
36 030.xml         like 024.xml, but the default value is tested
37 031.xml         all notation names in the declaration must have been declared
38 032.xml         Values of NOTATION type must match one declared value
39 033.xml         Values of NOTATION type must match one declared value
40 034.xml         Only one NOTATION attribute per element
41 035.xml         Values of enum type must match one of the declared values
42 036.xml         Values of enum type must match one of the declared values
43 037.xml         missing #REQUIRED attribute
44 038.xml         #FIXED attributes must match the declared default
45
46 ----------------------------------------
47 Standalone declaration
48 ----------------------------------------
49
50 060.xml         Externally declared default values are rejected
51 061.xml         variant of 060.xml (internal entity within external entity)
52 062.xml         variant of 060.xml (external subset of DTD)
53 063.xml         Externally declared parsed general entities are rejected
54                 (entity ref occurs in main text)
55 064.xml         Externally declared parsed general entities are rejected
56                 (entity ref occurs in attribute value)
57 065.xml         Externally declared parsed general entities are rejected
58                 (entity ref occurs in attribute default)
59                 *** THINK ABOUT THIS CASE AGAIN ***
60 066.xml         Externally declared unparsed entities are rejected
61                 (entity ref occurs in attribute value)
62 067.xml         Externally declared unparsed entities are rejected
63                 (entity ref occurs in attribute default)
64 068.xml         Externally declared NMTOKEN attributes require normal form
65 069.xml         Externally declared NMTOKENS attributes require normal form
66 070.xml         Externally declared elements with regexp content model
67                 do not like extra white space
68
69 ----------------------------------------
70 Deterministics models
71 ----------------------------------------
72
73 080.xml         One example
74 081.xml         Another example
75