mirror of
https://github.com/github/codeql.git
synced 2025-12-23 20:26:32 +01:00
renamed "predicatetypeexpr" to "predicate_typeexpr"
This commit is contained in:
@@ -924,7 +924,7 @@ class TypeofTypeExpr extends @typeof_typeexpr, TypeExpr {
|
|||||||
* function f(x): asserts x {}
|
* 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`.
|
* Gets the parameter name or `this` token `E` in `E is T`.
|
||||||
*/
|
*/
|
||||||
|
|||||||
@@ -567,7 +567,7 @@ case @typeexpr.kind of
|
|||||||
| 17 = @local_var_type_access
|
| 17 = @local_var_type_access
|
||||||
| 18 = @qualified_var_type_access
|
| 18 = @qualified_var_type_access
|
||||||
| 19 = @this_var_type_access
|
| 19 = @this_var_type_access
|
||||||
| 20 = @predicatetypeexpr
|
| 20 = @predicate_typeexpr
|
||||||
| 21 = @interfacetypeexpr
|
| 21 = @interfacetypeexpr
|
||||||
| 22 = @typeparameter
|
| 22 = @typeparameter
|
||||||
| 23 = @plainfunctiontypeexpr
|
| 23 = @plainfunctiontypeexpr
|
||||||
@@ -645,7 +645,7 @@ case @type.kind of
|
|||||||
@unionorintersectiontype = @uniontype | @intersectiontype;
|
@unionorintersectiontype = @uniontype | @intersectiontype;
|
||||||
@typevariabletype = @canonicaltypevariabletype | @lexicaltypevariabletype;
|
@typevariabletype = @canonicaltypevariabletype | @lexicaltypevariabletype;
|
||||||
|
|
||||||
has_asserts_keyword(int node: @predicatetypeexpr ref);
|
has_asserts_keyword(int node: @predicate_typeexpr ref);
|
||||||
|
|
||||||
@typed_ast_node = @expr | @typeexpr | @function;
|
@typed_ast_node = @expr | @typeexpr | @function;
|
||||||
ast_node_type(
|
ast_node_type(
|
||||||
|
|||||||
@@ -862,7 +862,7 @@
|
|||||||
<v>20</v>
|
<v>20</v>
|
||||||
</e>
|
</e>
|
||||||
<e>
|
<e>
|
||||||
<k>@predicatetypeexpr</k>
|
<k>@predicate_typeexpr</k>
|
||||||
<v>86</v>
|
<v>86</v>
|
||||||
</e>
|
</e>
|
||||||
<e>
|
<e>
|
||||||
|
|||||||
Reference in New Issue
Block a user