|
a/metric-providers/org.ossmeter.metricprovider.rascal/plugin.xml |
|
b/metric-providers/org.ossmeter.metricprovider.rascal/plugin.xml |
| 1 |
<?xml version="1.0" encoding="UTF-8"?>
|
1 |
<?xml version="1.0" encoding="UTF-8"?>
|
| 2 |
<?eclipse version="3.4"?>
|
2 |
<?eclipse version="3.4"?>
|
| 3 |
<plugin>
|
3 |
<plugin>
|
| 4 |
<extension-point id="org.ossmeter.metricprovider.rascal" name="org.ossmeter.metricprovider.rascal" schema="schema/org.ossmeter.metricprovider.rascal.exsd"/>
|
4 |
<extension-point id="org.ossmeter.metricprovider.rascal" name="org.ossmeter.metricprovider.rascal" schema="schema/org.ossmeter.metricprovider.rascal.exsd"/>
|
|
|
5 |
<extension-point id="org.ossmeter.metricprovider.rascal.metric" name="org.ossmeter.metricprovider.rascal.metric" schema="schema/org.ossmeter.metricprovider.rascal.metric.exsd"/>
|
| 5 |
<extension
|
6 |
<extension
|
| 6 |
point="org.ossmeter.platform.managers.metricprovider">
|
7 |
point="org.ossmeter.platform.metricprovider">
|
| 7 |
<metricProviderManager
|
8 |
<metricProvider
|
| 8 |
manager="org.ossmeter.metricprovider.rascal.RascalMetricProviderManager">
|
9 |
provider="org.ossmeter.metricprovider.rascal.RascalTransientMetricProvider">
|
| 9 |
</metricProviderManager>
|
10 |
</metricProvider>
|
| 10 |
</extension>
|
11 |
</extension>
|
| 11 |
|
12 |
|
| 12 |
</plugin>
|
13 |
</plugin>
|