Skip to content

Commit a2adf26

Browse files
tausbntausbn
committed
unified: regenerate files
1 parent 752b780 commit a2adf26

2 files changed

Lines changed: 33 additions & 13 deletions

File tree

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

Lines changed: 16 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1097,17 +1097,30 @@ module Swift {
10971097
/** Gets the name of the primary QL class for this element. */
10981098
final override string getAPrimaryQlClass() { result = "IfCondition" }
10991099

1100+
/** Gets the child of this node. */
1101+
final AstNode getChild() { swift_if_condition_def(this, result) }
1102+
1103+
/** Gets a field or child node of this node. */
1104+
final override AstNode getAFieldOrChild() { swift_if_condition_def(this, result) }
1105+
}
1106+
1107+
/** A class representing `if_let_binding` nodes. */
1108+
class IfLetBinding extends @swift_if_let_binding, AstNode {
1109+
/** Gets the name of the primary QL class for this element. */
1110+
final override string getAPrimaryQlClass() { result = "IfLetBinding" }
1111+
11001112
/** Gets the node corresponding to the field `bound_identifier`. */
11011113
final SimpleIdentifier getBoundIdentifier() {
1102-
swift_if_condition_bound_identifier(this, result)
1114+
swift_if_let_binding_bound_identifier(this, result)
11031115
}
11041116

11051117
/** Gets the `i`th child of this node. */
1106-
final AstNode getChild(int i) { swift_if_condition_child(this, i, result) }
1118+
final AstNode getChild(int i) { swift_if_let_binding_child(this, i, result) }
11071119

11081120
/** Gets a field or child node of this node. */
11091121
final override AstNode getAFieldOrChild() {
1110-
swift_if_condition_bound_identifier(this, result) or swift_if_condition_child(this, _, result)
1122+
swift_if_let_binding_bound_identifier(this, result) or
1123+
swift_if_let_binding_child(this, _, result)
11111124
}
11121125
}
11131126

‎unified/ql/lib/unified.dbscheme‎

Lines changed: 17 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -836,22 +836,29 @@ swift_identifier_def(
836836
unique int id: @swift_identifier
837837
);
838838

839-
swift_if_condition_bound_identifier(
840-
unique int swift_if_condition: @swift_if_condition ref,
839+
@swift_if_condition_child_type = @swift_availability_condition | @swift_expression | @swift_if_let_binding
840+
841+
swift_if_condition_def(
842+
unique int id: @swift_if_condition,
843+
int child: @swift_if_condition_child_type ref
844+
);
845+
846+
swift_if_let_binding_bound_identifier(
847+
unique int swift_if_let_binding: @swift_if_let_binding ref,
841848
unique int bound_identifier: @swift_token_simple_identifier ref
842849
);
843850

844-
@swift_if_condition_child_type = @swift_availability_condition | @swift_expression | @swift_pattern | @swift_token_wildcard_pattern | @swift_type__ | @swift_type_annotation | @swift_user_type | @swift_value_binding_pattern | @swift_where_clause
851+
@swift_if_let_binding_child_type = @swift_expression | @swift_pattern | @swift_token_wildcard_pattern | @swift_type__ | @swift_type_annotation | @swift_user_type | @swift_value_binding_pattern | @swift_where_clause
845852

846-
#keyset[swift_if_condition, index]
847-
swift_if_condition_child(
848-
int swift_if_condition: @swift_if_condition ref,
853+
#keyset[swift_if_let_binding, index]
854+
swift_if_let_binding_child(
855+
int swift_if_let_binding: @swift_if_let_binding ref,
849856
int index: int ref,
850-
unique int child: @swift_if_condition_child_type ref
857+
unique int child: @swift_if_let_binding_child_type ref
851858
);
852859

853-
swift_if_condition_def(
854-
unique int id: @swift_if_condition
860+
swift_if_let_binding_def(
861+
unique int id: @swift_if_let_binding
855862
);
856863

857864
#keyset[swift_if_statement, index]
@@ -2110,7 +2117,7 @@ case @swift_token.kind of
21102117
;
21112118

21122119

2113-
@swift_ast_node = @swift_additive_expression | @swift_array_literal | @swift_array_type | @swift_as_expression | @swift_assignment | @swift_associatedtype_declaration | @swift_attribute | @swift_availability_condition | @swift_await_expression | @swift_bitwise_operation | @swift_call_expression | @swift_call_suffix | @swift_capture_list | @swift_capture_list_item | @swift_catch_block | @swift_check_expression | @swift_class_body | @swift_class_declaration | @swift_comparison_expression | @swift_computed_getter | @swift_computed_modify | @swift_computed_property | @swift_computed_setter | @swift_conjunction_expression | @swift_constructor_expression | @swift_constructor_suffix | @swift_control_transfer_statement | @swift_deinit_declaration | @swift_deprecated_operator_declaration_body | @swift_dictionary_literal | @swift_dictionary_type | @swift_didset_clause | @swift_directive | @swift_directly_assignable_expression | @swift_disjunction_expression | @swift_do_statement | @swift_enum_class_body | @swift_enum_entry | @swift_enum_type_parameters | @swift_equality_constraint | @swift_equality_expression | @swift_existential_type | @swift_external_macro_definition | @swift_for_statement | @swift_function_body | @swift_function_declaration | @swift_function_type | @swift_getter_specifier | @swift_guard_statement | @swift_identifier | @swift_if_condition | @swift_if_statement | @swift_implicitly_unwrapped_type | @swift_import_declaration | @swift_infix_expression | @swift_inheritance_constraint | @swift_inheritance_specifier | @swift_init_declaration | @swift_interpolated_expression | @swift_key_path_expression | @swift_key_path_string_expression | @swift_lambda_function_type | @swift_lambda_function_type_parameters | @swift_lambda_literal | @swift_lambda_parameter | @swift_line_string_literal | @swift_macro_declaration | @swift_macro_definition | @swift_macro_invocation | @swift_metatype | @swift_modifiers | @swift_modify_specifier | @swift_multi_line_string_literal | @swift_multiplicative_expression | @swift_navigation_expression | @swift_navigation_suffix | @swift_nested_type_identifier | @swift_nil_coalescing_expression | @swift_opaque_type | @swift_open_end_range_expression | @swift_open_start_range_expression | @swift_operator_declaration | @swift_optional_chain_marker | @swift_optional_type | @swift_parameter | @swift_parameter_modifiers | @swift_pattern | @swift_playground_literal | @swift_postfix_expression | @swift_precedence_group_attribute | @swift_precedence_group_attributes | @swift_precedence_group_declaration | @swift_prefix_expression | @swift_property_declaration | @swift_protocol_body | @swift_protocol_composition_type | @swift_protocol_declaration | @swift_protocol_function_declaration | @swift_protocol_property_declaration | @swift_protocol_property_requirements | @swift_range_expression | @swift_raw_str_interpolation | @swift_raw_string_literal | @swift_referenceable_operator | @swift_repeat_while_statement | @swift_selector_expression | @swift_setter_specifier | @swift_source_file | @swift_statements | @swift_subscript_declaration | @swift_suppressed_constraint | @swift_switch_entry | @swift_switch_pattern | @swift_switch_statement | @swift_ternary_expression | @swift_throws_clause | @swift_token | @swift_try_expression | @swift_tuple_expression | @swift_tuple_type | @swift_tuple_type_item | @swift_type__ | @swift_type_annotation | @swift_type_arguments | @swift_type_constraint | @swift_type_constraints | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter | @swift_type_parameter_modifiers | @swift_type_parameter_pack | @swift_type_parameters | @swift_typealias_declaration | @swift_user_type | @swift_value_argument | @swift_value_argument_label | @swift_value_arguments | @swift_value_binding_pattern | @swift_value_pack_expansion | @swift_value_parameter_pack | @swift_where_clause | @swift_while_statement | @swift_willset_clause | @swift_willset_didset_block
2120+
@swift_ast_node = @swift_additive_expression | @swift_array_literal | @swift_array_type | @swift_as_expression | @swift_assignment | @swift_associatedtype_declaration | @swift_attribute | @swift_availability_condition | @swift_await_expression | @swift_bitwise_operation | @swift_call_expression | @swift_call_suffix | @swift_capture_list | @swift_capture_list_item | @swift_catch_block | @swift_check_expression | @swift_class_body | @swift_class_declaration | @swift_comparison_expression | @swift_computed_getter | @swift_computed_modify | @swift_computed_property | @swift_computed_setter | @swift_conjunction_expression | @swift_constructor_expression | @swift_constructor_suffix | @swift_control_transfer_statement | @swift_deinit_declaration | @swift_deprecated_operator_declaration_body | @swift_dictionary_literal | @swift_dictionary_type | @swift_didset_clause | @swift_directive | @swift_directly_assignable_expression | @swift_disjunction_expression | @swift_do_statement | @swift_enum_class_body | @swift_enum_entry | @swift_enum_type_parameters | @swift_equality_constraint | @swift_equality_expression | @swift_existential_type | @swift_external_macro_definition | @swift_for_statement | @swift_function_body | @swift_function_declaration | @swift_function_type | @swift_getter_specifier | @swift_guard_statement | @swift_identifier | @swift_if_condition | @swift_if_let_binding | @swift_if_statement | @swift_implicitly_unwrapped_type | @swift_import_declaration | @swift_infix_expression | @swift_inheritance_constraint | @swift_inheritance_specifier | @swift_init_declaration | @swift_interpolated_expression | @swift_key_path_expression | @swift_key_path_string_expression | @swift_lambda_function_type | @swift_lambda_function_type_parameters | @swift_lambda_literal | @swift_lambda_parameter | @swift_line_string_literal | @swift_macro_declaration | @swift_macro_definition | @swift_macro_invocation | @swift_metatype | @swift_modifiers | @swift_modify_specifier | @swift_multi_line_string_literal | @swift_multiplicative_expression | @swift_navigation_expression | @swift_navigation_suffix | @swift_nested_type_identifier | @swift_nil_coalescing_expression | @swift_opaque_type | @swift_open_end_range_expression | @swift_open_start_range_expression | @swift_operator_declaration | @swift_optional_chain_marker | @swift_optional_type | @swift_parameter | @swift_parameter_modifiers | @swift_pattern | @swift_playground_literal | @swift_postfix_expression | @swift_precedence_group_attribute | @swift_precedence_group_attributes | @swift_precedence_group_declaration | @swift_prefix_expression | @swift_property_declaration | @swift_protocol_body | @swift_protocol_composition_type | @swift_protocol_declaration | @swift_protocol_function_declaration | @swift_protocol_property_declaration | @swift_protocol_property_requirements | @swift_range_expression | @swift_raw_str_interpolation | @swift_raw_string_literal | @swift_referenceable_operator | @swift_repeat_while_statement | @swift_selector_expression | @swift_setter_specifier | @swift_source_file | @swift_statements | @swift_subscript_declaration | @swift_suppressed_constraint | @swift_switch_entry | @swift_switch_pattern | @swift_switch_statement | @swift_ternary_expression | @swift_throws_clause | @swift_token | @swift_try_expression | @swift_tuple_expression | @swift_tuple_type | @swift_tuple_type_item | @swift_type__ | @swift_type_annotation | @swift_type_arguments | @swift_type_constraint | @swift_type_constraints | @swift_type_modifiers | @swift_type_pack_expansion | @swift_type_parameter | @swift_type_parameter_modifiers | @swift_type_parameter_pack | @swift_type_parameters | @swift_typealias_declaration | @swift_user_type | @swift_value_argument | @swift_value_argument_label | @swift_value_arguments | @swift_value_binding_pattern | @swift_value_pack_expansion | @swift_value_parameter_pack | @swift_where_clause | @swift_while_statement | @swift_willset_clause | @swift_willset_didset_block
21142121

21152122
swift_ast_node_location(
21162123
unique int node: @swift_ast_node ref,

0 commit comments

Comments
 (0)