eo-maven-plugin/src/main/resources/org/eolang/maven/pre/to-java.xsl
<?xml version="1.0" encoding="UTF-8"?>
<!--
The MIT License (MIT)
Copyright (c) 2016-2024 Objectionary.com
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included
in all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.
-->
<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" xmlns:eo="https://www.eolang.org" xmlns:xs="http://www.w3.org/2001/XMLSchema" id="to-java" version="2.0">
<xsl:import href="/org/eolang/parser/_datas.xsl"/>
<xsl:param name="disclaimer"/>
<xsl:output encoding="UTF-8" method="xml"/>
<!-- VARIABLES -->
<xsl:variable name="TAB">
<xsl:text> </xsl:text>
</xsl:variable>
<xsl:variable name="RHO">
<xsl:text>ρ</xsl:text>
</xsl:variable>
<xsl:variable name="PHI">
<xsl:text>φ</xsl:text>
</xsl:variable>
<!-- FUNCTIONS -->
<!-- EOL -->
<xsl:function name="eo:eol">
<xsl:param name="tabs"/>
<xsl:value-of select="' '"/>
<xsl:value-of select="eo:tabs($tabs)"/>
</xsl:function>
<!-- TABS -->
<xsl:function name="eo:tabs">
<xsl:param name="n"/>
<xsl:for-each select="1 to $n">
<xsl:text> </xsl:text>
</xsl:for-each>
</xsl:function>
<!-- Fetch object by given name -->
<!-- org.eolang.int -> Phi.Ф.take("org").take("eolang").take("int") -->
<xsl:function name="eo:fetch">
<xsl:param name="object"/>
<xsl:variable name="parts" select="tokenize($object, '\.')"/>
<xsl:text>Phi.Φ</xsl:text>
<xsl:for-each select="$parts">
<xsl:text>.take("</xsl:text>
<xsl:value-of select="."/>
<xsl:text>")</xsl:text>
</xsl:for-each>
</xsl:function>
<!-- Get clean escaped object name -->
<xsl:function name="eo:clean" as="xs:string">
<xsl:param name="n" as="xs:string"/>
<xsl:value-of select="concat('EO', replace(replace(replace(replace(replace($n, '_', '__'), '-', '_'), '@', $PHI), 'α', '_'), '\$', '\$EO'))"/>
</xsl:function>
<!-- Get object name with suffix -->
<xsl:function name="eo:suffix" as="xs:string">
<xsl:param name="s1"/>
<xsl:param name="s2"/>
<xsl:value-of select="concat(concat($s1, '_'), $s2)"/>
</xsl:function>
<!-- Get class name for the object -->
<xsl:function name="eo:class-name" as="xs:string">
<xsl:param name="n" as="xs:string"/>
<xsl:param name="alt" as="xs:string"/>
<xsl:variable name="parts" select="tokenize($n, '\.')"/>
<xsl:variable name="p">
<xsl:for-each select="$parts">
<xsl:if test="position()!=last()">
<xsl:value-of select="eo:clean(.)"/>
<xsl:text>.</xsl:text>
</xsl:if>
</xsl:for-each>
</xsl:variable>
<xsl:variable name="c">
<xsl:choose>
<xsl:when test="$parts[last()]">
<xsl:value-of select="$parts[last()]"/>
</xsl:when>
<xsl:otherwise>
<xsl:value-of select="$parts"/>
</xsl:otherwise>
</xsl:choose>
</xsl:variable>
<xsl:variable name="pre" select="concat($p, eo:clean($c))"/>
<xsl:choose>
<xsl:when test="string-length($pre)>250">
<xsl:value-of select="concat(substring($pre, 1, 25), $alt)"/>
</xsl:when>
<xsl:otherwise>
<xsl:value-of select="$pre"/>
</xsl:otherwise>
</xsl:choose>
</xsl:function>
<!-- Get name for special attributes -->
<xsl:function name="eo:attr-name" as="xs:string">
<xsl:param name="n" as="xs:string"/>
<xsl:choose>
<xsl:when test="$n='@'">
<xsl:value-of select="$PHI"/>
</xsl:when>
<xsl:when test="$n='^'">
<xsl:value-of select="$RHO"/>
</xsl:when>
<xsl:otherwise>
<xsl:value-of select="concat('', $n)"/>
</xsl:otherwise>
</xsl:choose>
</xsl:function>
<!-- Class name -->
<xsl:template match="class/@name">
<xsl:attribute name="name">
<xsl:value-of select="."/>
</xsl:attribute>
<xsl:attribute name="java-name">
<xsl:variable name="pkg" select="//metas/meta[head='package']/part[1]"/>
<xsl:if test="$pkg">
<xsl:value-of select="eo:class-name($pkg, eo:suffix(../@line, ../@pos))"/>
<xsl:text>.</xsl:text>
</xsl:if>
<xsl:value-of select="eo:class-name(., eo:suffix(../@line, ../@pos))"/>
</xsl:attribute>
</xsl:template>
<!-- Class. Entry point -->
<xsl:template match="class">
<xsl:copy>
<xsl:apply-templates select="@*"/>
<xsl:element name="java">
<xsl:apply-templates select="/program" mode="license"/>
<xsl:apply-templates select="//meta[head='package']" mode="head"/>
<xsl:text>import org.eolang.*;</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
<xsl:apply-templates select="//meta[head='junit' or head='tests']" mode="head"/>
<xsl:apply-templates select="." mode="body"/>
</xsl:element>
</xsl:copy>
</xsl:template>
<!-- Class body -->
<xsl:template match="class" mode="body">
<xsl:apply-templates select="xmir"/>
<xsl:value-of select="eo:eol(0)"/>
<xsl:text>@XmirObject(name = "</xsl:text>
<xsl:value-of select="@name"/>
<xsl:text>", oname = "</xsl:text>
<xsl:choose>
<xsl:when test="@original-name">
<xsl:value-of select="@original-name"/>
</xsl:when>
<xsl:otherwise>
<xsl:value-of select="@name"/>
</xsl:otherwise>
</xsl:choose>
<xsl:text>", source = "</xsl:text>
<xsl:value-of select="replace(/program/@source, '\\', '\\\\')"/>
<xsl:text>")</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
<xsl:text>public final class </xsl:text>
<xsl:value-of select="eo:class-name(@name, eo:suffix(@line, @pos))"/>
<xsl:text> extends PhDefault {</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
<xsl:apply-templates select="." mode="ctors"/>
<xsl:if test="//meta[head='junit' or head='tests'] and not(@parent)">
<xsl:apply-templates select="." mode="tests"/>
</xsl:if>
<xsl:apply-templates select="class" mode="body"/>
<xsl:text>}</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
</xsl:template>
<!-- Xmir comment -->
<xsl:template match="xmir">
<xsl:for-each select="tokenize(text(), ' ')">
<xsl:value-of select="eo:eol(0)"/>
<xsl:text>// </xsl:text>
<xsl:value-of select="."/>
</xsl:for-each>
</xsl:template>
<!-- Class constructor -->
<xsl:template match="class" mode="ctors">
<xsl:value-of select="eo:tabs(1)"/>
<xsl:value-of select="eo:eol(1)"/>
<xsl:choose>
<xsl:when test="//meta[head='junit' or head='tests'] and not(@parent)">
<xsl:text>public </xsl:text>
<xsl:value-of select="eo:class-name(@name, eo:suffix(@line, @pos))"/>
<xsl:text>() {</xsl:text>
</xsl:when>
<xsl:otherwise>
<xsl:text>public </xsl:text>
<xsl:value-of select="eo:class-name(@name, eo:suffix(@line, @pos))"/>
<xsl:text>() {</xsl:text>
</xsl:otherwise>
</xsl:choose>
<xsl:apply-templates select="attr">
<xsl:with-param name="class" select="."/>
<xsl:with-param name="indent">
<xsl:value-of select="eo:tabs(2)"/>
</xsl:with-param>
</xsl:apply-templates>
<xsl:value-of select="eo:eol(1)"/>
<xsl:text>}</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
</xsl:template>
<!-- Attribute -->
<xsl:template match="attr">
<xsl:variable name="name" select="eo:attr-name(@name)"/>
<xsl:value-of select="eo:eol(2)"/>
<xsl:text>this.add("</xsl:text>
<xsl:value-of select="$name"/>
<xsl:text>", </xsl:text>
<xsl:apply-templates select="*">
<xsl:with-param name="name" select="$name"/>
</xsl:apply-templates>
<xsl:text>);</xsl:text>
</xsl:template>
<!-- Void attribute -->
<xsl:template match="void">
<xsl:param name="name"/>
<xsl:text>new AtVoid("</xsl:text>
<xsl:value-of select="$name"/>
<xsl:text>")</xsl:text>
</xsl:template>
<!-- Bound attribute -->
<xsl:template match="bound">
<xsl:text>new AtOnce(</xsl:text>
<xsl:text>new AtComposite(this, rho -> {</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
<xsl:apply-templates select="*">
<xsl:with-param name="name" select="'ret'"/>
<xsl:with-param name="indent">
<xsl:value-of select="eo:tabs(3)"/>
</xsl:with-param>
</xsl:apply-templates>
<xsl:value-of select="eo:tabs(3)"/>
<xsl:text>return ret;</xsl:text>
<xsl:value-of select="eo:eol(2)"/>
<xsl:text>})</xsl:text>
<xsl:text>)</xsl:text>
</xsl:template>
<!-- Anonymous abstract object without attributes -->
<xsl:template match="o[not(@base) and not(@name)]">
<xsl:param name="indent"/>
<xsl:param name="name" select="'o'"/>
<xsl:value-of select="$indent"/>
<xsl:text>Phi </xsl:text>
<xsl:value-of select="$name"/>
<xsl:text> = </xsl:text>
<xsl:text>new PhDefault() { </xsl:text>
<xsl:text>/</xsl:text>
<xsl:text>* anonymous abstract object without attributes */ };</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
</xsl:template>
<!-- Attribute body: regular object, not method -->
<xsl:template match="o[@base and not(starts-with(@base, '.'))]">
<xsl:param name="indent"/>
<xsl:param name="name"/>
<xsl:variable name="current" select="."/>
<xsl:variable name="source" select="//*[generate-id()!=generate-id($current) and @name=$current/@base and @line=$current/@ref]"/>
<!-- Terminate -->
<xsl:if test="count($source) > 1">
<xsl:message terminate="yes">
<xsl:text>Found more than one target of '</xsl:text>
<xsl:value-of select="$current/@base"/>
<xsl:text>' at the line #</xsl:text>
<xsl:value-of select="$current/@line"/>
<xsl:text> leading to </xsl:text>
<xsl:for-each select="$source">
<xsl:if test="position()>1">
<xsl:text>, </xsl:text>
</xsl:if>
<xsl:text><</xsl:text>
<xsl:value-of select="name(.)"/>
<xsl:text>/></xsl:text>
<xsl:text> at line #</xsl:text>
<xsl:value-of select="@line"/>
</xsl:for-each>
<xsl:text>; it's an internal bug</xsl:text>
</xsl:message>
</xsl:if>
<xsl:value-of select="$indent"/>
<xsl:text>Phi </xsl:text>
<xsl:value-of select="$name"/>
<xsl:text> = </xsl:text>
<xsl:choose>
<xsl:when test="@primitive and @base">
<xsl:value-of select="eo:fetch(@base)"/>
<xsl:text>.copy()</xsl:text>
</xsl:when>
<xsl:when test="@base='$'">
<xsl:text>rho</xsl:text>
</xsl:when>
<xsl:when test="@base='Q'">
<xsl:text>Phi.Φ</xsl:text>
</xsl:when>
<xsl:when test="@base='^'">
<xsl:text>new PhMethod(rho, "</xsl:text>
<xsl:value-of select="$RHO"/>
<xsl:text>")</xsl:text>
</xsl:when>
<!-- TBD -->
<xsl:when test="$source/@ancestors">
<xsl:text>new </xsl:text>
<xsl:value-of select="eo:class-name($source/@name, eo:suffix(@line, @pos))"/>
<xsl:text>()</xsl:text>
</xsl:when>
<xsl:when test="$source and name($source)='class'">
<xsl:value-of select="eo:fetch(concat($source/@package, '.', $source/@name))"/>
</xsl:when>
<xsl:when test="$source/@level">
<xsl:for-each select="0 to $source/@level">
<xsl:text>new PhMethod(</xsl:text>
</xsl:for-each>
<xsl:text>rho</xsl:text>
<xsl:for-each select="1 to $source/@level">
<xsl:text>, "</xsl:text>
<xsl:value-of select="$RHO"/>
<xsl:text>")</xsl:text>
</xsl:for-each>
<xsl:text>, "</xsl:text>
<xsl:value-of select="$source/@name"/>
<xsl:text>")</xsl:text>
</xsl:when>
<xsl:when test="$source">
<xsl:text>new PhMethod(rho, "</xsl:text>
<xsl:value-of select="eo:attr-name(@base)"/>
<xsl:text>")</xsl:text>
</xsl:when>
<xsl:otherwise>
<xsl:value-of select="eo:fetch(@base)"/>
</xsl:otherwise>
</xsl:choose>
<xsl:text>;</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
<xsl:apply-templates select="." mode="application">
<xsl:with-param name="name" select="$name"/>
<xsl:with-param name="indent" select="$indent"/>
</xsl:apply-templates>
<xsl:apply-templates select="." mode="located">
<xsl:with-param name="name" select="$name"/>
<xsl:with-param name="indent" select="$indent"/>
</xsl:apply-templates>
</xsl:template>
<!-- Attribute body: method object (starts with .) -->
<xsl:template match="o[starts-with(@base, '.') and *]">
<xsl:param name="indent"/>
<xsl:param name="name"/>
<xsl:apply-templates select="*[1]">
<xsl:with-param name="name">
<xsl:value-of select="$name"/>
<xsl:text>_base</xsl:text>
</xsl:with-param>
<xsl:with-param name="indent">
<xsl:value-of select="$indent"/>
</xsl:with-param>
</xsl:apply-templates>
<xsl:value-of select="$indent"/>
<xsl:text>Phi </xsl:text>
<xsl:value-of select="$name"/>
<xsl:text> = new PhMethod(</xsl:text>
<xsl:value-of select="$name"/>
<xsl:text>_base, "</xsl:text>
<xsl:variable name="method" select="substring-after(@base, '.')"/>
<xsl:choose>
<xsl:when test="$method='^'">
<xsl:value-of select="$RHO"/>
</xsl:when>
<xsl:otherwise>
<xsl:value-of select="eo:attr-name($method)"/>
</xsl:otherwise>
</xsl:choose>
<xsl:text>");</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
<xsl:apply-templates select="." mode="located">
<xsl:with-param name="name" select="$name"/>
<xsl:with-param name="indent" select="$indent"/>
</xsl:apply-templates>
<xsl:apply-templates select="." mode="application">
<xsl:with-param name="name" select="$name"/>
<xsl:with-param name="indent" select="$indent"/>
<xsl:with-param name="skip" select="1"/>
</xsl:apply-templates>
</xsl:template>
<!-- Location of object -->
<xsl:template match="*" mode="located">
<xsl:param name="indent"/>
<xsl:param name="name" select="'o'"/>
<xsl:if test="@line and @pos">
<xsl:value-of select="$indent"/>
<xsl:value-of select="eo:tabs(1)"/>
<xsl:value-of select="$name"/>
<xsl:text> = new PhLocated(</xsl:text>
<xsl:value-of select="$name"/>
<xsl:text>, </xsl:text>
<xsl:value-of select="@line"/>
<xsl:text>, </xsl:text>
<xsl:value-of select="@pos"/>
<xsl:text>, </xsl:text>
<xsl:text>"</xsl:text>
<xsl:value-of select="@loc"/>
<xsl:text>"</xsl:text>
<xsl:text>);</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
</xsl:if>
</xsl:template>
<!-- Application -->
<xsl:template match="*" mode="application">
<xsl:param name="indent"/>
<xsl:param name="skip" select="0"/>
<xsl:param name="name" select="'o'"/>
<xsl:for-each select="./*[name()!='value' and name()!='tuple' and position() > $skip][not(@level)]">
<xsl:if test="position() = 1">
<xsl:value-of select="$indent"/>
<xsl:value-of select="$name"/>
<xsl:text> = </xsl:text>
<xsl:text>new PhCopy(</xsl:text>
<xsl:value-of select="$name"/>
<xsl:text>);</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
</xsl:if>
<xsl:variable name="n">
<xsl:value-of select="$name"/>
<xsl:text>_</xsl:text>
<xsl:value-of select="position()"/>
</xsl:variable>
<xsl:apply-templates select=".">
<xsl:with-param name="name" select="$n"/>
<xsl:with-param name="indent">
<xsl:value-of select="$indent"/>
<xsl:value-of select="eo:tabs(1)"/>
</xsl:with-param>
</xsl:apply-templates>
</xsl:for-each>
<xsl:for-each select="./*[name()!='value' and position() > $skip][not(@level)]">
<xsl:value-of select="$indent"/>
<xsl:value-of select="eo:tabs(1)"/>
<xsl:value-of select="$name"/>
<xsl:text> = new PhWith(</xsl:text>
<xsl:value-of select="$name"/>
<xsl:text>, </xsl:text>
<xsl:choose>
<xsl:when test="@as">
<xsl:choose>
<xsl:when test="matches(@as,'^[0-9]+$')">
<xsl:value-of select="eo:attr-name(@as)"/>
</xsl:when>
<xsl:otherwise>
<xsl:text>"</xsl:text>
<xsl:value-of select="eo:attr-name(@as)"/>
<xsl:text>"</xsl:text>
</xsl:otherwise>
</xsl:choose>
</xsl:when>
<xsl:when test="../@base = 'org.eolang.error'">
<xsl:text>"message"</xsl:text>
</xsl:when>
<xsl:otherwise>
<xsl:value-of select="position() - 1"/>
</xsl:otherwise>
</xsl:choose>
<xsl:text>, </xsl:text>
<xsl:value-of select="$name"/>
<xsl:text>_</xsl:text>
<xsl:value-of select="position()"/>
<xsl:text>);</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
</xsl:for-each>
<xsl:apply-templates select="value">
<xsl:with-param name="name" select="$name"/>
<xsl:with-param name="indent">
<xsl:value-of select="$indent"/>
<xsl:value-of select="eo:tabs(1)"/>
</xsl:with-param>
</xsl:apply-templates>
</xsl:template>
<!-- Data -->
<xsl:template match="value">
<xsl:param name="indent"/>
<xsl:param name="name"/>
<xsl:value-of select="$indent"/>
<xsl:value-of select="$name"/>
<xsl:text> = new PhData(</xsl:text>
<xsl:value-of select="$name"/>
<xsl:text>, </xsl:text>
<xsl:value-of select="text()"/>
<xsl:text>);</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
</xsl:template>
<!-- Class for tests -->
<xsl:template match="class" mode="tests">
<xsl:value-of select="eo:eol(1)"/>
<xsl:text>@Test</xsl:text>
<xsl:value-of select="eo:eol(1)"/>
<xsl:text>public void works() throws java.lang.Exception {</xsl:text>
<xsl:value-of select="eo:eol(2)"/>
<xsl:choose>
<xsl:when test="starts-with(@name, 'throws')">
<xsl:text>Assertions.assertThrows(Exception.class, () -> {</xsl:text>
<xsl:value-of select="eo:eol(2)"/>
<xsl:apply-templates select="." mode="assert">
<xsl:with-param name="indent" select="1"/>
</xsl:apply-templates>
<xsl:value-of select="eo:eol(2)"/>
<xsl:text>});</xsl:text>
</xsl:when>
<xsl:otherwise>
<xsl:apply-templates select="." mode="assert">
<xsl:with-param name="indent" select="0"/>
</xsl:apply-templates>
</xsl:otherwise>
</xsl:choose>
<xsl:value-of select="eo:eol(1)"/>
<xsl:text>}</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
</xsl:template>
<!-- Assertion in tests -->
<xsl:template match="class" mode="assert">
<xsl:param name="indent"/>
<xsl:value-of select="eo:tabs($indent)"/>
<xsl:text>Boolean obj = new Dataized(new </xsl:text>
<xsl:value-of select="eo:class-name(@name, eo:suffix(@line, @pos))"/>
<xsl:text>()).asBool();</xsl:text>
<xsl:value-of select="eo:eol(2 + $indent)"/>
<xsl:text>Assertions.assertTrue(obj);</xsl:text>
</xsl:template>
<!-- Package -->
<xsl:template match="meta[head='package']" mode="head">
<xsl:text>package </xsl:text>
<xsl:value-of select="eo:class-name(tail, '')"/>
<xsl:text>;</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
<xsl:value-of select="eo:eol(0)"/>
</xsl:template>
<!-- Imports for tests -->
<xsl:template match="meta[head='junit' or head='tests']" mode="head">
<xsl:text>import org.junit.jupiter.api.Assertions;</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
<xsl:text>import org.junit.jupiter.api.Test;</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
</xsl:template>
<!-- License with disclaimer -->
<xsl:template match="/program" mode="license">
<xsl:value-of select="eo:eol(0)"/>
<xsl:text>/* </xsl:text>
<xsl:value-of select="$disclaimer"/>
<xsl:text> */</xsl:text>
<xsl:value-of select="eo:eol(0)"/>
</xsl:template>
<!-- Other -->
<xsl:template match="node()|@*">
<xsl:copy>
<xsl:apply-templates select="node()|@*"/>
</xsl:copy>
</xsl:template>
</xsl:stylesheet>