17 lines
628 B
DTD
17 lines
628 B
DTD
<!-- Copyright (C) 2010-2018 Free Software Foundation, Inc.
|
|
|
|
Copying and distribution of this file, with or without modification,
|
|
are permitted in any medium without royalty provided the copyright
|
|
notice and this notice are preserved. -->
|
|
|
|
<!-- traceframe-info: Root element with versioning -->
|
|
<!ELEMENT traceframe-info (memory | tvar)* >
|
|
<!ATTLIST traceframe-info version CDATA #FIXED "1.0">
|
|
|
|
<!ELEMENT memory EMPTY>
|
|
<!ATTLIST memory start CDATA #REQUIRED
|
|
length CDATA #REQUIRED>
|
|
|
|
<!ELEMENT tvar EMPTY>
|
|
<!ATTLIST tvar id CDATA #REQUIRED>
|