<!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.
All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html