Participantes de la página de consola

org.eclipse.ui.console.consolePageParticipants

3.1

este punto de extensión proporciona un mecanismo para contribuir con un participante de la página de consola. Se notifica a un participante de la página de consola de los eventos de ciclo de vida de la página como, por ejemplo, su creación, activación, desactivación y desecho. Un participante de la página también puede proporcionar adaptadores para una página.

<!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>


a continuación se muestra un ejemplo de punto de extensión de participante de página de consola:
   

<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>

En el ejemplo anterior, el participante de la página de consola contribuido se utilizará para todas las consolas del tipo "com.example.ExampleConsole."

El valor del atributo class debe ser un nombre totalmente calificado de una clase Java que implemente la interfaz org.eclipse.debug.ui.console.IConsolePageParticipantDelegate.