#37 Currently the getMetricProviders method of the platform ignores the Rascal metric providers.

M24
open
nobody
None
2014-07-03
2014-07-03
Nicholas Matragkas
No

platform.getMetricProviderManager().getMetricProviders() method returns only providers managed by the generic metric provider manager of the platform. As a result Rascal metric providers are ignored. This method should return all metric providers irrespectively of their manager.

Discussion

  • Nicholas Matragkas
    Nicholas Matragkas
    2014-07-03

    • milestone: M18 --> M24
     
    Link