diff --git a/javascript/ql/src/semmle/javascript/TypeScript.qll b/javascript/ql/src/semmle/javascript/TypeScript.qll index 067e3733e66..7b852d93a0a 100644 --- a/javascript/ql/src/semmle/javascript/TypeScript.qll +++ b/javascript/ql/src/semmle/javascript/TypeScript.qll @@ -924,7 +924,7 @@ class TypeofTypeExpr extends @typeof_typeexpr, TypeExpr { * function f(x): asserts x {} * ``` */ -class PredicateTypeExpr extends @predicatetypeexpr, TypeExpr { +class PredicateTypeExpr extends @predicate_typeexpr, TypeExpr { /** * Gets the parameter name or `this` token `E` in `E is T`. */ diff --git a/javascript/ql/src/semmlecode.javascript.dbscheme b/javascript/ql/src/semmlecode.javascript.dbscheme index 39ea6f097bb..f3e5c2da342 100644 --- a/javascript/ql/src/semmlecode.javascript.dbscheme +++ b/javascript/ql/src/semmlecode.javascript.dbscheme @@ -567,7 +567,7 @@ case @typeexpr.kind of | 17 = @local_var_type_access | 18 = @qualified_var_type_access | 19 = @this_var_type_access -| 20 = @predicatetypeexpr +| 20 = @predicate_typeexpr | 21 = @interfacetypeexpr | 22 = @typeparameter | 23 = @plainfunctiontypeexpr @@ -645,7 +645,7 @@ case @type.kind of @unionorintersectiontype = @uniontype | @intersectiontype; @typevariabletype = @canonicaltypevariabletype | @lexicaltypevariabletype; -has_asserts_keyword(int node: @predicatetypeexpr ref); +has_asserts_keyword(int node: @predicate_typeexpr ref); @typed_ast_node = @expr | @typeexpr | @function; ast_node_type( diff --git a/javascript/ql/src/semmlecode.javascript.dbscheme.stats b/javascript/ql/src/semmlecode.javascript.dbscheme.stats index 29b8a0bd4e1..5e91a388cf3 100644 --- a/javascript/ql/src/semmlecode.javascript.dbscheme.stats +++ b/javascript/ql/src/semmlecode.javascript.dbscheme.stats @@ -862,7 +862,7 @@ 20 -@predicatetypeexpr +@predicate_typeexpr 86