Skip to content

Commit b0e7313

Browse files
asgerfasgerf
committed
unified: Regenerate QL
1 parent 02c3c0c commit b0e7313

2 files changed

Lines changed: 2 additions & 68 deletions

File tree

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

Lines changed: 0 additions & 53 deletions
Original file line numberDiff line numberDiff line change
@@ -183,23 +183,6 @@ module Unified {
183183
final override F::AstNode getAFieldOrChild() { unified_array_literal_element(this, _, result) }
184184
}
185185

186-
/** A class representing `assign_expr` nodes. */
187-
class AssignExpr extends @unified_assign_expr, F::Expr {
188-
/** Gets the name of the primary QL class for this element. */
189-
final override string getAPrimaryQlClass() { result = "AssignExpr" }
190-
191-
/** Gets the node corresponding to the field `target`. */
192-
final F::Expr getTarget() { unified_assign_expr_def(this, result, _) }
193-
194-
/** Gets the node corresponding to the field `value`. */
195-
final F::Expr getValue() { unified_assign_expr_def(this, _, result) }
196-
197-
/** Gets a field or child node of this node. */
198-
final override F::AstNode getAFieldOrChild() {
199-
unified_assign_expr_def(this, result, _) or unified_assign_expr_def(this, _, result)
200-
}
201-
}
202-
203186
/** A class representing `associated_type_declaration` nodes. */
204187
class AssociatedTypeDeclaration extends @unified_associated_type_declaration, F::Member {
205188
/** Gets the name of the primary QL class for this element. */
@@ -468,28 +451,6 @@ module Unified {
468451
}
469452
}
470453

471-
/** A class representing `compound_assign_expr` nodes. */
472-
class CompoundAssignExpr extends @unified_compound_assign_expr, F::Expr {
473-
/** Gets the name of the primary QL class for this element. */
474-
final override string getAPrimaryQlClass() { result = "CompoundAssignExpr" }
475-
476-
/** Gets the node corresponding to the field `operator`. */
477-
final F::InfixOperator getOperator() { unified_compound_assign_expr_def(this, result, _, _) }
478-
479-
/** Gets the node corresponding to the field `target`. */
480-
final F::Expr getTarget() { unified_compound_assign_expr_def(this, _, result, _) }
481-
482-
/** Gets the node corresponding to the field `value`. */
483-
final F::Expr getValue() { unified_compound_assign_expr_def(this, _, _, result) }
484-
485-
/** Gets a field or child node of this node. */
486-
final override F::AstNode getAFieldOrChild() {
487-
unified_compound_assign_expr_def(this, result, _, _) or
488-
unified_compound_assign_expr_def(this, _, result, _) or
489-
unified_compound_assign_expr_def(this, _, _, result)
490-
}
491-
}
492-
493454
/** A class representing `conditional_pattern` nodes. */
494455
class ConditionalPattern extends @unified_conditional_pattern, F::Expr {
495456
/** Gets the name of the primary QL class for this element. */
@@ -1576,10 +1537,6 @@ module Unified {
15761537
or
15771538
result = node.(ArrayLiteral).getElement(i) and name = "getElement"
15781539
or
1579-
result = node.(AssignExpr).getTarget() and i = -1 and name = "getTarget"
1580-
or
1581-
result = node.(AssignExpr).getValue() and i = -1 and name = "getValue"
1582-
or
15831540
result = node.(AssociatedTypeDeclaration).getBound() and i = -1 and name = "getBound"
15841541
or
15851542
result = node.(AssociatedTypeDeclaration).getModifier(i) and name = "getModifier"
@@ -1634,12 +1591,6 @@ module Unified {
16341591
or
16351592
result = node.(ClassLikeDeclaration).getTypeParameter(i) and name = "getTypeParameter"
16361593
or
1637-
result = node.(CompoundAssignExpr).getOperator() and i = -1 and name = "getOperator"
1638-
or
1639-
result = node.(CompoundAssignExpr).getTarget() and i = -1 and name = "getTarget"
1640-
or
1641-
result = node.(CompoundAssignExpr).getValue() and i = -1 and name = "getValue"
1642-
or
16431594
result = node.(ConditionalPattern).getCondition() and i = -1 and name = "getCondition"
16441595
or
16451596
result = node.(ConditionalPattern).getModifier(i) and name = "getModifier"
@@ -1879,8 +1830,6 @@ module UnifiedFinal {
18791830

18801831
final class ArrayLiteral = F::ArrayLiteral;
18811832

1882-
final class AssignExpr = F::AssignExpr;
1883-
18841833
final class AssociatedTypeDeclaration = F::AssociatedTypeDeclaration;
18851834

18861835
final class BaseType = F::BaseType;
@@ -1907,8 +1856,6 @@ module UnifiedFinal {
19071856

19081857
final class ClassLikeDeclaration = F::ClassLikeDeclaration;
19091858

1910-
final class CompoundAssignExpr = F::CompoundAssignExpr;
1911-
19121859
final class ConditionalPattern = F::ConditionalPattern;
19131860

19141861
final class ConstructorDeclaration = F::ConstructorDeclaration;

‎unified/ql/lib/unified.dbscheme‎

Lines changed: 2 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -194,12 +194,6 @@ unified_array_literal_def(
194194
unique int id: @unified_array_literal
195195
);
196196

197-
unified_assign_expr_def(
198-
unique int id: @unified_assign_expr,
199-
int target: @unified_expr ref,
200-
int value: @unified_expr ref
201-
);
202-
203197
unified_associated_type_declaration_bound(
204198
unique int unified_associated_type_declaration: @unified_associated_type_declaration ref,
205199
unique int bound: @unified_expr ref
@@ -360,13 +354,6 @@ unified_class_like_declaration_def(
360354
unique int id: @unified_class_like_declaration
361355
);
362356

363-
unified_compound_assign_expr_def(
364-
unique int id: @unified_compound_assign_expr,
365-
int operator: @unified_token_infix_operator ref,
366-
int target: @unified_expr ref,
367-
int value: @unified_expr ref
368-
);
369-
370357
#keyset[unified_conditional_pattern, index]
371358
unified_conditional_pattern_modifier(
372359
int unified_conditional_pattern: @unified_conditional_pattern ref,
@@ -448,7 +435,7 @@ unified_equality_type_constraint_def(
448435
int right: @unified_expr ref
449436
);
450437

451-
@unified_expr = @unified_array_literal | @unified_assign_expr | @unified_binary_expr | @unified_block | @unified_break_expr | @unified_bulk_importing_pattern | @unified_call_expr | @unified_compound_assign_expr | @unified_conditional_pattern | @unified_continue_expr | @unified_expr_pattern | @unified_function_expr | @unified_generic_type_expr | @unified_if_expr | @unified_key_value_pair | @unified_map_literal | @unified_member_access_expr | @unified_named_pattern | @unified_or_pattern | @unified_pattern_guard_expr | @unified_return_expr | @unified_string_interpolation_expr | @unified_switch_expr | @unified_throw_expr | @unified_token_boolean_literal | @unified_token_builtin_expr | @unified_token_empty_expr | @unified_token_float_literal | @unified_token_identifier | @unified_token_inferred_type_expr | @unified_token_int_literal | @unified_token_regex_literal | @unified_token_string_literal | @unified_token_super_expr | @unified_token_unsupported_node | @unified_try_expr | @unified_tuple_expr | @unified_type_cast_expr | @unified_type_test_expr | @unified_unary_expr | @unified_unresolved_operator_sequence
438+
@unified_expr = @unified_array_literal | @unified_binary_expr | @unified_block | @unified_break_expr | @unified_bulk_importing_pattern | @unified_call_expr | @unified_conditional_pattern | @unified_continue_expr | @unified_expr_pattern | @unified_function_expr | @unified_generic_type_expr | @unified_if_expr | @unified_key_value_pair | @unified_map_literal | @unified_member_access_expr | @unified_named_pattern | @unified_or_pattern | @unified_pattern_guard_expr | @unified_return_expr | @unified_string_interpolation_expr | @unified_switch_expr | @unified_throw_expr | @unified_token_boolean_literal | @unified_token_builtin_expr | @unified_token_empty_expr | @unified_token_float_literal | @unified_token_identifier | @unified_token_inferred_type_expr | @unified_token_int_literal | @unified_token_regex_literal | @unified_token_string_literal | @unified_token_super_expr | @unified_token_unsupported_node | @unified_try_expr | @unified_tuple_expr | @unified_type_cast_expr | @unified_type_test_expr | @unified_unary_expr | @unified_unresolved_operator_sequence
452439

453440
@unified_expr_or_operator = @unified_expr | @unified_token_infix_operator
454441

@@ -1012,7 +999,7 @@ unified_trivia_tokeninfo(
1012999
string value: string ref
10131000
);
10141001

1015-
@unified_ast_node = @unified_accessor_declaration | @unified_argument | @unified_array_literal | @unified_assign_expr | @unified_associated_type_declaration | @unified_base_type | @unified_binary_expr | @unified_block | @unified_bound_type_constraint | @unified_break_expr | @unified_bulk_importing_pattern | @unified_call_expr | @unified_catch_clause | @unified_class_like_declaration | @unified_compound_assign_expr | @unified_conditional_pattern | @unified_constructor_declaration | @unified_continue_expr | @unified_destructor_declaration | @unified_do_while_stmt | @unified_equality_type_constraint | @unified_expr_pattern | @unified_for_each_stmt | @unified_function_declaration | @unified_function_expr | @unified_generic_type_expr | @unified_guard_if_stmt | @unified_if_expr | @unified_import_declaration | @unified_initializer_declaration | @unified_key_value_pair | @unified_labeled_stmt | @unified_map_literal | @unified_member_access_expr | @unified_named_pattern | @unified_operator_syntax_declaration | @unified_or_pattern | @unified_parameter | @unified_pattern_guard_expr | @unified_return_expr | @unified_string_interpolation_expr | @unified_switch_case | @unified_switch_expr | @unified_throw_expr | @unified_token | @unified_top_level | @unified_trivia_token | @unified_try_expr | @unified_tuple_expr | @unified_type_alias_declaration | @unified_type_cast_expr | @unified_type_parameter | @unified_type_test_expr | @unified_unary_expr | @unified_unresolved_operator_sequence | @unified_variable_declaration | @unified_while_stmt
1002+
@unified_ast_node = @unified_accessor_declaration | @unified_argument | @unified_array_literal | @unified_associated_type_declaration | @unified_base_type | @unified_binary_expr | @unified_block | @unified_bound_type_constraint | @unified_break_expr | @unified_bulk_importing_pattern | @unified_call_expr | @unified_catch_clause | @unified_class_like_declaration | @unified_conditional_pattern | @unified_constructor_declaration | @unified_continue_expr | @unified_destructor_declaration | @unified_do_while_stmt | @unified_equality_type_constraint | @unified_expr_pattern | @unified_for_each_stmt | @unified_function_declaration | @unified_function_expr | @unified_generic_type_expr | @unified_guard_if_stmt | @unified_if_expr | @unified_import_declaration | @unified_initializer_declaration | @unified_key_value_pair | @unified_labeled_stmt | @unified_map_literal | @unified_member_access_expr | @unified_named_pattern | @unified_operator_syntax_declaration | @unified_or_pattern | @unified_parameter | @unified_pattern_guard_expr | @unified_return_expr | @unified_string_interpolation_expr | @unified_switch_case | @unified_switch_expr | @unified_throw_expr | @unified_token | @unified_top_level | @unified_trivia_token | @unified_try_expr | @unified_tuple_expr | @unified_type_alias_declaration | @unified_type_cast_expr | @unified_type_parameter | @unified_type_test_expr | @unified_unary_expr | @unified_unresolved_operator_sequence | @unified_variable_declaration | @unified_while_stmt
10161003

10171004
unified_ast_node_location(
10181005
unique int node: @unified_ast_node ref,

0 commit comments

Comments
 (0)