/**
 * @file   TigerTci.c
 * @brief
 * @author Andrey Orlenko (a.orlenko@samsung.com)
 * @date   Sep 27, 2016
 *
 * Copyright (c) 2016 Samsung Electronics Co., Ltd. All rights reserved.
 *
 * Created in Samsung Ukraine R&D Center (SRK) under a contract between
 * LLC "Samsung Electronics Ukraine Company" (Kiev, Ukraine)
 * and "Samsung Electronics Co", Ltd (Seoul, Republic of Korea)
 **/

#include "TigerTci.h"

const char* getTciCommandIdStr(TciCommandId_t cmd) {
    if (cmd == TCI_CMD_ID_GENERATE_KEY)
        return "TCI_CMD_ID_GENERATE_KEY";
    else if (cmd == TCI_CMD_ID_EXISTS_KEY)
        return "TCI_CMD_ID_EXISTS_KEY";
    else if (cmd == TCI_CMD_ID_EXPORT_KEY)
        return "TCI_CMD_ID_EXPORT_KEY";
    else if (cmd == TCI_CMD_ID_DELETE_KEY)
        return "TCI_CMD_ID_DELETE_KEY";
    else if (cmd == TCI_CMD_ID_CLEAR_ALL)
        return "TCI_CMD_ID_CLEAR_ALL";
    else if (cmd == TCI_CMD_ID_INIT_SIGN)
        return "TCI_CMD_ID_INIT_SIGN";
    else if (cmd == TCI_CMD_ID_SIGN_FINISH)
        return "TCI_CMD_ID_SIGN_FINISH";
    else if (cmd == TCI_CMD_ID_SAVE_ATTK_KEY)
        return "TCI_CMD_ID_SAVE_ATTK_KEY";
    else if (cmd == TCI_CMD_ID_EXPORT_ATTK_PUB)
        return "TCI_CMD_ID_EXPORT_ATTK_PUB";
    else if (cmd == TCI_CMD_ID_CHECK_DEVICE_STATUS)
        return "TCI_CMD_ID_CHECK_DEVICE_STATUS";
    else if (cmd == TCI_CMD_ID_SSKDS_SET_STATUS)
        return "TCI_CMD_ID_SSKDS_SET_STATUS";
    else if (cmd == TCI_CMD_ID_SETUP_AUTH_KEY)
        return "TCI_CMD_ID_SETUP_AUTH_KEY";
    else if (cmd == TCI_CMD_ID_SSKDS_SET)
        return "TCI_CMD_ID_SSKDS_SET";
    else if (cmd == TCI_CMD_ID_SSKDS_GET)
        return "TCI_CMD_ID_SSKDS_GET";
    else if (cmd == TCI_CMD_ID_RUN_TA_TESTS)
        return "TCI_CMD_ID_RUN_TA_TESTS";
    else if (cmd == TCI_CMD_ID_EXPORT_DEVICE_ID)
        return "TCI_CMD_ID_EXPORT_DEVICE_ID";
    else if (cmd == TCI_CMD_ID_IMPORT_CHIP_NAME)
        return "TCI_CMD_ID_IMPORT_CHIP_NAME";
    else if (cmd == TCI_CMD_ID_GET_UIDS)
        return "TCI_CMD_ID_GET_UIDS";
    else if (cmd == TCI_CMD_ID_CLEAR_USER_DATA)
        return "TCI_CMD_ID_CLEAR_USER_DATA";
    else if (cmd == TCI_CMD_ID_SSKDS_SIGN)
        return "TCI_CMD_ID_SSKDS_SIGN";
    else if (cmd == TCI_CMD_ID_CLEAR_SFS)
        return "TCI_CMD_ID_CLEAR_SFS";
    else if (cmd == TCI_CMD_ID_SERVICE_CHECK_DEVICE_STATUS)
        return "TCI_CMD_ID_SERVICE_CHECK_DEVICE_STATUS";
#ifdef SVTS_CMD_ID_SUPPORT
    else if (cmd == TCI_CMD_ID_SVTS_SAVE_ATTK_CERT)
        return "TCI_CMD_ID_SVTS_SAVE_ATTK_CERT";
    else if (cmd == TCI_CMD_ID_SVTS_SAVE_ATTK_PRIV)
        return "TCI_CMD_ID_SVTS_SAVE_ATTK_PRIV";
    else if (cmd == TCI_CMD_ID_SVTS_SAVE_DEVICE_CERT)
        return "TCI_CMD_ID_SVTS_SAVE_DEVICE_CERT";
    else if (cmd == TCI_CMD_ID_SVTS_REMOVE_ALL_FILES)
        return "TCI_CMD_ID_SVTS_REMOVE_ALL_FILES";
#endif
    else
        return "UNKNOWN_COMMAND_ID";
}