Risoluzioni dell'indicatore

org.eclipse.ui.ide.markerResolution

3.0 (aggiunto nella versione 2.0 come org.eclipse.ui.markerResolution)

Questo punto di estensione è utilizzato per associare un generatore di risoluzioni dell'indicatore a uno specifico "tipo" di indicatore (un indicatore di un tipo determinato o con attributi aventi determinati valori).

<!ELEMENT extension (markerResolutionGenerator*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT markerResolutionGenerator (attribute*)>

<!ATTLIST markerResolutionGenerator

class      CDATA #REQUIRED

markerType CDATA #IMPLIED>


<!ELEMENT attribute EMPTY>

<!ATTLIST attribute

name  CDATA #REQUIRED

value CDATA #REQUIRED>


Di seguito è riportato un esempio di estensione di generatore di risoluzioni dell'indicatore (si osservino l'elemento secondario e la modalità di utilizzo degli attributi):

 

<extension point=

"org.eclipse.ui.ide.markerResolution"

>

<markerResolutionGenerator class=

"org.eclipse.ui.examples.readmetool.ReadmeMarkerResolutionGenerator"

markerType=

"org.eclipse.ui.examples.readmetool.readmemarker"

>

<attribute name=

"org.eclipse.ui.examples.readmetool.id"

value=

"1234"

/>

</markerResolutionGenerator>

</extension>

Nell'esempio sopra riportato, un generatore di risoluzioni dell'indicatore viene associato a indicatori di tipo org.eclipse.ui.examples.readmetool.readmemarker il cui attributo org.eclipse.ui.examples.readmetool.id presenta un valore pari a 1234.

è possibile fornire più di un generatore di guida dell'indicatore per un determinato indicatore.