mirror of
https://github.com/github/codeql.git
synced 2026-04-21 15:05:56 +02:00
C++: Limit metrics to top 500
This commit is contained in:
@@ -60,6 +60,14 @@ class QualityMetric extends Metric {
|
||||
}
|
||||
}
|
||||
|
||||
signature class RankedMetric extends Metric {
|
||||
int getValue();
|
||||
}
|
||||
|
||||
module RankMetric<RankedMetric M> {
|
||||
int getRank(M s) { s = rank[result](M m | | m order by m.getValue() desc) }
|
||||
}
|
||||
|
||||
/** Various metrics we want to report. */
|
||||
module CppMetrics {
|
||||
class CompilationUnits extends BaseMetric {
|
||||
|
||||
Reference in New Issue
Block a user