bug(#4559): auto phi formation correctly parsed with application precedences

eo-integration-tests/src/test/resources/org/eolang/snippets/auto-phi-with-application-precedence.yaml

@@ -0,0 +1,26 @@
+# SPDX-FileCopyrightText: Copyright (c) 2016-2025 Objectionary.com
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+out: []
+file: org/eolang/snippets/foo.eo
+args: ["org.eolang.snippets.foo"]
+eo: |
+  +alias org.eolang.io.stdout
+  +alias org.eolang.txt.text
+  +alias org.eolang.structs.list
+  +package org.eolang.snippets
+
+  [] > foo
+    "abcdefghijk" > origin
+    origin > @
+    [cont-list] > custom-map
+      mapped. > @
+        cont-list
+        (text orgn).contains x >> [x]
+      origin > orgn!
+
+    [] +> test-custom-map
+      eq. > @
+        list (* true true)
+        foo.custom-map (list (* "abc" "ghi"))

eo-maven-plugin/src/test/resources/org/eolang/maven/transpile-packs/transpiles-auto-phi-formation-with-application-precedence.yaml

@@ -0,0 +1,27 @@
+# SPDX-FileCopyrightText: Copyright (c) 2016-2025 Objectionary.com
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+sheets:
+  - /org/eolang/maven/transpile/set-locators.xsl
+  - /org/eolang/maven/transpile/set-original-names.xsl
+  - /org/eolang/maven/transpile/classes.xsl
+  - /org/eolang/maven/transpile/tests.xsl
+  - /org/eolang/maven/transpile/attrs.xsl
+  - /org/eolang/maven/transpile/data.xsl
+  - /org/eolang/maven/transpile/to-java.xsl
+asserts:
+  - /object[not(errors)]
+  - //java[contains(text(), 'Φ.custom-map.ap🌵46.φ')]
+  - //java[contains(text(), 'Φ.custom-map.ap🌵46.φ.ρ.ρ.α0')]
+  - //java[contains(text(), 'Phi rrbb = Phi.Φ.take("org").take("eolang").take("text");')]
+  - //java[contains(text(), 'rrbb1 = new PhMethod(rrbb1, "orgn");')]
+  - //java[contains(text(), 'Phi rrb = new PhMethod(rrbb, "what");')]
+  - //java[contains(text(), 'Phi rrb1 = Phi.Φ.take("org").take("eolang").take("b");')]
+  - //java[contains(text(), 'Phi rr = new PhMethod(rrb, "ttt");')]
+input: |
+  [cont-list] > custom-map
+    mapped. > @
+      cont-list
+        ((text orgn).what b).ttt >> [y]
+    origin > orgn!

eo-parser/src/main/java/org/eolang/parser/XeEoListener.java

@@ -10,6 +10,8 @@
 import java.util.Iterator;
 import java.util.List;
 import java.util.function.Supplier;
+import java.util.regex.Matcher;
+import java.util.regex.Pattern;
 import java.util.stream.Collectors;
 import org.antlr.v4.runtime.ParserRuleContext;
 import org.antlr.v4.runtime.Token;
@@ -35,6 +37,11 @@
     "PMD.GodClass"
 })
 final class XeEoListener implements EoListener, Iterable<Directive> {
+    /**
+     * Last application.
+     */
+    private static final Pattern LAST_APPLICATION = Pattern.compile("\\)\\.([a-zA-Z_]\\w*)$");
+
     /**
      * Xembly directives we are building (mutable).
      */
@@ -1210,10 +1217,21 @@ private String alphaAttr(final ParserRuleContext ctx, final String msg) {
      * @param application Application base
      */
     private void startAutoPhiFormation(final ParserRuleContext ctx, final String application) {
+        final Matcher matcher = XeEoListener.LAST_APPLICATION.matcher(application);
+        String abase;
+        if (matcher.find()) {
+            do {
+                abase = String.format(".%s", matcher.group(1));
+            } while (matcher.find());
+        } else if (application.startsWith("Q.")) {
+            abase = application.replace("Q.", "Φ.");
+        } else {
+            abase = String.format("ξ.ρ.%s", application);
+        }
         this.startAbstract(ctx)
             .enter().prop("name", new AutoName(ctx, "p").asString())
             .start(ctx)
-            .prop("base", String.format("ξ.ρ.%s", application))
+            .prop("base", abase)
             .prop("name", "φ");
     }
 

eo-parser/src/main/resources/org/eolang/parser/parse/auto-phi-formation-restruct.xsl

@@ -63,5 +63,5 @@
     </xsl:copy>
   </xsl:template>
   <!-- Remove redundant ξ.X for void attributes, located inside the auto-phi formation -->
-  <xsl:template match="o[starts-with(@base,'ξ.') and ancestor::o[contains(@name,'ap🌵')][descendant::o[@base='∅' and @name=substring-after(current()/@base,'ξ.')]]]"/>
+  <xsl:template match="o[starts-with(@base,'ξ.') and not(@pos) and ancestor::o[contains(@name,'ap🌵')][descendant::o[@base='∅' and @name=substring-after(current()/@base,'ξ.')]]]"/>
 </xsl:stylesheet>

eo-parser/src/test/resources/org/eolang/parser/eo-syntax/auto-phi-formation-from-fqn-application.yaml

@@ -0,0 +1,12 @@
+# SPDX-FileCopyrightText: Copyright (c) 2016-2025 Objectionary.com
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+sheets: []
+asserts:
+  - /object[not(errors)]
+  - //o[not(@base) and @name='ap🌵34' and o[2][@name='x' and @base='∅' and not(@as)] and o[3][@name='φ' and @base='Φ.a.bca.eaa.boom']/o[1][@base='Φ.org.eolang.number']]
+input: |
+  [] > foo
+    start > @
+      Q.a.bca.eaa.boom 42 >> [x]

eo-parser/src/test/resources/org/eolang/parser/eo-syntax/auto-phi-formation-from-fqn-precedence-application.yaml

@@ -0,0 +1,13 @@
+# SPDX-FileCopyrightText: Copyright (c) 2016-2025 Objectionary.com
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+sheets: []
+asserts:
+  - /object[not(errors)]
+  - //o[not(@base) and @name='ap🌵34' and o[@name='φ' and @base='.j']/o[@base='.i']/o[@base='Φ.org.eolang.txt.text']/o[@base='ξ.ρ.args']]
+  - //o[@base='.i' and not(@name)]/o[2][@base='Φ.org.foo.b']
+input: |
+  [args] > main
+    foo > app
+      ((Q.org.eolang.txt.text args).i Q.org.foo.b).j >> [y]

eo-parser/src/test/resources/org/eolang/parser/eo-syntax/auto-phi-formation-with-application-precedence.yaml

@@ -0,0 +1,21 @@
+# SPDX-FileCopyrightText: Copyright (c) 2016-2025 Objectionary.com
+# SPDX-License-Identifier: MIT
+---
+# yamllint disable rule:line-length
+sheets: []
+asserts:
+  - /object[not(errors)]
+  - //o[not(@base) and @name='ap🌵34' and o[@name='φ' and @base='.ttt']/o[@base='.what']/o[@base='Φ.org.eolang.text']/o[@base='ξ.ρ.orgn']]
+  - //o[not(@base) and @name='ap🌵54' and o[@name='φ' and @base='.g']/o[@base='.e']/o[@base='.c']]
+  - //o[not(@base) and @name='ap🌵86' and o[@name='φ' and @base='.contains']/o[@base='Φ.org.eolang.text']/o[@base='ξ.ρ.orgn']]
+  - //o[not(@base) and @name='ap🌵86' and o[@name='φ' and @base='.contains']/o[@base='ξ.x']]
+input: |
+  [cont-list] > custom-map
+    foo > boom
+      ((text orgn).what b).ttt >> [y]
+    bar > dummy
+      (((a b).c d).e f).g >> [v]
+    mapped. > @
+      cont-list
+        (text orgn).contains x >> [x]
+    origin > orgn!

eo-parser/src/test/resources/org/eolang/parser/eo-syntax/auto-phi-formation-with-nested-vapplication.yaml

@@ -5,8 +5,8 @@
 sheets: []
 asserts:
   - /object[not(errors)]
-  - //o[not(@base) and @name='a🌵34' and o[2][@name='i' and @base='∅'] and o[3][@name='φ']]
-  - //o[@base='Φ.org.eolang.foo' and o[@base='ξ.a🌵34']]
+  - //o[not(@base) and @name='ap🌵34' and o[2][@name='i' and @base='∅'] and o[3][@name='φ']]
+  - //o[@base='Φ.org.eolang.foo' and o[@base='ξ.ap🌵34']]
 input: |
   [] > main
     foo > @