You've already forked gnatdashboard
mirror of
https://github.com/AdaCore/gnatdashboard.git
synced 2026-02-12 12:30:42 -08:00
The GNAThub.Plugin class is no longer an abstract class and GNAThub.Runner & GNAThub.Reporter are two new interfaces exposing respectively run() and report(). Plugins now have tools execution done in run() methods, and results collection done in report() methods (when it make sense for the plugin, ie. coverage plugins only implement the GNAThub.Reporter interface whereas eg. CodePeer plugin implements both GNAThub.Runner and GNAThub.Reporter interfaces). Change-Id: Ic702a98eb3bb02e7f7416b5ff3c998f9b20eaefc TN: P720-035