/jEdit/tags/jedit-4-1-pre9/org/gjt/sp/jedit/pluginmgr/plugins.dtd

# · Document Type Definition · 40 lines · 30 code · 10 blank · 0 comment · 0 complexity · f3defa49417c290c32e59abff6a93f59 MD5 · raw file

  1. <!-- DTD used to validate the XML file pulled down from plugin central -->
  2. <!ENTITY % att-bool '( TRUE | FALSE )' >
  3. <!ELEMENT DESCRIPTION ( #PCDATA ) >
  4. <!ELEMENT PLUGINS ( PLUGIN_SET | PLUGIN )+ >
  5. <!ELEMENT PLUGIN_SET ( DESCRIPTION, PLUGIN_SET_ENTRY+ ) >
  6. <!ATTLIST PLUGIN_SET
  7. NAME CDATA #REQUIRED >
  8. <!ELEMENT PLUGIN_SET_ENTRY ( #PCDATA ) >
  9. <!ELEMENT PLUGIN ( DESCRIPTION, AUTHOR+, BRANCH+ ) >
  10. <!ATTLIST PLUGIN
  11. JAR CDATA #REQUIRED
  12. NAME CDATA #REQUIRED >
  13. <!ELEMENT AUTHOR ( #PCDATA ) >
  14. <!ELEMENT BRANCH ( DOWNLOAD, DOWNLOAD_SOURCE, ( DEPEND+ ) ) >
  15. <!ATTLIST BRANCH
  16. VERSION CDATA #REQUIRED
  17. DATE CDATA #REQUIRED
  18. OBSOLETE %att-bool; "FALSE" >
  19. <!ELEMENT DOWNLOAD ( #PCDATA ) >
  20. <!ATTLIST DOWNLOAD
  21. SIZE CDATA #REQUIRED >
  22. <!ELEMENT DOWNLOAD_SOURCE ( #PCDATA ) >
  23. <!ATTLIST DOWNLOAD_SOURCE
  24. SIZE CDATA #REQUIRED >
  25. <!ELEMENT DEPEND EMPTY >
  26. <!ATTLIST DEPEND
  27. WHAT CDATA #REQUIRED
  28. FROM CDATA #IMPLIED
  29. TO CDATA #IMPLIED
  30. PLUGIN CDATA #IMPLIED >