<!ELEMENT extension (javadoc+)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
<!ATTLIST javadoc
path CDATA #REQUIRED
archive (true | false) "false">
path è un URL o un percorso relativo al plugin che dichiara l'estensione.false. Questo attributo dovrebbe essere utilizzato solo se l'attributo
path specifica un valore relativo.
Questo attributo non ha effetto se l'attributo path indica un URL.<!ELEMENT plugin EMPTY>
<!ATTLIST plugin
id CDATA #REQUIRED>
pathjavadoc:
In questo esempio, il javadoc per due plugin:<extension point=
"org.eclipse.pde.core.javadoc"
>
<javadoc path=
"doc.zip!/references/api/"
archive=
"true"
/>
<plugin id=
"com.example.abc"
/>
<plugin id=
"com.example.def"
/>
</javadoc>
<javadoc path=
"http://www.sample-url.org/doc/"
/>
<plugin id=
"com.example.ghi"
/>
</javadoc>
<javadoc path=
"doc/"
/>
<plugin id=
"com.example.jkl"
/>
</javadoc>
</extension>
com.example.abc e com.example.xyz hanno i rispettivi javadoc nella directory
references/api/ nel file zip doc.zip nel plugin che dichiara questa estensione.
Il javadoc per il plugin com.example.ghi si trova in http://www.sample-url.org/doc/.
Il javadoc per il plugin com.example.jkl si trova nella directory doc relativa
al percorso del plugin che dichiara questa estensione.
Copyright (c) 2005 IBM Corporation e altri.
Tutti i diritti riservati. Questo programma e il materiale di accompagnamento sono disponibili secondo i termini della Eclipse Public
License v1.0 che sono distribuiti con il prodotto, e disponibili all'indirizzo
http://www.eclipse.org/legal/epl-v10.html