| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.2"?> |
| <plugin |
| id="newMarkerSupport" |
| name="newProblemFilter Plug-in" |
| version="1.0.0"> |
| <requires> |
| <import plugin="org.eclipse.ui.ide"/> |
| </requires> |
| <runtime> |
| <library name="markerSupport.jar"> |
| <export name="*"/> |
| </library> |
| </runtime> |
| <extension |
| id="dynamicTestMarker" |
| name="Dynamic Test Marker" |
| point="org.eclipse.core.resources.markers"> |
| <super type="org.eclipse.core.resources.problemmarker"/> |
| </extension> |
| <extension |
| id="testDynamicFilterAddition" |
| point="org.eclipse.ui.ide.markerSupport"> |
| <problemFilter |
| enabled="true" |
| id="filter1" |
| name="Filter 1" |
| onDescription="method"/> |
| <problemFilter |
| id="filter2" |
| name="Filter 2" |
| onDescription="!method"/> |
| <problemFilter |
| enabled="true" |
| id="filter3" |
| name="Filter 3"> |
| <selectedType markerId="org.eclipse.ui.tests.dynamicTestMarker"/> |
| </problemFilter> |
| <markerCategory name="dynamicCategory"> |
| <markerTypeReference id="org.eclipse.ui.tests.dynamicTestMarker"/> |
| </markerCategory> |
| <markerGrouping |
| id="dynamic" |
| name="Dynamic Test Grouping"> |
| </markerGrouping> |
| |
| </extension> |
| </plugin> |