Gestori stato

org.eclipse.debug.core.statusHandlers

Questo punto di estensione fornisce un meccanismo per separare la generazione di un errore dalla sua risoluzione. L'interazione tra l'origine dell'errore e la risoluzione viene definita dal client. Quando si verifica un errore, il client ha la responsabilità di ricercare e delegare ai gestori stato.

<!ELEMENT extension (statusHandler*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT statusHandler EMPTY>

<!ATTLIST statusHandler

id     CDATA #REQUIRED

class  CDATA #REQUIRED

plugin CDATA #REQUIRED

code   CDATA #REQUIRED>


Di seguito viene riportato un esempio di punto di estensione per un gestore stato:

 

<extension point=

"org.eclipse.debug.core.statusHandlers"

>

<statusHandler id=

"com.example.ExampleIdentifier"

class=

"com.example.ExampleStatusHandler"

plugin=

"com.example.ExamplePluginId"

code=

"123"

>

</statusHandler>

</extension>

Nell'esempio sopra riportato, il gestore stato specificato sarà registrato per gestire gli oggetti stato con un identificativo di plugin com.example.ExamplePluginId e un codice stato 123.

Il valore dell'attributo class deve essere un nome completo di una classe Java che implementa l'interfaccia org.eclipse.debug.core.IStatusHandler.