Extensies
Extensies zijn de belangrijkste onderdelen die worden gebruikt om gedragspatronen aan het platform toe te voegen. Tenzij uw plugin een documentatieplugin of een eenvoudige Java-API-bibliotheek is die beschikbaar is gemaakt voor andere plugins, worden nieuwe gedragspatronen aangeleverd als extensies.
Op de pagina Extensies kunt u extensies die via uw plugin aan het platform worden aangeleverd, toevoegen, verwijderen en bewerken.
Alle extensies
Klik in de sectie Alle extensies op Toevoegen... om alle beschikbare extensiepunten te bekijken die u kunt uitbreiden.
Bij elk extensiepunt hoort een XML-schema met de bijbehorende grammatica. Wanneer u een nieuwe extensie selecteert, extraheert PDE de grammatica voor het desbetreffende extensiepunt en vult het voorgrondmenu van elk element dat is geselecteerd in de viewer Alle extensies met een lijst van geldige onderliggende elementen die u kunt maken.
Voor elk geselecteerd element wordt in de corpus van een extensie de sectie Gegevens extensie-element door PDE gevuld met alle geldige kenmerken voor dat element. Verplichte kenmerken zijn gemarkeerd met een asterisk (*).
Wanneer u een kenmerknaam aanwijst met de muis, verschijnt een voorgrondinfovenster met de beschrijving van het desbetreffende kenmerk.
Wanneer de verwachte waarde voor een kenmerk de naam van een Java-klasse is (bijvoorbeeld het eerder beschreven kenmerk klasse) en u op de naam van het kenmerk klikt, wordt het opgegeven Java-bestand geopend - als dit bestand tenminste bestaat. Als het bestand niet bestaat en u klikt op link voor de klasse, wordt de JDT-wizard Nieuwe klasse gestart zodat u meteen een nieuwe Java-klasse kunt maken.
Sommige extensiepunten bevatten geen kenmerken. In plaats hiervan vereisen zij een beschrijving die kan worden opgegeven in de sectie Lopende tekst: