Pagina Estensioni

Le estensioni rappresentano il meccanismo centrale per fornire la funzionalitą alla piattaforma. A meno che il proprio plugin non corrisponda a una semplice libreria API Java resa disponibile ad altri plugin, la nuova funzionalitą viene fornita come estensione.

La pagina Estensioni consente di aggiungere, rimuovere e modificare le estensioni fornite dal plugin alla piattaforma.

Pagina Editor estensioni

 

Ciascun punto di estensione ha uno schema xml che ne specifica la grammatica.  La sintassi dell'estensione deve quindi seguire questa grammatica per poter essere elaborata correttamente.  Quando si crea una nuova estensione, il PDE estrae la grammatica per il punto di estensione corrispondente e inserisce nel menu di scelta rapida di ciascun elemento selezionato nel visualizzatore Estensioni un elenco di elementi secondari validi che č possibile creare.

Inoltre, per ciascun elemento selezionato nel corpo di un'estensione, il PDE inserisce nella sezione Dettagli dell'elemento estensione tutti gli attributi validi per questo elemento.  Gli attributi necessari sono indicati con un asterisco. 

Quando si trattiene il mouse su un nome attributo, viene visualizzata una casella di descrizione con lo scopo dell'attributo.

Quando un attributo prevede il nome di una classe Java come un valore, ad esempio il suddetto attributo class, facendo clic sul nome dell'attributo verrą aperto un file Java, specificato se esiste.  Se il file non esiste, facendo clic sul collegamento class verrą aperta la procedura guidata JDT Nuova classe per creare una nuova classe Java rapidamente.  Il PDE inserirą nella procedura guidata la superclasse e/o l'interfaccia corretta quando lo schema per il punto di estensione specificherą queste informazioni per l'attributo in questione.