Guida dell'indicatore

org.eclipse.ui.ide.markerHelp

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

Questo punto di estensione è utilizzato per associare un id di contesto della guida a uno specifico "tipo" di indicatore (un indicatore di un tipo determinato o con attributi aventi determinati valori).

<!ELEMENT extension (markerHelp*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT markerHelp (attribute*)>

<!ATTLIST markerHelp

markerType    CDATA #IMPLIED

helpContextId CDATA #REQUIRED>


<!ELEMENT attribute EMPTY>

<!ATTLIST attribute

name  CDATA #REQUIRED

value CDATA #REQUIRED>


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

 

<extension point=

"org.eclipse.ui.ide.markerHelp"

>

<markerHelp markerType=

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

helpContextId=

"org.eclipse.ui.examples.readmetool.marker_example1_context"

>

<attribute name=

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

value=

"1234"

/>

</markerHelp>

</extension>

Nell'esempio sopra riportato, un id di contesto della guida è associato a indicatori di tipo org.eclipse.ui.examples.readmetool.readmemarker il cui attributo org.eclipse.ui.examples.readmetool.id ha un valore 1234.

è compito dello sviluppatore verificare che per uno specifico indicatore sia fornito soltanto un singolo id contesto guida. Se vengono forniti due o più id contesto guida, il workbench non definisce quale verrà restituito. Il workbench, tuttavia, definisce che per un determinato indicatore sarà sempre restituito l'id contesto "più specifico". Di conseguenza, un id contesto associato a tre valori corrispondenti dell'attributo verrà restituito prima di un id contesto associato a due valori soltanto.