2 <xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:map="http://www.tik.ee.ethz.ch/~shapes/schema/MAPPING" targetNamespace="http://www.tik.ee.ethz.ch/~shapes/schema/MAPPING" elementFormDefault="qualified">
3 <xsd:include schemaLocation="generics.xsd"/>
5 <xsd:element name="mapping">
7 <xsd:sequence minOccurs="0" maxOccurs="unbounded">
8 <xsd:element name="variable" type="map:variable" minOccurs="0" maxOccurs="unbounded"/>
9 <xsd:element name="function" type="xsd:string" minOccurs="0" maxOccurs="unbounded"/>
10 <xsd:element name="iterator" type="map:generaliterator" minOccurs="0" maxOccurs="unbounded"/>
11 <xsd:element name="binding" type="map:binding" minOccurs="0" maxOccurs="unbounded"/>
12 <xsd:element name="schedule" type="map:schedule" minOccurs="0" maxOccurs="unbounded"/>
14 <xsd:attribute name="name" type="xsd:string" use="required"/>
18 <xsd:complexType name="binding">
20 <xsd:element name="append" type="map:append" minOccurs="0" maxOccurs="unbounded"/>
22 <xsd:attribute name="name" type="xsd:string" use="required"/>
25 <xsd:complexType name="computation">
27 <xsd:extension base="map:binding">
29 <xsd:element name="process" type="map:resource" minOccurs="1" maxOccurs="1"/>
30 <xsd:element name="processor" type="map:resource" minOccurs="1" maxOccurs="1"/>
36 <xsd:complexType name="communication">
38 <xsd:extension base="map:binding">
40 <xsd:element name="sw_channel" type="map:resource" minOccurs="1" maxOccurs="1"/>
41 <xsd:element name="writepath" type="map:resource" minOccurs="1" maxOccurs="1"/>
42 <xsd:element name="readpath" type="map:resource" minOccurs="1" maxOccurs="1"/>
48 <xsd:complexType name="schedule">
50 <xsd:element name="append" type="map:append" minOccurs="0" maxOccurs="unbounded"/>
51 <xsd:element name="resource" type="map:resource"/>
52 <xsd:element name="origin" type="map:configuredresource" minOccurs="0" maxOccurs="unbounded"/>
53 <xsd:element name="configuration" type="map:configuration" minOccurs="0" maxOccurs="unbounded"/>
55 <xsd:attribute name="name" type="xsd:string" use="required"/>
56 <xsd:attribute name="type" use="required">
58 <xsd:restriction base="xsd:string">
59 <xsd:enumeration value="static"/>
60 <xsd:enumeration value="fixedpriority"/>
61 <xsd:enumeration value="fifo"/>
62 <xsd:enumeration value="tdma"/>
63 <xsd:enumeration value="roundrobin"/>
69 <xsd:complexType name="resource">
71 <xsd:element name="append" type="map:append" minOccurs="0" maxOccurs="unbounded"/>
73 <xsd:attribute name="name" type="xsd:string" use="required"/>
76 <xsd:complexType name="configuredresource">
78 <xsd:element name="append" type="map:append" minOccurs="0" maxOccurs="unbounded"/>
79 <xsd:element name="configuration" type="map:configuration" minOccurs="0" maxOccurs="unbounded"/>
81 <xsd:attribute name="name" type="xsd:string" use="required"/>
84 <xsd:complexType name="generaliterator">
86 <xsd:extension base="map:iterator">
88 <xsd:element name="iterator" type="map:generaliterator" minOccurs="0" maxOccurs="unbounded"/>
89 <xsd:element name="binding" type="map:binding" minOccurs="0" maxOccurs="unbounded"/>
90 <xsd:element name="schedule" type="map:schedule" minOccurs="0" maxOccurs="unbounded"/>