/*
 * Amazon FreeRTOS Demo Bootloader V1.4.7
 * Copyright (C) 2018 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
 *
 * 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 NONINFRINGEMENT. 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.
 *
 * http://aws.amazon.com/freertos
 * http://www.FreeRTOS.org
 */


/**
 * @file aws_boot_log.c
 * @brief Bootloader logging utilities.
 */

/* Standard includes.*/
#include <stdarg.h>
#include <stddef.h>
#include <stdint.h>

/* Bootloader includes.*/
#include "aws_boot_log.h"

/* Print string buffer.*/
static char cprintBuffer[ BOOT_LOG_PRINT_BUFFER_SIZE ];

/*-----------------------------------------------------------*/

/**
 * @brief Formats a string to be printed and sends it to uart console.
 */
void BOOT_LOG_Printf( const char * pcFormat,
                      ... )
{
    size_t xLength = 0;
    int32_t xLength2 = 0;
    va_list args;

    /* There are a variable number of parameters. */
    va_start( args, pcFormat );

    xLength2 = vsnprintf( cprintBuffer, BOOT_LOG_PRINT_BUFFER_SIZE, pcFormat, args );

    if( xLength2 < 0 )
    {
        /* vsnprintf() failed. Restore the terminating NULL
         * character of the first part.*/
        xLength2 = 0;
        cprintBuffer[ xLength ] = '\0';
    }

    xLength += ( size_t ) xLength2;
    va_end( args );

    if( xLength > 0 )
    {
        BOOT_LOG_UART_Write( cprintBuffer, xLength );
    }
}