Installazioni Java VM

org.eclipse.jdt.launching.vmInstalls

3.2

Consente di aggiungere specifiche configurazioni di ambienti di runtime Java e kit di sviluppo alla strumentazione di sviluppo Java.

<!ELEMENT extension (vmInstall+)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT vmInstall (library*)>

<!ATTLIST vmInstall

id            CDATA #REQUIRED

vmInstallType CDATA #REQUIRED

name          CDATA #REQUIRED

home          CDATA #REQUIRED

javadocURL    CDATA #IMPLIED

vmArgs        CDATA #IMPLIED>


<!ELEMENT library EMPTY>

<!ATTLIST library

path            CDATA #REQUIRED

sourcePath      CDATA #IMPLIED

packageRootPath CDATA #IMPLIED

javadocURL      CDATA #IMPLIED>


Following is an example vm install definition.

<extension point=

"org.eclipse.jdt.launching.vmInstalls"

>

<vmInstall home=

"${eclipse_home}/jre"

id=

"com.example.vm.id"

name=

"JRE-1.4"

vmInstallType=

"com.example.vm.type"

/>

</extension>

JDT does not provide any specific VM installs.