Merge pull request #112 from objectionary/rule-2

Add rule 2 to user-defined rules
objectionary · Feb 12, 2024 · 6eafd04 · 6eafd04
2 parents 088455e + 3387e84
commit 6eafd04
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml b/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml
@@ -19,6 +19,26 @@ rules:
         output: '⟦ a ↦ ⟦ ν ↦ ⟦ Δ ⤍ 00- ⟧ ⟧ ⟧'
         matches: true
 
+  - name: Rule 2
+    description: ''
+    pattern: |
+      ⟦ !a ↦ ⟦ !b ↦ ⟦ !B1 ⟧, σ ↦ !obj, !B2 ⟧, !B_rest ⟧
+    result: |
+      ⟦ !a ↦ ⟦ !b ↦ ⟦ σ ↦ !obj.!a, !B1 ⟧, σ ↦ !obj, !B2 ⟧, !B_rest ⟧
+    when:
+      - absent_attrs:
+          attrs: ['σ']
+          bindings: ['!B1']
+    tests:
+      - name: 'Adds home attribute'
+        input: '⟦ a ↦ ⟦ b ↦ ⟦ ⟧, σ ↦ ⟦ ⟧ ⟧ ⟧'
+        output: '⟦ a ↦ ⟦ b ↦ ⟦ σ ↦ ⟦ ⟧.a ⟧, σ ↦ ⟦ ⟧ ⟧ ⟧'
+        matches: true
+      - name: 'Leaves the object unchanged'
+        input: '⟦ a ↦ ⟦ b ↦ ⟦ σ ↦ ⟦ ⟧ ⟧ ⟧ ⟧'
+        output: '⟦ a ↦ ⟦ b ↦ ⟦ σ ↦ ⟦ ⟧ ⟧ ⟧ ⟧'
+        matches: false
+
   - name: Rule 3
     description: 'Initialization of parent attribute'
     pattern: |