Dokumenterstellung

org.eclipse.core.filebuffers.documentCreation

3.0

Dieser Erweiterungspunkt wird zur Anpassung des Dokumenterstellungsverhaltens des Puffermanagers der Standardtexdtdatei dieses Plug-ins eingesetzt. Er ermöglicht die Angabe darüber, welche Dokument-Factory zur Erstellung des Dokumentexemplars eines Textdateipuffers eingesetzt werden sollte, der für einen bestimmten Dateiinhaltsstyp, eine Dateierweiterung oder einen Dateinamen erstellt wurde.

<!ELEMENT extension (factory)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT factory EMPTY>

<!ATTLIST factory

class         CDATA #REQUIRED

extensions    CDATA #IMPLIED

fileNames     CDATA #IMPLIED

contentTypeId CDATA #IMPLIED>

Die Spezifikation einer Dokument-Factory. Um eine Factory für eine bestimmte Datei zu finden, werden die Attribute jeder Factory-Spezifikation in folgender Abfolge konsultiert: contentTypeId, fileNames, extensions. Wenn mehrere, gleiche Factory-Spezifikationen für eine bestimmte Datei gefunden wurden, wird nicht angegeben, welche Factory benutzt wird.



<extension id=

"org.eclipse.jdt.debug.ui.SnippetDocumentFactory"

name=

"%snippetDocumentFactory.name"

point=

"org.eclipse.core.filebuffers.documentCreation"

>

<factory extensions=

"jpage"

class=

"org.eclipse.jdt.internal.debug.ui.snippeteditor.SnippetDocumentFactory"

>

</factory>

</extension>

Dokument-Factories müssen org.eclipse.core.filebuffers.IDocumentFactory implementieren.