[8950b4]: metric-providers / org.ossmeter.metricprovider.rascal / plugin.xml History

Parent: [0bf1c2] (diff)

Child: [6a6851] (diff)

Download this file

plugin.xml    13 lines (11 with data), 474 Bytes 

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

<?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>



</plugin>