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

<!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>`
- Move booleans and tunables to modules when it is only used in a single module. - Add support for tunables and booleans local to a module. 2007-03-26 18:41:45 +00:00			`<!ELEMENT module (summary,desc?,required?,(interface\|template),(bool\|tunable))>`
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">`
xml building changes, add desc tag to booleans, add summary tag to bools 2006-02-10 18:41:53 +00:00			`<!ELEMENT tunable (desc)>`
add updated dtd 2005-06-07 18:49:44 +00:00			`<!ATTLIST tunable`
			`name CDATA #REQUIRED`
			`dftval CDATA #REQUIRED>`
xml building changes, add desc tag to booleans, add summary tag to bools 2006-02-10 18:41:53 +00:00			`<!ELEMENT bool (desc)>`
* 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			`<!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)>`
add main part of role-o-matic 2006-09-06 22:07:25 +00:00			`<!ELEMENT interface (summary,desc?,param+,infoflow?,(rolebase\|rolecap)?)>`
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>`
add main part of role-o-matic 2006-09-06 22:07:25 +00:00			`<!ELEMENT template (summary,desc?,param+,(rolebase\|rolecap)?)>`
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;)*>`
xml building changes, add desc tag to booleans, add summary tag to bools 2006-02-10 18:41:53 +00:00			`<!ELEMENT param (summary)>`
shorten some xml tags 2005-06-23 16:00:05 +00:00			`<!ATTLIST param`
add updated dtd 2005-06-07 18:49:44 +00:00			`name CDATA #REQUIRED`
trunk: Add unused interface/template parameter metadata in XML. 2008-06-24 14:23:40 +00:00			`optional (true\|false) "false"`
			`unused (true\|false) "false">`
add updated dtd 2005-06-07 18:49:44 +00:00			`<!ELEMENT infoflow EMPTY>`
			`<!ATTLIST infoflow`
			`type CDATA #REQUIRED`
			`weight CDATA #IMPLIED>`
add main part of role-o-matic 2006-09-06 22:07:25 +00:00			`<!ELEMENT rolebase EMPTY>`
			`<!ELEMENT rolecap EMPTY>`
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;)*>`