[33777f]: metric-providers / org.ossmeter.metricprovider.rascal / plugin.xml History

Child: [e2a310] (diff)

Download this file

plugin.xml    13 lines (11 with data), 485 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="org.ossmeter.metricprovider.rascal" name="org.ossmeter.metricprovider.rascal" schema="schema/org.ossmeter.metricprovider.rascal.exsd"/>

   <extension

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

      <metricProviderManager

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

      </metricProviderManager>

   </extension>



</plugin>