<?xml version="1.0" encoding="UTF-8"?>
|
|
<!-- Copyright (c) 2014, STMicroelectronics International N.V. -->
|
<!-- All rights reserved. -->
|
<!-- Copyright (c) 2020, Linaro Limited -->
|
<!-- -->
|
<!-- Redistribution and use in source and binary forms, with or without -->
|
<!-- modification, are permitted provided that the following conditions are met: -->
|
<!-- -->
|
<!-- 1. Redistributions of source code must retain the above copyright notice, -->
|
<!-- this list of conditions and the following disclaimer. -->
|
<!-- -->
|
<!-- 2. Redistributions in binary form must reproduce the above copyright notice, -->
|
<!-- this list of conditions and the following disclaimer in the documentation -->
|
<!-- and/or other materials provided with the distribution. -->
|
<!-- -->
|
<!-- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" -->
|
<!-- AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -->
|
<!-- IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -->
|
<!-- ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE -->
|
<!-- LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR -->
|
<!-- CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF -->
|
<!-- SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS -->
|
<!-- INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN -->
|
<!-- CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) -->
|
<!-- ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE -->
|
<!-- POSSIBILITY OF SUCH DAMAGE. -->
|
|
<xsl:stylesheet version="1.0"
|
xmlns:fn="http://www.w3.org/2005/xpath-functions" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
|
|
<xsl:output method="text"/>
|
<xsl:strip-space elements="*"/>
|
<xsl:param name="target"/>
|
|
<xsl:template match="package">
|
<xsl:text>
|
/*
|
* Copyright (c) 2014, STMicroelectronics International N.V.
|
*
|
* This program is free software; you can redistribute it and/or modify
|
* it under the terms of the GNU General Public License Version 2 as
|
* published by the Free Software Foundation.
|
*
|
* This program is distributed in the hope that it will be useful,
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
* GNU General Public License for more details.
|
*
|
* You should have received a copy of the GNU General Public License along
|
* with this program; if not, write to the Free Software Foundation, Inc.,
|
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
|
*/
|
|
|
#include "xml_crypto_api.h"
|
|
</xsl:text>
|
<xsl:for-each select="initial-state/scenario">
|
/*<xsl:value-of select="substring(substring-after(./@name, '('), 0, 9)" />*/
|
static void xtest_tee_<xsl:value-of select="position()+50000" />(ADBG_Case_t *c)
|
{
|
declare_local_vars
|
|
<xsl:for-each select="./preamble/call/operation">
|
<xsl:apply-templates select="."></xsl:apply-templates>
|
</xsl:for-each>
|
<xsl:for-each select="./body/call/operation|./body/call/observations/operation">
|
<xsl:apply-templates select="."></xsl:apply-templates>
|
</xsl:for-each>
|
<xsl:for-each select="./verification/call/operation">
|
<xsl:apply-templates select="."></xsl:apply-templates>
|
</xsl:for-each>
|
<xsl:for-each select="./postamble/call/operation">
|
<xsl:apply-templates select="."></xsl:apply-templates>
|
</xsl:for-each>
|
<xsl:if test="position()=last()"><xsl:text>
|
crypto_reset();</xsl:text></xsl:if>
|
}
|
</xsl:for-each>
|
|
<xsl:for-each select="initial-state/scenario">
|
<xsl:variable name="position" select="position()+50000" />
|
ADBG_CASE_DEFINE(gp, <xsl:value-of select="$position" />, xtest_tee_<xsl:value-of select="$position" /><xsl:text>, "</xsl:text><xsl:value-of select="substring(substring-after(./@name, '('), 0, 9)" /><xsl:text>");</xsl:text>
|
</xsl:for-each>
|
</xsl:template>
|
|
<xsl:template match="operation">
|
<xsl:choose>
|
<!--Call an operation with ADBG_EXPECT() macro.-->
|
<xsl:when test="(contains(./argument[last()]/parameter/@name, 'xpected'))"> ADBG_EXPECT_TEEC_RESULT(c, <xsl:for-each select="./argument"><xsl:if test="position()=last()"><xsl:apply-templates select="value"></xsl:apply-templates></xsl:if></xsl:for-each>, <xsl:apply-templates select="./@name"></xsl:apply-templates><xsl:for-each select="./argument/value"><xsl:if test="position()>1 and not(position()=last())">, </xsl:if><xsl:if test="not(position()=last())"><xsl:apply-templates select="."></xsl:apply-templates></xsl:if>
|
</xsl:for-each>));
|
</xsl:when>
|
<xsl:otherwise>
|
<xsl:text> </xsl:text><xsl:apply-templates select="./@name"></xsl:apply-templates><xsl:for-each select="./argument"><xsl:if test="position()>1">, </xsl:if>
|
<xsl:apply-templates select="./value"></xsl:apply-templates>
|
</xsl:for-each>);
|
</xsl:otherwise>
|
</xsl:choose>
|
</xsl:template>
|
|
<xsl:template match="value">
|
<xsl:choose>
|
<xsl:when test="(contains(./@name, 'UUID'))"><xsl:text>&</xsl:text><xsl:value-of select="./@name" />
|
</xsl:when>
|
<xsl:when test="(contains(../type/@name, 'ALL_ATTRIBUTE_VALUES'))"><xsl:value-of select="./@name" /><xsl:text>, sizeof(</xsl:text><xsl:value-of select="./@name" /><xsl:text>)</xsl:text>
|
</xsl:when>
|
<xsl:when test="(../type/@name='ALL_TEE_NAMES' and ./@name='NULL')"><xsl:text>xtest_tee_name</xsl:text> </xsl:when>
|
<xsl:when test="(../type/@name='ALL_TEE_OBJECT_HANDLES' and ./@name='NULL')"><xsl:text>OBJECT_HANDLE_NULL</xsl:text> </xsl:when>
|
<xsl:otherwise>
|
<!--xsl:text>&</xsl:text--><xsl:value-of select="./@name" />
|
</xsl:otherwise>
|
</xsl:choose>
|
</xsl:template>
|
|
<xsl:template match="parameter">
|
<xsl:value-of select="./@name" />
|
</xsl:template>
|
|
<xsl:template match="@name">
|
<xsl:choose>
|
<xsl:when test="(contains(., 'Invoke'))"><xsl:value-of select="." /><xsl:text>(c, </xsl:text> </xsl:when>
|
<xsl:when test="(contains(., 'Macro'))"><xsl:value-of select="." /><xsl:text>(c, </xsl:text> </xsl:when>
|
<xsl:when test="(contains(., 'Check'))"><xsl:value-of select="." /><xsl:text>(c, </xsl:text> </xsl:when>
|
<xsl:when test="(contains(., '_flag'))"><xsl:value-of select="." /><xsl:text>(</xsl:text> </xsl:when>
|
<xsl:when test="(contains(., 'add_attribute'))"><xsl:value-of select="." /><xsl:text>(</xsl:text> </xsl:when>
|
<xsl:otherwise>
|
<xsl:text>TEEC_</xsl:text><xsl:value-of select="." /><xsl:text>(</xsl:text>
|
</xsl:otherwise>
|
</xsl:choose>
|
</xsl:template>
|
|
</xsl:stylesheet>
|
