mirror of
https://github.com/github/codeql.git
synced 2026-04-30 19:26:02 +02:00
JS: Remove old metric-meta query TypedExprs.ql
This was used in the very old dist-compare tool, but has no use anymore
This commit is contained in:
@@ -1,17 +0,0 @@
|
||||
/**
|
||||
* @name Typed expressions
|
||||
* @description The number of expressions for which the TypeScript extractor could
|
||||
* extract a type other than 'any'.
|
||||
* @kind metric
|
||||
* @metricType project
|
||||
* @metricAggregate sum
|
||||
* @tags meta
|
||||
* @id js/meta/typed-expressions
|
||||
*/
|
||||
|
||||
import javascript
|
||||
import meta.MetaMetrics
|
||||
|
||||
predicate isProperType(Type t) { not t instanceof AnyType }
|
||||
|
||||
select projectRoot(), count(Expr e | isProperType(e.getType()))
|
||||
Reference in New Issue
Block a user