Partecipanti alla pagina Console

org.eclipse.ui.console.consolePageParticipants

3.1

Questo punto di estensione fornisce un meccanismo per definire un partecipante alla pagina Console. Un partecipante alla pagina Console riceve la notifica degli eventi del ciclo di vita della pagina, quali creazione, attivazione, disattivazione e eliminazione. Un partecipante alla pagina può anche fornire adattatori per una pagina.

<!ELEMENT extension (consolePageParticipant)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT consolePageParticipant (enablement)>

<!ATTLIST consolePageParticipant

id    CDATA #REQUIRED

class CDATA #REQUIRED>


Di seguito viene riportato un esempio di punto di estensione per il partecipante alla pagina Console:
   

<extension point=

"org.eclipse.ui.console.consolePageParticipant"

>

<consolePageParticipant class=

"com.example.ExamplePageParticipant"

id=

"com.example.ExamplePageParticipant"

>

<enablement>

<instanceof value=

"com.example.ExampleConsole"

/>

</enablement>

</consolePageParticipant>

</extension>

Nell'esempio precedente, il partecipante alla pagina Console fornito, verrà utilizzato per tutte le console di tipo "com.example.ExampleConsole".

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