ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

*/config.xsd: fix session-policy declarations 

Issue #2908
This commit is contained in:
Martin Stein 2018-07-06 16:21:58 +02:00 committed by Christian Helmuth
parent d2a36c5958
commit 99b8e062d7
4 changed files with 43 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/base/xsd/base_types.xsd
View File

@ -32,4 +32,10 @@
</xs:restriction>
</xs:simpleType><!-- Session_label -->
<xs:complexType name="Session_policy">
<xs:attribute name="label_prefix" type="Session_label" />
<xs:attribute name="label_suffix" type="Session_label" />
<xs:attribute name="label" type="Session_label" />
</xs:complexType>
</xs:schema>

21
repos/os/src/app/trace_logger/config.xsd
View File

@ -15,14 +15,23 @@
<xs:complexType>
<xs:choice minOccurs="0" maxOccurs="unbounded">
<xs:element name="default-policy">
<xs:complexType>
<xs:attribute name="thread" type="Thread_name" />
<xs:attribute name="buffer" type="Number_of_bytes" />
<xs:attribute name="policy" type="Trace_policy_name" />
</xs:complexType>
</xs:element><!-- default-policy -->
<xs:element name="policy">
<xs:complexType>
<xs:attribute name="label_prefix" type="Session_label" />
<xs:attribute name="label_suffix" type="Session_label" />
<xs:attribute name="label" type="Session_label" />
<xs:attribute name="thread" type="Thread_name" />
<xs:attribute name="buffer" type="Number_of_bytes" />
<xs:attribute name="policy" type="Trace_policy_name" />
<xs:complexContent>
<xs:extension base="Session_policy">
<xs:attribute name="thread" type="Thread_name" />
<xs:attribute name="buffer" type="Number_of_bytes" />
<xs:attribute name="policy" type="Trace_policy_name" />
</xs:extension>
</xs:complexContent>
</xs:complexType>
</xs:element><!-- policy -->

15
repos/os/src/server/nic_bridge/config.xsd
View File

@ -8,12 +8,19 @@
<xs:complexType>
<xs:choice minOccurs="0" maxOccurs="unbounded">
<xs:element name="default-policy">
<xs:complexType>
<xs:attribute name="ip_addr" type="Ipv4_address" />
</xs:complexType>
</xs:element><!-- default-policy -->
<xs:element name="policy">
<xs:complexType>
<xs:attribute name="label_prefix" type="Session_label" />
<xs:attribute name="label_suffix" type="Session_label" />
<xs:attribute name="label" type="Session_label" />
<xs:attribute name="ip_addr" type="Ipv4_address" />
<xs:complexContent>
<xs:extension base="Session_policy">
<xs:attribute name="ip_addr" type="Ipv4_address" />
</xs:extension>
</xs:complexContent>
</xs:complexType>
</xs:element><!-- policy -->

15
repos/os/src/server/nic_router/config.xsd
View File

@ -63,12 +63,19 @@
</xs:complexType>
</xs:element><!-- report -->
<xs:element name="default-policy">
<xs:complexType>
<xs:attribute name="domain" type="Domain_name" />
</xs:complexType>
</xs:element><!-- default-policy -->
<xs:element name="policy">
<xs:complexType>
<xs:attribute name="label_prefix" type="Session_label" />
<xs:attribute name="label_suffix" type="Session_label" />
<xs:attribute name="label" type="Session_label" />
<xs:attribute name="domain" type="Domain_name" />
<xs:complexContent>
<xs:extension base="Session_policy">
<xs:attribute name="domain" type="Domain_name" />
</xs:extension>
</xs:complexContent>
</xs:complexType>
</xs:element><!-- policy -->