super
属性中指定另一种类型来优化另一种类型。某些注释充当标记的用户界面等效件(请参阅 org.eclipse.core.resources.IMarker
),而其它注释独立存在,没有持久存在的形式。标记与注释类型之间的映射是由可选的 markerType
和 markerSeverity
属性定义的。
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
<!ELEMENT type EMPTY>
<!ATTLIST type
name CDATA #REQUIRED
markerType CDATA #IMPLIED
super CDATA #IMPLIED
markerSeverity (0|1|2) >
标记类型定义。
<extension point=
"org.eclipse.ui.editors.annotationTypes"
>
<type name=
"org.eclipse.jdt.ui.error"
super=
"org.eclipse.ui.workbench.texteditor.error"
markerType=
"org.eclipse.jdt.core.problem"
markerSeverity=
"2"
>
</type>
<type name=
"org.eclipse.jdt.ui.warning"
super=
"org.eclipse.ui.workbench.texteditor.warning"
markerType=
"org.eclipse.jdt.core.problem"
markerSeverity=
"1"
>
</type>
<type name=
"org.eclipse.jdt.ui.info"
super=
"org.eclipse.ui.workbench.texteditor.info"
markerType=
"org.eclipse.jdt.core.problem"
markerSeverity=
"0"
>
</type>
</extension>
Copyright (c) 2001, 2005 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