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

Parent: [b7bbca] (diff)

Child: [652a7a] (diff)

Download this file

plugin.xml    14 lines (12 with data), 646 Bytes 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
<?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 id="org.ossmeter.metricprovider.rascal.metric" name="org.ossmeter.metricprovider.rascal.metric" schema="schema/org.ossmeter.metricprovider.rascal.metric.exsd"/>

   <extension

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

      <metricProvider

            provider="org.ossmeter.metricprovider.rascal.RascalTransientMetricProvider">

      </metricProvider>

   </extension>



</plugin>