<!ELEMENT extension (provider*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
<!ELEMENT provider EMPTY>
<!ATTLIST provider
extensions CDATA #IMPLIED
inputTypes CDATA #IMPLIED
class CDATA #REQUIRED
id CDATA #REQUIRED>
<extension point=
"org.eclipse.ui.editors.documentProviders"
>
<provider extensions=
".jav"
class=
"org.eclipse.ui.examples.javaeditor.JavaDocumentProvider"
id=
"org.eclipse.ui.examples.javaeditor.JavaDocumentProvider"
>
</provider>
</extension>
В этом примере org.eclipse.ui.examples.javaeditor.JavaDocumentProvider регистрируется как поставщик по умолчанию для файлов с расширением ".jav".
В этом примере org.eclipse.ui.editors.text.FileDocumentProvider регистрируется как поставщик по умолчанию для всех введенных данных редакторов, являющихся экземплярами org.eclipse.ui.IStorageEditorInput.<extension point=
"org.eclipse.ui.editors.documentProviders"
>
<provider inputTypes=
"org.eclipse.ui.IStorageEditorInput"
class=
"org.eclipse.ui.editors.text.FileDocumentProvider"
id=
"org.eclipse.ui.editors.text.FileDocumentProvider"
>
</provider>
</extension>
Copyright (c) 2001, 2004 IBM Corporation and others.
Все права защищены.
Эта программа и сопутствующие материалы распространяются на условиях Eclipse Public License v1.0, поставляемой вместе с продуктом и доступной на Web-сайте
http://www.eclipse.org/legal/epl-v10.html