--- a/plcopen/pou_variables.xslt Wed Oct 09 10:57:20 2013 +0200
+++ b/plcopen/pou_variables.xslt Wed Oct 09 22:00:23 2013 +0200
@@ -1,174 +1,299 @@
-<xsl:stylesheet version="1.0"
- xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
- xmlns:ppx="http://www.plcopen.org/xml/tc6_0201"
- xmlns:ns="pou_vars_ns"
- extension-element-prefixes="ns"
- exclude-result-prefixes="ns">
+<?xml version="1.0"?>
+<xsl:stylesheet xmlns:func="http://exslt.org/functions" xmlns:dyn="http://exslt.org/dynamic" xmlns:str="http://exslt.org/strings" xmlns:math="http://exslt.org/math" xmlns:exsl="http://exslt.org/common" xmlns:xhtml="http://www.w3.org/1999/xhtml" xmlns:yml="http://fdik.org/yml" xmlns:set="http://exslt.org/sets" xmlns:ppx="http://www.plcopen.org/xml/tc6_0201" xmlns:ns="pou_vars_ns" xmlns:regexp="http://exslt.org/regular-expressions" xmlns:xsl="http://www.w3.org/1999/XSL/Transform" extension-element-prefixes="ns" version="1.0" exclude-result-prefixes="ns">
+ <xsl:output method="xml"/>
+ <xsl:variable name="space" select="' '"/>
+ <xsl:param name="autoindent" select="4"/>
+ <xsl:template match="text()">
+ <xsl:param name="_indent" select="0"/>
+ </xsl:template>
+ <xsl:template mode="var_class" match="text()">
+ <xsl:param name="_indent" select="0"/>
+ </xsl:template>
+ <xsl:template mode="var_type" match="text()">
+ <xsl:param name="_indent" select="0"/>
+ </xsl:template>
+ <xsl:template mode="var_edit" match="text()">
+ <xsl:param name="_indent" select="0"/>
+ </xsl:template>
+ <xsl:template mode="var_debug" match="text()">
+ <xsl:param name="_indent" select="0"/>
+ </xsl:template>
+ <xsl:variable name="project">
+ <xsl:copy-of select="document('project')/project/*"/>
+ </xsl:variable>
+ <xsl:variable name="stdlib">
+ <xsl:copy-of select="document('stdlib')/stdlib/*"/>
+ </xsl:variable>
+ <xsl:variable name="extensions">
+ <xsl:copy-of select="document('extensions')/extensions/*"/>
+ </xsl:variable>
+ <xsl:template name="add_root">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:param name="class"/>
+ <xsl:param name="type"/>
+ <xsl:param name="edit">
+ <xsl:text>true</xsl:text>
+ </xsl:param>
+ <xsl:param name="debug">
+ <xsl:text>true</xsl:text>
+ </xsl:param>
+ <xsl:value-of select="ns:SetRoot($class, $type, $edit, $debug)"/>
+ </xsl:template>
<xsl:template match="ppx:pou">
- <pou>
- <class><xsl:value-of select="@pouType"/></class>
- <type><xsl:value-of select="@name"/></type>
- <edit><xsl:text>True</xsl:text></edit>
- <debug><xsl:text>True</xsl:text></debug>
- <variables>
- <xsl:apply-templates select="ppx:interface"/>
- <xsl:apply-templates select="ppx:actions/ppx:action | ppx:transitions/ppx:transition" mode="variable_list"/>
- </variables>
- </pou>
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="add_root">
+ <xsl:with-param name="class">
+ <xsl:value-of select="@pouType"/>
+ </xsl:with-param>
+ <xsl:with-param name="type">
+ <xsl:value-of select="@name"/>
+ </xsl:with-param>
+ </xsl:call-template>
+ <xsl:apply-templates select="ppx:interface">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
+ <xsl:apply-templates mode="variable_list" select="ppx:actions/ppx:action | ppx:transitions/ppx:transition">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
</xsl:template>
<xsl:template match="ppx:action">
- <action>
- <class/>
- <type><xsl:text>None</xsl:text></type>
- <edit><xsl:text>True</xsl:text></edit>
- <debug><xsl:text>True</xsl:text></debug>
- <variables>
- <xsl:apply-templates select="ancestor::ppx:pou/child::ppx:interface"/>
- </variables>
- </action>
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="add_root">
+ <xsl:with-param name="class">
+ <xsl:text>action</xsl:text>
+ </xsl:with-param>
+ </xsl:call-template>
+ <xsl:apply-templates select="ancestor::ppx:pou/child::ppx:interface">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
</xsl:template>
<xsl:template match="ppx:transition">
- <transition>
- <class/>
- <type><xsl:text>None</xsl:text></type>
- <edit><xsl:text>True</xsl:text></edit>
- <debug><xsl:text>True</xsl:text></debug>
- <variables>
- <xsl:apply-templates select="ancestor::ppx:pou/child::ppx:interface"/>
- </variables>
- </transition>
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="add_root">
+ <xsl:with-param name="class">
+ <xsl:text>transition</xsl:text>
+ </xsl:with-param>
+ </xsl:call-template>
+ <xsl:apply-templates select="ancestor::ppx:pou/child::ppx:interface">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
</xsl:template>
<xsl:template match="ppx:configuration">
- <configuration>
- <class/>
- <type><xsl:text>None</xsl:text></type>
- <edit><xsl:text>True</xsl:text></edit>
- <debug><xsl:text>False</xsl:text></debug>
- <variables>
- <xsl:apply-templates select="ppx:resource" mode="variable_list"/>
- <xsl:apply-templates select="ppx:globalVars"/>
- </variables>
- </configuration>
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="add_root">
+ <xsl:with-param name="class">
+ <xsl:text>configuration</xsl:text>
+ </xsl:with-param>
+ <xsl:with-param name="debug">
+ <xsl:text>false</xsl:text>
+ </xsl:with-param>
+ </xsl:call-template>
+ <xsl:apply-templates mode="variable_list" select="ppx:resource">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
+ <xsl:apply-templates select="ppx:globalVars">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
</xsl:template>
<xsl:template match="ppx:resource">
- <resource>
- <class/>
- <type><xsl:text>None</xsl:text></type>
- <edit><xsl:text>True</xsl:text></edit>
- <debug><xsl:text>False</xsl:text></debug>
- <variables>
- <xsl:apply-templates select="ppx:pouInstance | ppx:task/ppx:pouInstance" mode="variable_list"/>
- <xsl:apply-templates select="ppx:globalVars"/>
- </variables>
- </resource>
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="add_root">
+ <xsl:with-param name="class">
+ <xsl:text>resource</xsl:text>
+ </xsl:with-param>
+ <xsl:with-param name="debug">
+ <xsl:text>false</xsl:text>
+ </xsl:with-param>
+ </xsl:call-template>
+ <xsl:apply-templates mode="variable_list" select="ppx:pouInstance | ppx:task/ppx:pouInstance">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
+ <xsl:apply-templates select="ppx:globalVars">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
+ </xsl:template>
+ <xsl:template name="variables_infos">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:param name="var_class"/>
+ <xsl:for-each select="ppx:variable">
+ <xsl:variable name="class">
+ <xsl:apply-templates mode="var_class" select="ppx:type">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ <xsl:with-param name="default_class">
+ <xsl:value-of select="$var_class"/>
+ </xsl:with-param>
+ </xsl:apply-templates>
+ </xsl:variable>
+ <xsl:variable name="type">
+ <xsl:apply-templates mode="var_type" select="ppx:type">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
+ </xsl:variable>
+ <xsl:variable name="edit">
+ <xsl:apply-templates mode="var_edit" select="ppx:type">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
+ </xsl:variable>
+ <xsl:variable name="debug">
+ <xsl:apply-templates mode="var_debug" select="ppx:type">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
+ </xsl:variable>
+ <xsl:value-of select="ns:AddVariable(@name, $class, $type, $edit, $debug)"/>
+ </xsl:for-each>
</xsl:template>
<xsl:template match="ppx:localVars">
- <xsl:call-template name="variables_infos">
- <xsl:with-param name="var_class" select="'Local'"/>
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="variables_infos">
+ <xsl:with-param name="var_class">
+ <xsl:text>Local</xsl:text>
+ </xsl:with-param>
</xsl:call-template>
</xsl:template>
<xsl:template match="ppx:globalVars">
- <xsl:call-template name="variables_infos">
- <xsl:with-param name="var_class" select="'Global'"/>
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="variables_infos">
+ <xsl:with-param name="var_class">
+ <xsl:text>Global</xsl:text>
+ </xsl:with-param>
</xsl:call-template>
</xsl:template>
<xsl:template match="ppx:externalVars">
- <xsl:call-template name="variables_infos">
- <xsl:with-param name="var_class" select="'External'"/>
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="variables_infos">
+ <xsl:with-param name="var_class">
+ <xsl:text>External</xsl:text>
+ </xsl:with-param>
</xsl:call-template>
</xsl:template>
<xsl:template match="ppx:tempVars">
- <xsl:call-template name="variables_infos">
- <xsl:with-param name="var_class" select="'Temp'"/>
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="variables_infos">
+ <xsl:with-param name="var_class">
+ <xsl:text>Temp</xsl:text>
+ </xsl:with-param>
</xsl:call-template>
</xsl:template>
<xsl:template match="ppx:inputVars">
- <xsl:call-template name="variables_infos">
- <xsl:with-param name="var_class" select="'Input'"/>
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="variables_infos">
+ <xsl:with-param name="var_class">
+ <xsl:text>Input</xsl:text>
+ </xsl:with-param>
</xsl:call-template>
</xsl:template>
<xsl:template match="ppx:outputVars">
- <xsl:call-template name="variables_infos">
- <xsl:with-param name="var_class" select="'Output'"/>
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="variables_infos">
+ <xsl:with-param name="var_class">
+ <xsl:text>Output</xsl:text>
+ </xsl:with-param>
</xsl:call-template>
</xsl:template>
<xsl:template match="ppx:inOutVars">
- <xsl:call-template name="variables_infos">
- <xsl:with-param name="var_class" select="'InOut'"/>
- </xsl:call-template>
- </xsl:template>
- <xsl:template name="variables_infos">
- <xsl:param name="var_class"/>
- <xsl:for-each select="ppx:variable">
- <variable>
- <name><xsl:value-of select="@name"/></name>
- <class>
- <xsl:apply-templates mode="var_class">
- <xsl:with-param name="default_class">
- <xsl:value-of select="$var_class"/>
- </xsl:with-param>
- </xsl:apply-templates>
- </class>
- <type><xsl:apply-templates mode="var_type"/></type>
- <edit><xsl:apply-templates mode="var_edit"/></edit>
- <debug><xsl:apply-templates mode="var_debug"/></debug>
- </variable>
- </xsl:for-each>
- </xsl:template>
- <xsl:template match="ppx:transition" mode="variable_list">
- <transition>
- <name><xsl:value-of select="@name"/></name>
- <class/>
- <type><xsl:text>None</xsl:text></type>
- <edit><xsl:text>True</xsl:text></edit>
- <debug><xsl:text>True</xsl:text></debug>
- </transition>
- </xsl:template>
- <xsl:template match="ppx:action" mode="variable_list">
- <action>
- <name><xsl:value-of select="@name"/></name>
- <class/>
- <type><xsl:text>None</xsl:text></type>
- <edit><xsl:text>True</xsl:text></edit>
- <debug><xsl:text>True</xsl:text></debug>
- </action>
- </xsl:template>
- <xsl:template match="ppx:resource" mode="variable_list">
- <resource>
- <name><xsl:value-of select="@name"/></name>
- <class/>
- <type><xsl:text>None</xsl:text></type>
- <edit><xsl:text>True</xsl:text></edit>
- <debug><xsl:text>False</xsl:text></debug>
- </resource>
- </xsl:template>
- <xsl:template match="ppx:pouInstance" mode="variable_list">
- <program>
- <name><xsl:value-of select="@name"/></name>
- <class/>
- <type><xsl:value-of select="@typeName"/></type>
- <edit><xsl:text>True</xsl:text></edit>
- <debug><xsl:text>True</xsl:text></debug>
- </program>
- </xsl:template>
- <xsl:template match="*[self::ppx:type or self::ppx:baseType]/ppx:derived" mode="var_class">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="variables_infos">
+ <xsl:with-param name="var_class">
+ <xsl:text>InOut</xsl:text>
+ </xsl:with-param>
+ </xsl:call-template>
+ </xsl:template>
+ <xsl:template name="add_variable">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:param name="name"/>
+ <xsl:param name="class"/>
+ <xsl:param name="type"/>
+ <xsl:param name="edit">
+ <xsl:text>true</xsl:text>
+ </xsl:param>
+ <xsl:param name="debug">
+ <xsl:text>true</xsl:text>
+ </xsl:param>
+ <xsl:value-of select="ns:AddVariable($name, $class, $type, $edit, $debug)"/>
+ </xsl:template>
+ <xsl:template mode="variable_list" match="ppx:action">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="add_variable">
+ <xsl:with-param name="name">
+ <xsl:value-of select="@name"/>
+ </xsl:with-param>
+ <xsl:with-param name="class">
+ <xsl:text>action</xsl:text>
+ </xsl:with-param>
+ </xsl:call-template>
+ </xsl:template>
+ <xsl:template mode="variable_list" match="ppx:transition">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="add_variable">
+ <xsl:with-param name="name">
+ <xsl:value-of select="@name"/>
+ </xsl:with-param>
+ <xsl:with-param name="class">
+ <xsl:text>transition</xsl:text>
+ </xsl:with-param>
+ </xsl:call-template>
+ </xsl:template>
+ <xsl:template mode="variable_list" match="ppx:resource">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="add_variable">
+ <xsl:with-param name="name">
+ <xsl:value-of select="@name"/>
+ </xsl:with-param>
+ <xsl:with-param name="class">
+ <xsl:text>resource</xsl:text>
+ </xsl:with-param>
+ <xsl:with-param name="debug">
+ <xsl:text>false</xsl:text>
+ </xsl:with-param>
+ </xsl:call-template>
+ </xsl:template>
+ <xsl:template mode="variable_list" match="ppx:pouInstance">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:call-template name="add_variable">
+ <xsl:with-param name="name">
+ <xsl:value-of select="@name"/>
+ </xsl:with-param>
+ <xsl:with-param name="class">
+ <xsl:text>program</xsl:text>
+ </xsl:with-param>
+ <xsl:with-param name="type">
+ <xsl:value-of select="@typeName"/>
+ </xsl:with-param>
+ </xsl:call-template>
+ </xsl:template>
+ <xsl:template mode="var_class" match="*[self::ppx:type or self::ppx:baseType]/ppx:derived">
+ <xsl:param name="_indent" select="0"/>
<xsl:param name="default_class"/>
- <ns:pou_class>
- <xsl:value-of select="$default_class"/>
- </ns:pou_class>
- </xsl:template>
- <xsl:template match="ppx:pou" mode="var_class">
- <xsl:param name="default_class"/>
+ <xsl:variable name="type_name" select="@name"/>
+ <xsl:variable name="pou_infos">
+ <xsl:copy-of select="exsl:node-set($project)/ppx:project/ppx:types/ppx:pous/ppx:pou[@name=$type_name] | exsl:node-set($stdlib)/ppx:project/ppx:types/ppx:pous/ppx:pou[@name=$type_name] | exsl:node-set($extensions)/ppx:project/ppx:types/ppx:pous/ppx:pou[@name=$type_name]"/>
+ </xsl:variable>
+ <xsl:choose>
+ <xsl:when test="$pou_infos != ''">
+ <xsl:apply-templates mode="var_class" select="exsl:node-set($pou_infos)">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:value-of select="$default_class"/>
+ </xsl:otherwise>
+ </xsl:choose>
+ </xsl:template>
+ <xsl:template mode="var_class" match="ppx:pou">
+ <xsl:param name="_indent" select="0"/>
<xsl:value-of select="@pouType"/>
</xsl:template>
- <xsl:template match="*[self::ppx:type or self::ppx:baseType]/*" mode="var_class">
+ <xsl:template mode="var_class" match="*[self::ppx:type or self::ppx:baseType]/*">
+ <xsl:param name="_indent" select="0"/>
<xsl:param name="default_class"/>
<xsl:value-of select="$default_class"/>
</xsl:template>
- <xsl:template match="*[self::ppx:type or self::ppx:baseType]/ppx:derived" mode="var_type">
+ <xsl:template mode="var_type" match="*[self::ppx:type or self::ppx:baseType]/ppx:derived">
+ <xsl:param name="_indent" select="0"/>
<xsl:value-of select="@name"/>
</xsl:template>
- <xsl:template match="*[self::ppx:type or self::ppx:baseType]/ppx:array" mode="var_type">
+ <xsl:template mode="var_type" match="*[self::ppx:type or self::ppx:baseType]/ppx:array">
+ <xsl:param name="_indent" select="0"/>
<xsl:text>ARRAY [</xsl:text>
<xsl:for-each select="ppx:dimension">
<xsl:value-of select="@lower"/>
@@ -176,44 +301,78 @@
<xsl:value-of select="@upper"/>
</xsl:for-each>
<xsl:text>] OF </xsl:text>
- <xsl:apply-templates select="ppx:baseType" mode="var_type"/>
- </xsl:template>
- <xsl:template match="*[self::ppx:type or self::ppx:baseType]/ppx:string" mode="var_type">
+ <xsl:apply-templates mode="var_type" select="ppx:baseType">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
+ </xsl:template>
+ <xsl:template mode="var_type" match="*[self::ppx:type or self::ppx:baseType]/ppx:string">
+ <xsl:param name="_indent" select="0"/>
<xsl:text>STRING</xsl:text>
</xsl:template>
- <xsl:template match="*[self::ppx:type or self::ppx:baseType]/ppx:wstring" mode="var_type">
+ <xsl:template mode="var_type" match="*[self::ppx:type or self::ppx:baseType]/ppx:wstring">
+ <xsl:param name="_indent" select="0"/>
<xsl:text>WSTRING</xsl:text>
</xsl:template>
- <xsl:template match="*[self::ppx:type or self::ppx:baseType]/*" mode="var_type">
+ <xsl:template mode="var_type" match="*[self::ppx:type or self::ppx:baseType]/*">
+ <xsl:param name="_indent" select="0"/>
<xsl:value-of select="local-name()"/>
</xsl:template>
- <xsl:template match="*[self::ppx:type or self::ppx:baseType]/ppx:derived" mode="var_edit">
- <ns:is_edited/>
- </xsl:template>
- <xsl:template match="*[self::ppx:type or self::ppx:baseType]/ppx:array" mode="var_edit">
- <xsl:apply-templates select="ppx:baseType" mode="var_edit"/>
- </xsl:template>
- <xsl:template match="*[self::ppx:type or self::ppx:baseType]/*" mode="var_edit">
- <xsl:text>False</xsl:text>
- </xsl:template>
- <xsl:template match="*[self::ppx:type or self::ppx:baseType]/ppx:derived" mode="var_debug">
- <ns:is_debugged/>
- </xsl:template>
- <xsl:template match="ppx:pou" mode="var_debug">
- <xsl:text>True</xsl:text>
- </xsl:template>
- <xsl:template match="*[self::ppx:type or self::ppx:baseType]/ppx:array" mode="var_debug">
- <xsl:text>False</xsl:text>
- </xsl:template>
- <xsl:template match="*[self::ppx:type or self::ppx:baseType]/ppx:struct" mode="var_debug">
- <xsl:text>False</xsl:text>
- </xsl:template>
- <xsl:template match="*[self::ppx:type or self::ppx:baseType]/*" mode="var_debug">
- <xsl:text>True</xsl:text>
- </xsl:template>
- <xsl:template match="text()"/>
- <xsl:template match="text()" mode="var_class"/>
- <xsl:template match="text()" mode="var_type"/>
- <xsl:template match="text()" mode="var_edit"/>
- <xsl:template match="text()" mode="var_debug"/>
-</xsl:stylesheet>
\ No newline at end of file
+ <xsl:template mode="var_edit" match="*[self::ppx:type or self::ppx:baseType]/ppx:derived">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:variable name="type_name" select="@name"/>
+ <xsl:variable name="pou_infos">
+ <xsl:copy-of select="exsl:node-set($project)/ppx:project/ppx:types/ppx:pous/ppx:pou[@name=$type_name]"/>
+ </xsl:variable>
+ <xsl:choose>
+ <xsl:when test="$pou_infos != ''">
+ <xsl:text>true</xsl:text>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:text>false</xsl:text>
+ </xsl:otherwise>
+ </xsl:choose>
+ </xsl:template>
+ <xsl:template mode="var_edit" match="*[self::ppx:type or self::ppx:baseType]/ppx:array">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:apply-templates mode="var_edit" select="ppx:baseType">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
+ </xsl:template>
+ <xsl:template mode="var_edit" match="*[self::ppx:type or self::ppx:baseType]/*">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:text>false</xsl:text>
+ </xsl:template>
+ <xsl:template mode="var_debug" match="*[self::ppx:type or self::ppx:baseType]/ppx:derived">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:variable name="type_name" select="@name"/>
+ <xsl:variable name="datatype_infos">
+ <xsl:copy-of select="exsl:node-set($project)/ppx:project/ppx:types/ppx:pous/ppx:pou[@name=$type_name] | exsl:node-set($project)/ppx:project/ppx:types/ppx:dataTypes/ppx:dataType[@name=$type_name] | exsl:node-set($stdlib)/ppx:project/ppx:types/ppx:dataTypes/ppx:dataType[@name=$type_name] | exsl:node-set($extensions)/ppx:project/ppx:types/ppx:dataTypes/ppx:dataType[@name=$type_name]"/>
+ </xsl:variable>
+ <xsl:choose>
+ <xsl:when test="$datatype_infos != ''">
+ <xsl:apply-templates mode="var_debug" select="exsl:node-set($datatype_infos)">
+ <xsl:with-param name="_indent" select="$_indent + (1) * $autoindent"/>
+ </xsl:apply-templates>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:text>false</xsl:text>
+ </xsl:otherwise>
+ </xsl:choose>
+ </xsl:template>
+ <xsl:template mode="var_debug" match="ppx:pou">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:text>true</xsl:text>
+ </xsl:template>
+ <xsl:template mode="var_debug" match="*[self::ppx:type or self::ppx:baseType]/ppx:array">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:text>false</xsl:text>
+ </xsl:template>
+ <xsl:template mode="var_debug" match="*[self::ppx:type or self::ppx:baseType]/ppx:struct">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:text>false</xsl:text>
+ </xsl:template>
+ <xsl:template mode="var_debug" match="*[self::ppx:type or self::ppx:baseType]/*">
+ <xsl:param name="_indent" select="0"/>
+ <xsl:text>true</xsl:text>
+ </xsl:template>
+</xsl:stylesheet>