Source

LIME / doc / arch.dtd

Full commit
<!ELEMENT arch (type|type-is|inst-is|core|memory)*>
<!ATTLIST arch
  xmlns:xi CDATA #FIXED 'http://www.w3.org/2001/XInclude'
  xmlns:xlink CDATA #FIXED 'http://www.w3.org/1999/xlink'
  xlink:type (extended) #FIXED 'extended'>

<!ELEMENT type EMPTY>
<!ATTLIST type
  xlink:type (locator) #FIXED "locator"
  xlink:label CDATA #REQUIRED
  xlink:href CDATA #REQUIRED>
<!ELEMENT type-is EMPTY>
<!ATTLIST type-is
  xlink:type (arc) #FIXED "arc"
  xlink:to CDATA #REQUIRED
  xlink:from CDATA #REQUIRED>
<!ELEMENT inst-is EMPTY>
<!ATTLIST inst-is
  xlink:type (arc) #FIXED "arc"
  xlink:to CDATA #REQUIRED
  xlink:from CDATA #REQUIRED>

<!ELEMENT core (rtype|resource|rtype-is|rinst-is)*>
<!ATTLIST core id ID #REQUIRED
  type CDATA #REQUIRED
  xlink:type (resource) #FIXED "resource"
  xlink:label CDATA #REQUIRED>

<!ELEMENT memory (rtype|resource|rtype-is|rinst-is)*>
<!ATTLIST memory id ID #REQUIRED
  type CDATA #REQUIRED
  xlink:type (resource) #FIXED "resource"
  xlink:label CDATA #REQUIRED>

<!ELEMENT rtype EMPTY>
<!ATTLIST rtype
  xlink:type (locator) #FIXED "locator"
  xlink:label CDATA #REQUIRED
  xlink:href CDATA #REQUIRED>
<!ELEMENT rtype-is EMPTY>
<!ATTLIST rtype-is
  xlink:type (arc) #FIXED "arc"
  xlink:to CDATA #REQUIRED
  xlink:from CDATA #REQUIRED>
<!ELEMENT rinst-is EMPTY>
<!ATTLIST rinst-is
  xlink:type (arc) #FIXED "arc"
  xlink:to CDATA #REQUIRED
  xlink:from CDATA #REQUIRED>

<!ELEMENT resource EMPTY>
<!ATTLIST resource id ID #REQUIRED
  amount CDATA #IMPLIED
  clock CDATA #IMPLIED
  xlink:type (resource) #FIXED "resource"
  xlink:label CDATA #REQUIRED>