From f6f32aa6d88b7bb1691fa80dffa31918b11be432 Mon Sep 17 00:00:00 2001
From: Klaus Aehlig <klaus.aehlig@huawei.com>
Date: Fri, 5 May 2023 16:28:14 +0200
Subject: ["data", "staged"]: support dropping paths

In this way, GLOB constructs can be used more easily. As the dropping
happens early, this can also be used to solve staging conflicts, by
removing that logical path and later add a consolidated artifact to
that path.
---
 rules/data/EXPRESSIONS | 113 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 113 insertions(+)
 create mode 100644 rules/data/EXPRESSIONS

(limited to 'rules/data/EXPRESSIONS')

diff --git a/rules/data/EXPRESSIONS b/rules/data/EXPRESSIONS
new file mode 100644
index 0000000..929eaf8
--- /dev/null
+++ b/rules/data/EXPRESSIONS
@@ -0,0 +1,113 @@
+{ "field_artifacts_without":
+  { "doc":
+    [ "Query and merge artifacts from target_field's targets,"
+    , "leaving out the specified logical paths."
+    ]
+  , "vars": ["fieldname", "transition", "exclude"]
+  , "vars_doc":
+    { "fieldname": ["The name of the target_field to query."]
+    , "transition": ["The optional configuration transition for the targets."]
+    , "exclude": ["The logical paths to exclude"]
+    }
+  , "expression":
+    { "type": "disjoint_map_union"
+    , "msg":
+      [ "artifacts"
+      , {"type": "var", "name": "fieldname"}
+      , "must not overlap after dropping paths"
+      , {"type": "var", "name": "exclude"}
+      ]
+    , "$1":
+      { "type": "foreach"
+      , "var": "x"
+      , "range":
+        {"type": "FIELD", "name": {"type": "var", "name": "fieldname"}}
+      , "body":
+        { "type": "map_union"
+        , "$1":
+          { "type": "foreach_map"
+          , "range":
+            { "type": "DEP_ARTIFACTS"
+            , "dep": {"type": "var", "name": "x"}
+            , "transition":
+              { "type": "var"
+              , "name": "transition"
+              , "default": {"type": "empty_map"}
+              }
+            }
+          , "body":
+            { "type": "if"
+            , "cond":
+              { "type": "lookup"
+              , "key": {"type": "var", "name": "_"}
+              , "map": {"type": "var", "name": "exclude"}
+              }
+            , "then": {"type": "empty_map"}
+            , "else":
+              { "type": "singleton_map"
+              , "key": {"type": "var", "name": "_"}
+              , "value": {"type": "var", "name": "$_"}
+              }
+            }
+          }
+        }
+      }
+    }
+  }
+, "field_runfiles_without":
+  { "doc":
+    [ "Query and merge runfiles from target_field's targets,"
+    , "leaving out the specified logical paths."
+    ]
+  , "vars": ["fieldname", "transition", "exclude"]
+  , "vars_doc":
+    { "fieldname": ["The name of the target_field to query."]
+    , "transition": ["The optional configuration transition for the targets."]
+    , "exclude": ["The logical paths to exclude"]
+    }
+  , "expression":
+    { "type": "disjoint_map_union"
+    , "msg":
+      [ "artifacts"
+      , {"type": "var", "name": "fieldname"}
+      , "must not overlap after dropping paths"
+      , {"type": "var", "name": "exclude"}
+      ]
+    , "$1":
+      { "type": "foreach"
+      , "var": "x"
+      , "range":
+        {"type": "FIELD", "name": {"type": "var", "name": "fieldname"}}
+      , "body":
+        { "type": "map_union"
+        , "$1":
+          { "type": "foreach_map"
+          , "range":
+            { "type": "DEP_RUNFILES"
+            , "dep": {"type": "var", "name": "x"}
+            , "transition":
+              { "type": "var"
+              , "name": "transition"
+              , "default": {"type": "empty_map"}
+              }
+            }
+          , "body":
+            { "type": "if"
+            , "cond":
+              { "type": "lookup"
+              , "key": {"type": "var", "name": "_"}
+              , "map": {"type": "var", "name": "exclude"}
+              }
+            , "then": {"type": "empty_map"}
+            , "else":
+              { "type": "singleton_map"
+              , "key": {"type": "var", "name": "_"}
+              , "value": {"type": "var", "name": "$_"}
+              }
+            }
+          }
+        }
+      }
+    }
+  }
+}
-- 
cgit v1.2.3