Simplify 'select_value' rule

Upstream has greatly simplified the parsing of `select` expressions, in
order to add multi-valued `select`.

To this end, we remove the hard-coded list of function names, and accept
an arbitrary number of arguments.
This commit is contained in:
Bruno BELANYI 2024-04-23 14:47:14 +00:00
parent 8137fd3e5b
commit 1c1387fee0
5 changed files with 1375 additions and 2935 deletions

View file

@ -121,33 +121,16 @@ module.exports = grammar({
select_expression: ($) => seq( select_expression: ($) => seq(
"select", "select",
"(", "(",
choice($.select_value, $.soong_config_variable), $.select_value,
",", ",",
$.select_cases, $.select_cases,
")", ")",
), ),
select_value: ($) => seq( select_value: ($) => seq(
field("type", alias( field("type", alias($.identifier, $.selection_type)),
choice("product_variable", "release_variable", "variant"),
$.selection_type,
)),
"(", "(",
field("condition", $._string_literal), field("condition", optional(commaSeparated($._string_literal))),
")",
),
soong_config_variable: ($) => seq(
field("type", alias("soong_config_variable", $.selection_type)),
"(",
field(
"condition",
seq(
field("namespace", $._string_literal),
",",
field("variable", $._string_literal),
),
),
")", ")",
), ),

110
src/grammar.json generated
View file

@ -468,19 +468,10 @@
"type": "STRING", "type": "STRING",
"value": "(" "value": "("
}, },
{
"type": "CHOICE",
"members": [
{ {
"type": "SYMBOL", "type": "SYMBOL",
"name": "select_value" "name": "select_value"
}, },
{
"type": "SYMBOL",
"name": "soong_config_variable"
}
]
},
{ {
"type": "STRING", "type": "STRING",
"value": "," "value": ","
@ -503,90 +494,63 @@
"name": "type", "name": "type",
"content": { "content": {
"type": "ALIAS", "type": "ALIAS",
"content": {
"type": "SYMBOL",
"name": "identifier"
},
"named": true,
"value": "selection_type"
}
},
{
"type": "STRING",
"value": "("
},
{
"type": "FIELD",
"name": "condition",
"content": { "content": {
"type": "CHOICE", "type": "CHOICE",
"members": [ "members": [
{ {
"type": "STRING",
"value": "product_variable"
},
{
"type": "STRING",
"value": "release_variable"
},
{
"type": "STRING",
"value": "variant"
}
]
},
"named": true,
"value": "selection_type"
}
},
{
"type": "STRING",
"value": "("
},
{
"type": "FIELD",
"name": "condition",
"content": {
"type": "SYMBOL",
"name": "_string_literal"
}
},
{
"type": "STRING",
"value": ")"
}
]
},
"soong_config_variable": {
"type": "SEQ", "type": "SEQ",
"members": [ "members": [
{ {
"type": "FIELD", "type": "SYMBOL",
"name": "type", "name": "_string_literal"
"content": {
"type": "ALIAS",
"content": {
"type": "STRING",
"value": "soong_config_variable"
},
"named": true,
"value": "selection_type"
}
}, },
{ {
"type": "STRING", "type": "REPEAT",
"value": "("
},
{
"type": "FIELD",
"name": "condition",
"content": { "content": {
"type": "SEQ", "type": "SEQ",
"members": [ "members": [
{
"type": "FIELD",
"name": "namespace",
"content": {
"type": "SYMBOL",
"name": "_string_literal"
}
},
{ {
"type": "STRING", "type": "STRING",
"value": "," "value": ","
}, },
{ {
"type": "FIELD",
"name": "variable",
"content": {
"type": "SYMBOL", "type": "SYMBOL",
"name": "_string_literal" "name": "_string_literal"
} }
]
}
},
{
"type": "CHOICE",
"members": [
{
"type": "STRING",
"value": ","
},
{
"type": "BLANK"
}
]
}
]
},
{
"type": "BLANK"
} }
] ]
} }

58
src/node-types.json generated
View file

@ -445,10 +445,6 @@
{ {
"type": "select_value", "type": "select_value",
"named": true "named": true
},
{
"type": "soong_config_variable",
"named": true
} }
] ]
} }
@ -458,49 +454,13 @@
"named": true, "named": true,
"fields": { "fields": {
"condition": { "condition": {
"multiple": false, "multiple": true,
"required": true, "required": false,
"types": [
{
"type": "interpreted_string_literal",
"named": true
},
{
"type": "raw_string_literal",
"named": true
}
]
},
"type": {
"multiple": false,
"required": true,
"types": [
{
"type": "selection_type",
"named": true
}
]
}
}
},
{
"type": "soong_config_variable",
"named": true,
"fields": {
"condition": {
"multiple": false,
"required": true,
"types": [ "types": [
{ {
"type": ",", "type": ",",
"named": false "named": false
}
]
}, },
"namespace": {
"multiple": false,
"required": true,
"types": [
{ {
"type": "interpreted_string_literal", "type": "interpreted_string_literal",
"named": true "named": true
@ -520,20 +480,6 @@
"named": true "named": true
} }
] ]
},
"variable": {
"multiple": false,
"required": true,
"types": [
{
"type": "interpreted_string_literal",
"named": true
},
{
"type": "raw_string_literal",
"named": true
}
]
} }
} }
}, },

4082
src/parser.c generated

File diff suppressed because it is too large Load diff

View file

@ -41,7 +41,7 @@ foo = select(soong_config_variable("my_namespace", "my_var"), {
(identifier) (identifier)
(operator) (operator)
(select_expression (select_expression
(soong_config_variable (select_value
(selection_type) (selection_type)
(interpreted_string_literal) (interpreted_string_literal)
(interpreted_string_literal)) (interpreted_string_literal))
@ -162,8 +162,7 @@ foo = select(variant(), {
(operator) (operator)
(select_expression (select_expression
(select_value (select_value
(selection_type) (selection_type))
(MISSING raw_string_literal))
(select_cases (select_cases
(select_case (select_case
(interpreted_string_literal) (interpreted_string_literal)
@ -187,14 +186,17 @@ foo = select(some_unknown_type("CONDITION"), {
(assignment (assignment
(identifier) (identifier)
(operator) (operator)
(ERROR (select_expression
(identifier) (select_value
(identifier) (selection_type)
(interpreted_string_literal)
(interpreted_string_literal)
(default))
(interpreted_string_literal)) (interpreted_string_literal))
(ERROR)) (select_cases
(select_case
(interpreted_string_literal)
(interpreted_string_literal))
(select_case
(default)
(interpreted_string_literal))))))
================================================================================ ================================================================================
Select (multiple type arguments) Select (multiple type arguments)
@ -214,8 +216,7 @@ foo = select(release_variable("ONE", "TWO"), {
(select_expression (select_expression
(select_value (select_value
(selection_type) (selection_type)
(ERROR (interpreted_string_literal)
(interpreted_string_literal))
(interpreted_string_literal)) (interpreted_string_literal))
(select_cases (select_cases
(select_case (select_case