/* SPDX-License-Identifier: BSD-2-Clause */

/**
 * @file
 *
 * @ingroup AcfgValDefault
 */

/*
 * Copyright (C) 2021 embedded brains GmbH & Co. KG
 *
 * 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 OWNER 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.
 */

/*
 * This file is part of the RTEMS quality process and was automatically
 * generated.  If you find something that needs to be fixed or
 * worded better please post a report or patch to an RTEMS mailing list
 * or raise a bug report:
 *
 * https://www.rtems.org/bugs.html
 *
 * For information on updating and regenerating please refer to the How-To
 * section in the Software Requirements Engineering chapter of the
 * RTEMS Software Engineering manual.  The manual is provided as a part of
 * a release.  For development sources please refer to the online
 * documentation at:
 *
 * https://docs.rtems.org
 */

#ifdef HAVE_CONFIG_H
#include "config.h"
#endif

#include <bsp.h>
#include <string.h>
#include <rtems/score/userextdata.h>

#include "tx-support.h"

#include <rtems/test.h>

/**
 * @defgroup AcfgValDefault spec:/acfg/val/default
 *
 * @ingroup TestsuitesValidationAcfg0
 *
 * @brief Tests the default values of application configuration options.
 *
 * This test case performs the following actions:
 *
 * - Check the effect of application configuration options with optional
 *   BSP-provided settings.
 *
 *   - Check the configured CONFIGURE_IDLE_TASK_BODY.
 *
 *   - Check the default value of CONFIGURE_IDLE_TASK_STACK_SIZE where the
 *     optional BSP-provided default value is enabled.
 *
 *   - Check the default value of CONFIGURE_INTERRUPT_STACK_SIZE where the
 *     optional BSP-provided default value is enabled.
 *
 *   - Check the BSP-provided initial extension is registered.
 *
 * - Try to create a barrier.
 *
 *   - Check that the returned status code is RTEMS_TOO_MANY.
 *
 * - Try to construct a message queue.
 *
 *   - Check that the returned status code is RTEMS_TOO_MANY.
 *
 * - Try to create a partition.
 *
 *   - Check that the returned status code is RTEMS_TOO_MANY.
 *
 * - Try to create a period.
 *
 *   - Check that the returned status code is RTEMS_TOO_MANY.
 *
 * - Check that the processor maximum is one.
 *
 * - Try to create a semaphore.
 *
 *   - Check that the returned status code is RTEMS_TOO_MANY.
 *
 * - Try to construct a task.
 *
 *   - Check that the returned status code is RTEMS_TOO_MANY.
 *
 *   - Check the default CONFIGURE_MAXIMUM_TASKS value.  A maximum Classic API
 *     task value of zero is only configurable if
 *     CONFIGURE_IDLE_TASK_INITIALIZES_APPLICATION is defined or
 *     CONFIGURE_MAXIMUM_POSIX_THREADS is set to a positive value.  The default
 *     value of zero for CONFIGURE_MAXIMUM_POSIX_THREADS is used by the test
 *     suite containing the test case.  The test suite defines
 *     CONFIGURE_IDLE_TASK_INITIALIZES_APPLICATION.
 *
 * - Try to create a timer.
 *
 *   - Check that the returned status code is RTEMS_TOO_MANY.
 *
 * - Try to create a user extension set.
 *
 *   - Check that the returned status code is RTEMS_TOO_MANY.
 *
 * @{
 */

#define NAME rtems_build_name( 'N', 'A', 'M', 'E' )

RTEMS_ALIGNED(RTEMS_TASK_STORAGE_ALIGNMENT) static char task_storage[
  RTEMS_TASK_STORAGE_SIZE(
    RTEMS_MINIMUM_STACK_SIZE,
    RTEMS_DEFAULT_ATTRIBUTES
  )
];

static const rtems_task_config task_config = {
  .name = NAME,
  .initial_priority = 1,
  .storage_area = task_storage,
  .storage_size = sizeof( task_storage ),
  .maximum_thread_local_storage_size = 0,
  .initial_modes = RTEMS_DEFAULT_MODES,
  .attributes = RTEMS_DEFAULT_ATTRIBUTES
};

/**
 * @brief Check the effect of application configuration options with optional
 *   BSP-provided settings.
 */
static void AcfgValDefault_Action_0( void )
{
  rtems_extensions_table bsp = BSP_INITIAL_EXTENSION;

  /*
   * Check the configured CONFIGURE_IDLE_TASK_BODY.
   */
  T_step_eq_ptr( 0, rtems_configuration_get_idle_task(), IdleBody );

  /*
   * Check the default value of CONFIGURE_IDLE_TASK_STACK_SIZE where the
   * optional BSP-provided default value is enabled.
   */
  T_step_eq_sz(
    1,
    rtems_configuration_get_idle_task_stack_size(),
  #if defined(BSP_IDLE_TASK_STACK_SIZE)
    BSP_IDLE_TASK_STACK_SIZE
  #else
    CPU_STACK_MINIMUM_SIZE
  #endif
  );

  /*
   * Check the default value of CONFIGURE_INTERRUPT_STACK_SIZE where the
   * optional BSP-provided default value is enabled.
   */
  T_step_eq_sz(
    2,
    rtems_configuration_get_interrupt_stack_size(),
  #if defined(BSP_INTERRUPT_STACK_SIZE)
    BSP_INTERRUPT_STACK_SIZE
  #else
    CPU_STACK_MINIMUM_SIZE
  #endif
  );

  /*
   * Check the BSP-provided initial extension is registered.
   */
  T_step_eq_sz( 3, _User_extensions_Initial_count, 1 );
  T_step_eq_ptr(
    4,
    _User_extensions_Initial_extensions[ 0 ].fatal,
    bsp.fatal
  );
}

/**
 * @brief Try to create a barrier.
 */
static void AcfgValDefault_Action_1( void )
{
  rtems_status_code sc;
  rtems_id          id;

  sc = rtems_barrier_create(
    NAME,
    RTEMS_DEFAULT_ATTRIBUTES,
    1,
    &id
  );

  /*
   * Check that the returned status code is RTEMS_TOO_MANY.
   */
  T_step_rsc( 5, sc, RTEMS_TOO_MANY );
}

/**
 * @brief Try to construct a message queue.
 */
static void AcfgValDefault_Action_2( void )
{
  rtems_message_queue_config      config;
  RTEMS_MESSAGE_QUEUE_BUFFER( 1 ) buffers[ 1 ];
  rtems_status_code               sc;
  rtems_id                        id;

  memset( &config, 0, sizeof( config ) );
  config.name = NAME;
  config.maximum_pending_messages = 1;
  config.maximum_message_size = 1;
  config.storage_size = sizeof( buffers );
  config.storage_area = buffers;
  config.attributes = RTEMS_DEFAULT_ATTRIBUTES;

  sc = rtems_message_queue_construct( &config, &id );

  /*
   * Check that the returned status code is RTEMS_TOO_MANY.
   */
  T_step_rsc( 6, sc, RTEMS_TOO_MANY );
}

/**
 * @brief Try to create a partition.
 */
static void AcfgValDefault_Action_3( void )
{
  RTEMS_ALIGNED( RTEMS_PARTITION_ALIGNMENT ) uint8_t buffers[ 1 ][ 32 ];
  rtems_status_code                                  sc;
  rtems_id                                           id;

  sc = rtems_partition_create(
    NAME,
    buffers,
    sizeof( buffers ),
    sizeof( buffers[ 0 ] ),
    RTEMS_DEFAULT_ATTRIBUTES,
    &id
  );

  /*
   * Check that the returned status code is RTEMS_TOO_MANY.
   */
  T_step_rsc( 7, sc, RTEMS_TOO_MANY );
}

/**
 * @brief Try to create a period.
 */
static void AcfgValDefault_Action_4( void )
{
  rtems_status_code sc;
  rtems_id          id;

  sc = rtems_rate_monotonic_create( NAME, &id );

  /*
   * Check that the returned status code is RTEMS_TOO_MANY.
   */
  T_step_rsc( 8, sc, RTEMS_TOO_MANY );
}

/**
 * @brief Check that the processor maximum is one.
 */
static void AcfgValDefault_Action_5( void )
{
  T_step_eq_u32( 9, rtems_scheduler_get_processor_maximum(), 1 );
}

/**
 * @brief Try to create a semaphore.
 */
static void AcfgValDefault_Action_6( void )
{
  rtems_status_code sc;
  rtems_id          id;

  sc = rtems_semaphore_create(
    NAME,
    0,
    RTEMS_DEFAULT_ATTRIBUTES,
    0,
    &id
  );

  /*
   * Check that the returned status code is RTEMS_TOO_MANY.
   */
  T_step_rsc( 10, sc, RTEMS_TOO_MANY );
}

/**
 * @brief Try to construct a task.
 */
static void AcfgValDefault_Action_7( void )
{
  rtems_status_code sc;
  rtems_id          id;

  sc = rtems_task_construct( &task_config, &id );

  /*
   * Check that the returned status code is RTEMS_TOO_MANY.
   */
  T_step_rsc( 11, sc, RTEMS_TOO_MANY );

  /*
   * Check the default CONFIGURE_MAXIMUM_TASKS value.  A maximum Classic API
   * task value of zero is only configurable if
   * CONFIGURE_IDLE_TASK_INITIALIZES_APPLICATION is defined or
   * CONFIGURE_MAXIMUM_POSIX_THREADS is set to a positive value.  The default
   * value of zero for CONFIGURE_MAXIMUM_POSIX_THREADS is used by the test
   * suite containing the test case.  The test suite defines
   * CONFIGURE_IDLE_TASK_INITIALIZES_APPLICATION.
   */
  T_step_eq_u32( 12, rtems_configuration_get_maximum_tasks(), 0 );
}

/**
 * @brief Try to create a timer.
 */
static void AcfgValDefault_Action_8( void )
{
  rtems_status_code sc;
  rtems_id          id;

  sc = rtems_timer_create( NAME, &id );

  /*
   * Check that the returned status code is RTEMS_TOO_MANY.
   */
  T_step_rsc( 13, sc, RTEMS_TOO_MANY );
}

/**
 * @brief Try to create a user extension set.
 */
static void AcfgValDefault_Action_9( void )
{
  rtems_extensions_table table;
  rtems_status_code      sc;
  rtems_id               id;

  memset( &table, 0, sizeof( table ) );
  sc = rtems_extension_create( NAME, &table, &id );

  /*
   * Check that the returned status code is RTEMS_TOO_MANY.
   */
  T_step_rsc( 14, sc, RTEMS_TOO_MANY );
}

/**
 * @fn void T_case_body_AcfgValDefault( void )
 */
T_TEST_CASE( AcfgValDefault )
{
  T_plan( 15 );

  AcfgValDefault_Action_0();
  AcfgValDefault_Action_1();
  AcfgValDefault_Action_2();
  AcfgValDefault_Action_3();
  AcfgValDefault_Action_4();
  AcfgValDefault_Action_5();
  AcfgValDefault_Action_6();
  AcfgValDefault_Action_7();
  AcfgValDefault_Action_8();
  AcfgValDefault_Action_9();
}

/** @} */