diff options
Diffstat (limited to 'rules/test/RULES')
| -rw-r--r-- | rules/test/RULES | 182 |
1 files changed, 182 insertions, 0 deletions
diff --git a/rules/test/RULES b/rules/test/RULES new file mode 100644 index 0000000..3aec6e1 --- /dev/null +++ b/rules/test/RULES @@ -0,0 +1,182 @@ +{ "suite": + { "doc": + [ "Form a compound target out of many test targets." + , "" + , "More precisely, take the runfiles of the given \"deps\", take their" + , "disjoint union and stage the result. Also propagate relevant" + , "providers." + ] + , "tainted": ["test"] + , "target_fields": ["deps"] + , "string_fields": ["stage"] + , "field_doc": + { "deps": ["The targets that suite is composed of."] + , "stage": + [ "The logical location this test suite is to be placed." + , "Individual entries will be joined with \"/\"." + ] + } + , "artifacts_doc": + [ "The disjoint union of the runfiles of the \"deps\" targets" + , "staged as the location given by \"stage\"." + ] + , "runfiles_doc": ["Same as artifacts."] + , "imports": + { "runfiles": ["", "field_runfiles"] + , "list_provider": ["", "field_list_provider"] + } + , "expression": + { "type": "let*" + , "bindings": + [ ["fieldname", "deps"] + , ["runfiles", {"type": "CALL_EXPRESSION", "name": "runfiles"}] + , [ "stage" + , { "type": "join" + , "separator": "/" + , "$1": {"type": "FIELD", "name": "stage"} + } + ] + , [ "staged results" + , { "type": "to_subdir" + , "subdir": {"type": "var", "name": "stage"} + , "$1": {"type": "var", "name": "runfiles"} + } + ] + , ["provider", "lint"] + , ["lint", {"type": "CALL_EXPRESSION", "name": "list_provider"}] + , ["lint", {"type": "nub_right", "$1": {"type": "var", "name": "lint"}}] + ] + , "body": + { "type": "RESULT" + , "artifacts": {"type": "var", "name": "staged results"} + , "runfiles": {"type": "var", "name": "staged results"} + , "provides": {"type": "env", "vars": ["lint"]} + } + } + } +, "matrix": + { "doc": + [ "Given a group of tests, build them in a variety of configurations." + , "" + , "The configuration variable TEST_MATRIX is expected to be a map with" + , "each value being a map itself. Sequentially for each key, all possible" + , "values of the associated map are tried and staged to the appropriate" + , "key. Thus, the tests in \"deps\" are built in an exponential number of" + , "configurations." + , "" + , "If TEST_MATRIX is unset, {} will be assumed, i.e., all the \"deps\" will" + , "be built precisely once, in the current configuration. In this way," + , "the \"matrix\" rule can be used instead of the \"suite\" rule to allow" + , "user-defined configuration matrices, dispatching over parameters for" + , "dependencies (e.g., the toolchain)." + ] + , "tainted": ["test"] + , "config_vars": ["TEST_MATRIX"] + , "target_fields": ["deps"] + , "string_fields": ["stage"] + , "field_doc": + { "deps": ["The targets that suite is composed of."] + , "stage": + [ "The logical location this test suite is to be placed." + , "Individual entries will be joined with \"/\"." + ] + } + , "config_doc": + { "TEST_MATRIX": + [ "Map describing the dimensions of the matrix to run the tests for." + , "" + , "Keys are config variables. The value for each key has to be a map" + , "mapping the stage name to the corresponding value for that config" + , "variable." + ] + } + , "artifacts_doc": + [ "The disjoint union of the runfiles of the \"deps\" targets," + , "evaluated and staged as requested by TEST_MATRIX and finally" + , "staged to the location given by \"stage\"." + ] + , "runfiles_doc": ["Same as artifacts."] + , "imports": + { "runfiles": ["", "field_runfiles"] + , "list_provider": ["", "field_list_provider"] + , "matrix": "matrix" + } + , "config_transitions": + { "deps": + { "type": "++" + , "$1": + { "type": "foreach" + , "range": {"type": "CALL_EXPRESSION", "name": "matrix"} + , "body": {"type": "values", "$1": {"type": "var", "name": "_"}} + } + } + } + , "expression": + { "type": "let*" + , "bindings": + [ ["matrix", {"type": "CALL_EXPRESSION", "name": "matrix"}] + , ["fieldname", "deps"] + , [ "staged runfiles list" + , { "type": "foreach" + , "range": {"type": "var", "name": "matrix"} + , "body": + { "type": "foreach_map" + , "range": {"type": "var", "name": "_"} + , "var_val": "transition" + , "body": + { "type": "to_subdir" + , "subdir": {"type": "var", "name": "_"} + , "$1": {"type": "CALL_EXPRESSION", "name": "runfiles"} + } + } + } + ] + , [ "staged matrix runfiles" + , { "type": "disjoint_map_union" + , "$1": + { "type": "++" + , "$1": {"type": "var", "name": "staged runfiles list"} + } + } + ] + , [ "stage" + , { "type": "join" + , "separator": "/" + , "$1": {"type": "FIELD", "name": "stage"} + } + ] + , [ "staged results" + , { "type": "to_subdir" + , "subdir": {"type": "var", "name": "stage"} + , "$1": {"type": "var", "name": "staged matrix runfiles"} + } + ] + , ["provider", "lint"] + , [ "lint" + , { "type": "++" + , "$1": + { "type": "++" + , "$1": + { "type": "foreach" + , "range": {"type": "var", "name": "matrix"} + , "body": + { "type": "foreach_map" + , "range": {"type": "var", "name": "_"} + , "var_val": "transition" + , "body": {"type": "CALL_EXPRESSION", "name": "list_provider"} + } + } + } + } + ] + , ["lint", {"type": "nub_right", "$1": {"type": "var", "name": "lint"}}] + ] + , "body": + { "type": "RESULT" + , "artifacts": {"type": "var", "name": "staged results"} + , "runfiles": {"type": "var", "name": "staged results"} + , "provides": {"type": "env", "vars": ["lint"]} + } + } + } +} |