Skip to content

Commit 37e1e3c

Browse files
tausbntausbn
committed
unified: regenerate files
1 parent 70f3fd1 commit 37e1e3c

2 files changed

Lines changed: 80 additions & 122 deletions

File tree

‎unified/ql/lib/codeql/unified/Ast.qll‎

Lines changed: 25 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -135,7 +135,7 @@ module Swift {
135135
final AstNode getElement(int i) { swift_array_type_element(this, i, result) }
136136

137137
/** Gets the node corresponding to the field `name`. */
138-
final AstNode getName() { swift_array_type_def(this, result) }
138+
final UnannotatedType getName() { swift_array_type_def(this, result) }
139139

140140
/** Gets a field or child node of this node. */
141141
final override AstNode getAFieldOrChild() {
@@ -152,7 +152,7 @@ module Swift {
152152
final Expression getExpr() { swift_as_expression_def(this, result, _, _) }
153153

154154
/** Gets the node corresponding to the field `name`. */
155-
final AstNode getName() { swift_as_expression_def(this, _, result, _) }
155+
final UnannotatedType getName() { swift_as_expression_def(this, _, result, _) }
156156

157157
/** Gets the node corresponding to the field `type`. */
158158
final AstNode getType(int i) { swift_as_expression_type(this, i, result) }
@@ -425,7 +425,7 @@ module Swift {
425425
final override string getAPrimaryQlClass() { result = "CheckExpression" }
426426

427427
/** Gets the node corresponding to the field `name`. */
428-
final AstNode getName() { swift_check_expression_def(this, result, _, _) }
428+
final UnannotatedType getName() { swift_check_expression_def(this, result, _, _) }
429429

430430
/** Gets the node corresponding to the field `op`. */
431431
final string getOp() {
@@ -741,7 +741,7 @@ module Swift {
741741
final AstNode getKey(int i) { swift_dictionary_type_key(this, i, result) }
742742

743743
/** Gets the node corresponding to the field `name`. */
744-
final AstNode getName(int i) { swift_dictionary_type_name(this, i, result) }
744+
final UnannotatedType getName(int i) { swift_dictionary_type_name(this, i, result) }
745745

746746
/** Gets the node corresponding to the field `value`. */
747747
final AstNode getValue(int i) { swift_dictionary_type_value(this, i, result) }
@@ -881,7 +881,7 @@ module Swift {
881881
final override string getAPrimaryQlClass() { result = "EnumTypeParameters" }
882882

883883
/** Gets the node corresponding to the field `name`. */
884-
final AstNode getName(int i) { swift_enum_type_parameters_name(this, i, result) }
884+
final UnannotatedType getName(int i) { swift_enum_type_parameters_name(this, i, result) }
885885

886886
/** Gets the `i`th child of this node. */
887887
final AstNode getChild(int i) { swift_enum_type_parameters_child(this, i, result) }
@@ -907,7 +907,7 @@ module Swift {
907907
final AstNode getMustEqual(int i) { swift_equality_constraint_must_equal(this, i, result) }
908908

909909
/** Gets the node corresponding to the field `name`. */
910-
final AstNode getName() { swift_equality_constraint_def(this, result) }
910+
final UnannotatedType getName() { swift_equality_constraint_def(this, result) }
911911

912912
/** Gets the `i`th child of this node. */
913913
final Attribute getChild(int i) { swift_equality_constraint_child(this, i, result) }
@@ -958,7 +958,7 @@ module Swift {
958958
final override string getAPrimaryQlClass() { result = "ExistentialType" }
959959

960960
/** Gets the child of this node. */
961-
final AstNode getChild() { swift_existential_type_def(this, result) }
961+
final UnannotatedType getChild() { swift_existential_type_def(this, result) }
962962

963963
/** Gets a field or child node of this node. */
964964
final override AstNode getAFieldOrChild() { swift_existential_type_def(this, result) }
@@ -1062,10 +1062,10 @@ module Swift {
10621062
final override string getAPrimaryQlClass() { result = "FunctionType" }
10631063

10641064
/** Gets the node corresponding to the field `name`. */
1065-
final AstNode getName() { swift_function_type_def(this, result, _) }
1065+
final UnannotatedType getName() { swift_function_type_def(this, result, _) }
10661066

10671067
/** Gets the node corresponding to the field `params`. */
1068-
final AstNode getParams() { swift_function_type_def(this, _, result) }
1068+
final UnannotatedType getParams() { swift_function_type_def(this, _, result) }
10691069

10701070
/** Gets the node corresponding to the field `return_type`. */
10711071
final AstNode getReturnType(int i) { swift_function_type_return_type(this, i, result) }
@@ -1141,7 +1141,7 @@ module Swift {
11411141
}
11421142

11431143
/** Gets the node corresponding to the field `name`. */
1144-
final AstNode getName() { swift_if_condition_name(this, result) }
1144+
final UnannotatedType getName() { swift_if_condition_name(this, result) }
11451145

11461146
/** Gets the `i`th child of this node. */
11471147
final AstNode getChild(int i) { swift_if_condition_child(this, i, result) }
@@ -1221,7 +1221,7 @@ module Swift {
12211221
}
12221222

12231223
/** Gets the node corresponding to the field `name`. */
1224-
final AstNode getName() { swift_inheritance_constraint_def(this, result) }
1224+
final UnannotatedType getName() { swift_inheritance_constraint_def(this, result) }
12251225

12261226
/** Gets the `i`th child of this node. */
12271227
final Attribute getChild(int i) { swift_inheritance_constraint_child(this, i, result) }
@@ -1346,7 +1346,7 @@ module Swift {
13461346
final override string getAPrimaryQlClass() { result = "LambdaFunctionType" }
13471347

13481348
/** Gets the node corresponding to the field `name`. */
1349-
final AstNode getName() { swift_lambda_function_type_name(this, result) }
1349+
final UnannotatedType getName() { swift_lambda_function_type_name(this, result) }
13501350

13511351
/** Gets the node corresponding to the field `return_type`. */
13521352
final AstNode getReturnType(int i) { swift_lambda_function_type_return_type(this, i, result) }
@@ -1512,7 +1512,7 @@ module Swift {
15121512
final override string getAPrimaryQlClass() { result = "Metatype" }
15131513

15141514
/** Gets the child of this node. */
1515-
final AstNode getChild() { swift_metatype_def(this, result) }
1515+
final UnannotatedType getChild() { swift_metatype_def(this, result) }
15161516

15171517
/** Gets a field or child node of this node. */
15181518
final override AstNode getAFieldOrChild() { swift_metatype_def(this, result) }
@@ -1673,7 +1673,7 @@ module Swift {
16731673
final override string getAPrimaryQlClass() { result = "OpaqueType" }
16741674

16751675
/** Gets the child of this node. */
1676-
final AstNode getChild() { swift_opaque_type_def(this, result) }
1676+
final UnannotatedType getChild() { swift_opaque_type_def(this, result) }
16771677

16781678
/** Gets a field or child node of this node. */
16791679
final override AstNode getAFieldOrChild() { swift_opaque_type_def(this, result) }
@@ -1800,7 +1800,7 @@ module Swift {
18001800
final SimpleIdentifier getBoundIdentifier() { swift_pattern_bound_identifier(this, result) }
18011801

18021802
/** Gets the node corresponding to the field `name`. */
1803-
final AstNode getName() { swift_pattern_name(this, result) }
1803+
final UnannotatedType getName() { swift_pattern_name(this, result) }
18041804

18051805
/** Gets the `i`th child of this node. */
18061806
final AstNode getChild(int i) { swift_pattern_child(this, i, result) }
@@ -1966,7 +1966,7 @@ module Swift {
19661966
final override string getAPrimaryQlClass() { result = "ProtocolCompositionType" }
19671967

19681968
/** Gets the `i`th child of this node. */
1969-
final AstNode getChild(int i) { swift_protocol_composition_type_child(this, i, result) }
1969+
final UnannotatedType getChild(int i) { swift_protocol_composition_type_child(this, i, result) }
19701970

19711971
/** Gets a field or child node of this node. */
19721972
final override AstNode getAFieldOrChild() {
@@ -2301,7 +2301,7 @@ module Swift {
23012301
}
23022302

23032303
/** Gets the node corresponding to the field `name`. */
2304-
final AstNode getName() { swift_subscript_declaration_name(this, result) }
2304+
final UnannotatedType getName() { swift_subscript_declaration_name(this, result) }
23052305

23062306
/** Gets the node corresponding to the field `return_type`. */
23072307
final AstNode getReturnType(int i) { swift_subscript_declaration_return_type(this, i, result) }
@@ -2417,7 +2417,7 @@ module Swift {
24172417
final override string getAPrimaryQlClass() { result = "ThrowsClause" }
24182418

24192419
/** Gets the node corresponding to the field `type`. */
2420-
final AstNode getType() { swift_throws_clause_def(this, result) }
2420+
final UnannotatedType getType() { swift_throws_clause_def(this, result) }
24212421

24222422
/** Gets a field or child node of this node. */
24232423
final override AstNode getAFieldOrChild() { swift_throws_clause_def(this, result) }
@@ -2512,7 +2512,7 @@ module Swift {
25122512
final override string getAPrimaryQlClass() { result = "TypeAnnotation" }
25132513

25142514
/** Gets the node corresponding to the field `name`. */
2515-
final AstNode getName() { swift_type_annotation_def(this, result) }
2515+
final UnannotatedType getName() { swift_type_annotation_def(this, result) }
25162516

25172517
/** Gets the node corresponding to the field `type`. */
25182518
final AstNode getType(int i) { swift_type_annotation_type(this, i, result) }
@@ -2529,7 +2529,7 @@ module Swift {
25292529
final override string getAPrimaryQlClass() { result = "TypeArguments" }
25302530

25312531
/** Gets the node corresponding to the field `name`. */
2532-
final AstNode getName(int i) { swift_type_arguments_name(this, i, result) }
2532+
final UnannotatedType getName(int i) { swift_type_arguments_name(this, i, result) }
25332533

25342534
/** Gets the `i`th child of this node. */
25352535
final TypeModifiers getChild(int i) { swift_type_arguments_child(this, i, result) }
@@ -2588,7 +2588,7 @@ module Swift {
25882588
final override string getAPrimaryQlClass() { result = "TypePackExpansion" }
25892589

25902590
/** Gets the child of this node. */
2591-
final AstNode getChild() { swift_type_pack_expansion_def(this, result) }
2591+
final UnannotatedType getChild() { swift_type_pack_expansion_def(this, result) }
25922592

25932593
/** Gets a field or child node of this node. */
25942594
final override AstNode getAFieldOrChild() { swift_type_pack_expansion_def(this, result) }
@@ -2600,7 +2600,7 @@ module Swift {
26002600
final override string getAPrimaryQlClass() { result = "TypeParameter" }
26012601

26022602
/** Gets the node corresponding to the field `name`. */
2603-
final AstNode getName() { swift_type_parameter_name(this, result) }
2603+
final UnannotatedType getName() { swift_type_parameter_name(this, result) }
26042604

26052605
/** Gets the `i`th child of this node. */
26062606
final AstNode getChild(int i) { swift_type_parameter_child(this, i, result) }
@@ -2631,7 +2631,7 @@ module Swift {
26312631
final override string getAPrimaryQlClass() { result = "TypeParameterPack" }
26322632

26332633
/** Gets the child of this node. */
2634-
final AstNode getChild() { swift_type_parameter_pack_def(this, result) }
2634+
final UnannotatedType getChild() { swift_type_parameter_pack_def(this, result) }
26352635

26362636
/** Gets a field or child node of this node. */
26372637
final override AstNode getAFieldOrChild() { swift_type_parameter_pack_def(this, result) }
@@ -2671,6 +2671,8 @@ module Swift {
26712671
}
26722672
}
26732673

2674+
class UnannotatedType extends @swift_unannotated_type, AstNode { }
2675+
26742676
/** A class representing `user_type` nodes. */
26752677
class UserType extends @swift_user_type, AstNode {
26762678
/** Gets the name of the primary QL class for this element. */

0 commit comments

Comments
 (0)