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

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> {
+    /**
+     * Application precedence.
+     */
+    private static final Pattern A_PRECEDENCE = Pattern.compile("\\([^()]*\\)\\.(\\w+)");
+
     /**
      * Xembly directives we are building (mutable).
      */
@@ -1210,10 +1217,17 @@ 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.A_PRECEDENCE.matcher(application);
+        final String abase;
+        if (matcher.find()) {
+            abase = String.format(".%s", matcher.group(1));
+        } 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/test/resources/org/eolang/parser/eo-syntax/auto-phi-formation-with-application-precedence.yaml

@@ -0,0 +1,17 @@
+# 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='.what']]
+  - //o[not(@base) and @name='ap🌵66' and o[@name='φ' and @base='.contains']]
+input: |
+  [cont-list] > custom-map
+    foo > boom
+      ((text orgn).what b).ttt >> [y]
+    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 > @