esp32-s2_dfu/tests/lpc18xx_43xx/test/test_assertion.c

/* 
 * The MIT License (MIT)
 *
 * Copyright (c) 2018, hathach (tinyusb.org)
 *
 * 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.
 *
 * This file is part of the TinyUSB stack.
 */

#define _TEST_ASSERT_

#include <stdint.h>
#include <stdio.h>
#include <stdbool.h>
#include "unity.h"
#include "CException.h"
#include "binary.h"
#include "common/assertion.h"
#include "tusb_errors.h"

CEXCEPTION_T e;

void setUp(void)
{
  e = 0;
}

void tearDown(void)
{
}

//--------------------------------------------------------------------+
// Error Status
//--------------------------------------------------------------------+
void test_assert_status(void)
{
  Try
  {
    ASSERT_STATUS(TUSB_ERROR_NONE);
    ASSERT_STATUS(TUSB_ERROR_INVALID_PARA);
  }
  Catch (e)
  {
  }
}

//--------------------------------------------------------------------+
// Logical
//--------------------------------------------------------------------+
void test_assert_logical_true(void)
{
  Try
  {
    ASSERT       (true , __LINE__);
    ASSERT_TRUE  (true , __LINE__);
    ASSERT_TRUE  (false, 0);
  }
  Catch(e)
  {
    TEST_ASSERT_EQUAL(0, e);
  }
}

void test_assert_logical_false(void)
{
  Try
  {
    ASSERT_FALSE (false, __LINE__);
    ASSERT_FALSE (true , 0);
  }
  Catch(e)
  {
    TEST_ASSERT_EQUAL(0, e);
  }
}
//--------------------------------------------------------------------+
// Pointer
//--------------------------------------------------------------------+
void test_assert_pointer_not_null(void)
{
  uint32_t n;

  Try
  {
    ASSERT_PTR_NOT_NULL(&n, __LINE__);
    ASSERT_PTR(&n, __LINE__);
    ASSERT_PTR(NULL, 0);
  }
  Catch(e)
  {
    TEST_ASSERT_EQUAL(0, e);
  }
}

void test_assert_pointer_null(void)
{
  uint32_t n;

  Try
  {
    ASSERT_PTR_NULL(NULL, __LINE__);
    ASSERT_PTR_NULL(&n, 0);
  }
  Catch(e)
  {
    TEST_ASSERT_EQUAL(0, e);
  }
}

//--------------------------------------------------------------------+
// Integer
//--------------------------------------------------------------------+
void test_assert_int_eqal(void)
{
  Try
  {
    ASSERT_INT       (1, 1, __LINE__);
    ASSERT_INT_EQUAL (1, 1, __LINE__);

    // test side effect
    uint32_t x = 0;
    uint32_t y = 0;
    ASSERT_INT (x++, y++, __LINE__);
    TEST_ASSERT_EQUAL(1, x);
    TEST_ASSERT_EQUAL(1, y);

    ASSERT_INT (1, 0, 0);
  }
  Catch(e)
  {
    TEST_ASSERT_EQUAL(0, e);
  }
}

void test_assert_int_within(void)
{
  Try
  {
    ASSERT_INT_WITHIN (1, 5, 3, __LINE__);
    ASSERT_INT_WITHIN (1, 5, 1, __LINE__);
    ASSERT_INT_WITHIN (1, 5, 5, __LINE__);

    ASSERT_INT_WITHIN (1, 5, 0, 0);
    ASSERT_INT_WITHIN (1, 5, 10, 0);
  }
  Catch(e)
  {
    TEST_ASSERT_EQUAL(0, e);
  }
}

void test_assert_int_within_greater(void)
{
  Try
  {
    ASSERT_INT_WITHIN (1, 5, 10, 0);
  }
  Catch(e)
  {
    TEST_ASSERT_EQUAL(0, e);
  }

}

void test_assert_int_within_less(void)
{
  Try
  {
    ASSERT_INT_WITHIN (1, 5, 0, 0);
  }
  Catch(e)
  {
    TEST_ASSERT_EQUAL(0, e);
  }

}

//--------------------------------------------------------------------+
// HEX
//--------------------------------------------------------------------+
void test_assert_hex_equal(void)
{
  Try
  {
    ASSERT_HEX       (0xffee, 0xffee, __LINE__);
    ASSERT_HEX_EQUAL (0xffee, 0xffee, __LINE__);

    // test side effect
    uint32_t x = 0xf0f0;
    uint32_t y = 0xf0f0;
    ASSERT_HEX (x++, y++, __LINE__);
    TEST_ASSERT_EQUAL(0xf0f1, x);
    TEST_ASSERT_EQUAL(0xf0f1, y);

    ASSERT_HEX(0x1234, 0x4321, 0);
  }
  Catch(e)
  {
    TEST_ASSERT_EQUAL(0, e);
  }
}

void test_assert_hex_within(void)
{
  Try
  {
    ASSERT_HEX_WITHIN (0xff00, 0xffff, 0xff11, __LINE__);
    ASSERT_HEX_WITHIN (0xff00, 0xffff, 0xff00, __LINE__);
    ASSERT_HEX_WITHIN (0xff00, 0xffff, 0xffff, __LINE__);
  }
  Catch (e)
  {
    TEST_ASSERT_EQUAL(0, e);
  }
}

void test_assert_hex_within_less(void)
{
  Try
  {
    ASSERT_HEX_WITHIN (0xff00, 0xffff, 0xeeee, 0);
  }
  Catch(e)
  {
    TEST_ASSERT_EQUAL(0, e);
  }
}

void test_assert_hex_within_greater(void)
{
  Try
  {
    ASSERT_HEX_WITHIN (0xff00, 0xffff, 0x1eeee, 0);
  }
  Catch(e)
  {
    TEST_ASSERT_EQUAL(0, e);
  }
}

//--------------------------------------------------------------------+
// BIN
//--------------------------------------------------------------------+
void test_assert_bin_equal(void)
{
  Try
  {
    ASSERT_BIN8       (TU_BIN8(11110000), TU_BIN8(11110000), __LINE__);
    ASSERT_BIN8_EQUAL (TU_BIN8(00001111), TU_BIN8(00001111), __LINE__);

    // test side effect
    uint32_t x = TU_BIN8(11001100);
    uint32_t y = TU_BIN8(11001100);
    ASSERT_BIN8 (x++, y++, __LINE__);
    TEST_ASSERT_EQUAL(TU_BIN8(11001101), x);
    TEST_ASSERT_EQUAL(TU_BIN8(11001101), y);

    ASSERT_BIN8(TU_BIN8(11001111), TU_BIN8(11111100), 0);
  }
  Catch(e)
  {
    TEST_ASSERT_EQUAL(0, e);
  }
}