equal
deleted
inserted
replaced
|
1 default namespace = "https://sql-dk.globalcode.info/xmlns/configuration" |
|
2 |
|
3 start = |
|
4 element configuration { |
|
5 |
|
6 element database { |
|
7 element name { text }, |
|
8 element url { text }, |
|
9 element userName { text }?, |
|
10 element password { text }?, |
|
11 element property { |
|
12 attribute name { text }, |
|
13 text |
|
14 }* |
|
15 }*, |
|
16 |
|
17 element defaultFormatter { text }?, |
|
18 |
|
19 element formatter { |
|
20 element name { text }, |
|
21 element class { text }, |
|
22 element property { |
|
23 attribute name { text }, |
|
24 text |
|
25 }* |
|
26 }* |
|
27 } |