Le fichier platform.xml

Depuis la version :

3.0

Description :

Les principales informations de configuration du gestionnaire de mise à jour sont stockées dans le fichier platform.xml situé dans le répertoire de configuration (habituellement eclipse/configuration/org.eclipse.update/platform.xml). Ce format de fichier est un format interne et peut changer à tout moment ; en réalité cependant, il est très peu probable qu'il change.

Ce document fournit des informations de syntaxe et de sémantique concernant le fichier platform.xml à l'intention de ceux qui veulent profiter de la possibilité de livrer un produit eclipse doté d'une configuration d'installation prédéfinie.

Etant donné que le fichier platform.xml est basé sur les anciens fichiers platform.cfg et installConfig*.xml, il contient encore des éléments et attributs déconseillés qui ne seront pas mentionnés dans ce document, ainsi que des formes alambiquées de spécification des informations de configuration. Si le fichier platform.xml doit devenir une API, aussi bien la syntaxe que la sémantique doivent être revues.

Marques de configuration :

<!ELEMENT extension EMPTY>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT config EMPTY>

<!ATTLIST config

version   CDATA #IMPLIED

date      CDATA #IMPLIED

transient (true | false) "false"

shared_ur CDATA #IMPLIED>

décrit la configuration d'installation en cours.



<!ELEMENT site EMPTY>

<!ATTLIST site

url        CDATA #REQUIRED

enabled    (true | false)

updateable (true | false)

policy     (USER-EXCLUDE|USER-INCLUDE|MANAGED-ONLY)

linkfile   CDATA #IMPLIED

list       CDATA #IMPLIED>

définit un emplacement d'installation, lequel doit contenir des fonctions et des plugins.



<!ELEMENT feature EMPTY>

<!ATTLIST feature

id      CDATA #REQUIRED

version CDATA #REQUIRED

url     CDATA #REQUIRED>

définit une focntionnalité installée sur ce site.



<?xml version="1.0" encoding="UTF-8"?>
<config date="1119300698390" transient="false" version="3.0">
<site enabled="true" policy="USER-EXCLUDE" updateable="true" url="platform:/base/">
<feature id="org.eclipse.platform" url="features/org.eclipse.platform_3.1.0/" version="3.1.0"> </feature>
<feature id="org.eclipse.platform.source" url="features/org.eclipse.platform.source_3.1.0/" version="3.1.0"> </feature>
<feature id="org.eclipse.rcp" url="features/org.eclipse.rcp_3.1.0/" version="3.1.0"> </feature>
<feature id="org.eclipse.jdt" url="features/org.eclipse.jdt_3.1.0/" version="3.1.0">
</feature>
<feature id="org.eclipse.jdt.source" url="features/org.eclipse.jdt.source_3.1.0/" version="3.1.0">
</feature>
<feature id="org.eclipse.pde" url="features/org.eclipse.pde_3.1.0/" version="3.1.0">
</feature>
<feature id="org.eclipse.sdk" url="features/org.eclipse.sdk_3.1.0/" version="3.1.0">
</feature>
<feature id="org.eclipse.pde.source" url="features/org.eclipse.pde.source_3.1.0/" version="3.1.0">
</feature>
<feature id="org.eclipse.rcp.source" url="features/org.eclipse.rcp.source_3.1.0/" version="3.1.0">
</feature>
</site>
<site enabled="true" policy="USER-EXCLUDE" updateable="true" url="file:/d:/extensions/org.eclipse.core.tools/eclipse/"> </site>
</config>