selinux-policy/refpolicy/doc/policy.dtd

<!ENTITY  % inline.class  "pre|p|ul|ol|li">

<!ELEMENT policy (layer+,(tunable|bool)*)>
<!ELEMENT layer (summary,module+)>
<!ATTLIST layer
      name CDATA #REQUIRED>
<!ELEMENT module (summary,desc?,required?,(interface|template)*)>
<!ATTLIST module 
      name CDATA #REQUIRED
      filename CDATA #REQUIRED>
<!ELEMENT required (#PCDATA)>
<!ATTLIST required
      val (true|false) "false">
<!ELEMENT tunable (#PCDATA)>
<!ATTLIST tunable
      name CDATA #REQUIRED
      dftval CDATA #REQUIRED>
<!ELEMENT bool (#PCDATA)>
<!ATTLIST bool
      name CDATA #REQUIRED
      dftval CDATA #REQUIRED>
<!ELEMENT summary (#PCDATA)>
<!ELEMENT interface (summary,desc?,param+,infoflow?)>
<!ATTLIST interface name CDATA #REQUIRED lineno CDATA #REQUIRED>
<!ELEMENT template (summary,desc?,param+)>
<!ATTLIST template name CDATA #REQUIRED lineno CDATA #REQUIRED>
<!ELEMENT desc (#PCDATA|%inline.class;)*>
<!ELEMENT param (#PCDATA)>
<!ATTLIST param 
      name CDATA #REQUIRED
      optional (true|false) "false">
<!ELEMENT infoflow EMPTY>
<!ATTLIST infoflow 
      type CDATA #REQUIRED
      weight CDATA #IMPLIED>

<!ATTLIST pre caption CDATA #IMPLIED>
<!ELEMENT p (#PCDATA|%inline.class;)*>
<!ELEMENT ul (li+)>
<!ELEMENT ol (li+)>
<!ELEMENT li (#PCDATA|%inline.class;)*>
Fix handling of ordered and unordered HTML lists. 2005-07-22 19:15:49 +00:00			`<!ENTITY % inline.class "pre\|p\|ul\|ol\|li">`
html tag updates 2005-06-10 20:39:41 +00:00
* Updated to sedoctool to read bool files and tunable files separately. * Changed the xml tag of <boolean> to <bool> to be consistent with gen_bool(). * Modified the implementation of segenxml to use regular expressions. 2005-10-07 18:08:50 +00:00			`<!ELEMENT policy (layer+,(tunable\|bool)*)>`
make layer summary required 2005-06-29 16:54:13 +00:00			`<!ELEMENT layer (summary,module+)>`
XML: encapsulate modules in layers, rather then layer being an attribute of module tag 2005-06-20 18:40:44 +00:00			`<!ATTLIST layer`
			`name CDATA #REQUIRED>`
add tag for required modules 2005-07-05 16:03:47 +00:00			`<!ELEMENT module (summary,desc?,required?,(interface\|template)*)>`
add updated dtd 2005-06-07 18:49:44 +00:00			`<!ATTLIST module`
add line number and file name to xml, from selide people 2006-01-27 15:47:52 +00:00			`name CDATA #REQUIRED`
			`filename CDATA #REQUIRED>`
add tag for required modules 2005-07-05 16:03:47 +00:00			`<!ELEMENT required (#PCDATA)>`
			`<!ATTLIST required`
			`val (true\|false) "false">`
add updated dtd 2005-06-07 18:49:44 +00:00			`<!ELEMENT tunable (#PCDATA)>`
			`<!ATTLIST tunable`
			`name CDATA #REQUIRED`
			`dftval CDATA #REQUIRED>`
* Updated to sedoctool to read bool files and tunable files separately. * Changed the xml tag of <boolean> to <bool> to be consistent with gen_bool(). * Modified the implementation of segenxml to use regular expressions. 2005-10-07 18:08:50 +00:00			`<!ELEMENT bool (#PCDATA)>`
			`<!ATTLIST bool`
support for global booleans 2005-07-08 14:22:17 +00:00			`name CDATA #REQUIRED`
			`dftval CDATA #REQUIRED>`
add updated dtd 2005-06-07 18:49:44 +00:00			`<!ELEMENT summary (#PCDATA)>`
remove secdesc since desc is sufficient 2005-08-11 17:55:47 +00:00			`<!ELEMENT interface (summary,desc?,param+,infoflow?)>`
add line number and file name to xml, from selide people 2006-01-27 15:47:52 +00:00			`<!ATTLIST interface name CDATA #REQUIRED lineno CDATA #REQUIRED>`
remove secdesc since desc is sufficient 2005-08-11 17:55:47 +00:00			`<!ELEMENT template (summary,desc?,param+)>`
add line number and file name to xml, from selide people 2006-01-27 15:47:52 +00:00			`<!ATTLIST template name CDATA #REQUIRED lineno CDATA #REQUIRED>`
shorten some xml tags 2005-06-23 16:00:05 +00:00			`<!ELEMENT desc (#PCDATA\|%inline.class;)*>`
			`<!ELEMENT param (#PCDATA)>`
			`<!ATTLIST param`
add updated dtd 2005-06-07 18:49:44 +00:00			`name CDATA #REQUIRED`
			`optional (true\|false) "false">`
			`<!ELEMENT infoflow EMPTY>`
			`<!ATTLIST infoflow`
			`type CDATA #REQUIRED`
			`weight CDATA #IMPLIED>`
html tag updates 2005-06-10 20:39:41 +00:00
fix 2005-06-13 20:10:01 +00:00			`<!ATTLIST pre caption CDATA #IMPLIED>`
html tag updates 2005-06-10 20:39:41 +00:00			`<!ELEMENT p (#PCDATA\|%inline.class;)*>`
			`<!ELEMENT ul (li+)>`
Fix handling of ordered and unordered HTML lists. 2005-07-22 19:15:49 +00:00			`<!ELEMENT ol (li+)>`
			`<!ELEMENT li (#PCDATA\|%inline.class;)*>`