Package jack.plugin.metrics

Class Summary

MetricsAction	Action allowing openning the selection in the Jack PO viewer view.
MetricsContentProvider	Content provider providing content for ProofTaskList elements.
MetricsFilterWindow	Filter dialog for the metrics view.
MetricsView	View displaying the proof results of selected JML files.