[6a6851]: metric-providers / org.ossmeter.metricprovider.rascal / plugin.xml History

Parent: [8950b4] (diff)

Download this file

plugin.xml    16 lines (14 with data), 873 Bytes 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
<?xml version="1.0" encoding="UTF-8" standalone="no"?>

<?eclipse version="3.4"?><plugin>

   <extension-point id="ossmeter.rascal.metricprovider" name="OSSMETER Rascal metric provider" schema="schema/ossmeter.rascal.metricprovider.exsd"/>

   <extension point="org.ossmeter.platform.managers.metricprovider">

      <metricProviderManager manager="org.ossmeter.metricprovider.rascal.RascalMetricProviderManager">

      </metricProviderManager>

   </extension>



<extension point="com.googlecode.pongo.runtime.osgi">

    <class name="org.ossmeter.metricprovider.rascal.trans.model.RascalMetrics"/>

    <class name="org.ossmeter.metricprovider.rascal.trans.model.IntegerMeasurement"/>

    <class name="org.ossmeter.metricprovider.rascal.trans.model.RealMeasurement"/>

    <class name="org.ossmeter.metricprovider.rascal.trans.model.BooleanMeasurement"/>

  </extension>

</plugin>