Página Extensiones

Las extensiones son el mecanismo central para contribuir aportando un comportamiento a la plataforma. A menos que el conector sea una biblioteca de API Java simple puesta a disposición de otros conectores, la contribución del comportamiento nuevo se aporta en forma de extensión.

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

Página Editor de extensiones

 

Cada punto de extensión viene con un esquema xml que especifica su gramática.  Por consiguiente, la sintaxis de la extensión debe seguir esa gramática para que pueda procesarse correctamente.  Al crear 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 de Extensiones con una lista de los elementos hijo válidos que puede crear.

Además, 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 describe la finalidad de ese atributo.

Cuando un atributo espera el nombre de una clase Java como un valor, por ejemplo el atributo class mencionado más arriba, 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.  El PDE preparará el asistente con la superclase y/o interfaz correctas cuando el esquema para el punto de extensión especifique esta información para el atributo dado.