Extensiones

Las extensiones son el mecanismo central para añadir un comportamiento a la plataforma. A menos que el plug-in sea un plug-in de documentación o una biblioteca de API Java simple puesta a disposición de otros plug-ins, el comportamiento nuevo se añade en forma de extensión.

La página Extensiones es donde puede añadir, eliminar y modificar las extensiones que el plug-in aporta a la plataforma.

 

Todas las extensiones

En la sección Todas las extensiones, pulse Añadir... para ver todos los puntos de extensión disponibles que puede ampliar.

Detalles de extensión

Cada punto de extensión se suministra con un esquema XML que especifica su gramática.  Al seleccionar una nueva extensión, el PDE extrae la gramática para el punto de extensión correspondiente y rellena el menú de contexto de cada elemento seleccionado en el visor Todas las extensiones con una lista de los elementos hijo válidos que puede crear.

Para cada elemento seleccionado en el cuerpo de una extensión, el PDE rellena la sección Detalles de elemento de extensión con todos los atributos válidos para ese elemento.  Los atributos necesarios se indican con un asterisco. 

Al pasar el puntero del ratón por encima de un nombre de atributo, aparecerá un recuadro de ayuda flotante que muestra la descripción de ese atributo.

Cuando un atributo espera el nombre de una clase Java como un valor (por ejemplo el atributo class mencionado anteriormente), al pulsar en el nombre del atributo se abrirá el archivo Java especificado, si existe.  Si el archivo no existe, pulsando en el enlace class se activará el asistente Clase nueva de JDT para crear una nueva clase Java dinámicamente. 

Algunos elementos de extensión tienen atributos. En lugar de ellos, requieren una descripción que puede especificarse en la sección Texto de cuerpo:

Texto de cuerpo