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

/**
 * @file
 *
 * @ingroup ScoreMtxReqSeizeWait
 */

/*
 * 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
 */

#ifndef _TR_MTX_SEIZE_WAIT_H
#define _TR_MTX_SEIZE_WAIT_H

#include "tx-thread-queue.h"

#ifdef __cplusplus
extern "C" {
#endif

/**
 * @addtogroup ScoreMtxReqSeizeWait
 *
 * @{
 */

typedef enum {
  ScoreMtxReqSeizeWait_Pre_Protocol_None,
  ScoreMtxReqSeizeWait_Pre_Protocol_Inherit,
  ScoreMtxReqSeizeWait_Pre_Protocol_Ceiling,
  ScoreMtxReqSeizeWait_Pre_Protocol_MrsP,
  ScoreMtxReqSeizeWait_Pre_Protocol_NA
} ScoreMtxReqSeizeWait_Pre_Protocol;

typedef enum {
  ScoreMtxReqSeizeWait_Pre_Discipline_FIFO,
  ScoreMtxReqSeizeWait_Pre_Discipline_Priority,
  ScoreMtxReqSeizeWait_Pre_Discipline_NA
} ScoreMtxReqSeizeWait_Pre_Discipline;

typedef enum {
  ScoreMtxReqSeizeWait_Pre_DeadlockResult_Status,
  ScoreMtxReqSeizeWait_Pre_DeadlockResult_Fatal,
  ScoreMtxReqSeizeWait_Pre_DeadlockResult_NA
} ScoreMtxReqSeizeWait_Pre_DeadlockResult;

typedef enum {
  ScoreMtxReqSeizeWait_Pre_Recursive_Allowed,
  ScoreMtxReqSeizeWait_Pre_Recursive_Deadlock,
  ScoreMtxReqSeizeWait_Pre_Recursive_NA
} ScoreMtxReqSeizeWait_Pre_Recursive;

typedef enum {
  ScoreMtxReqSeizeWait_Pre_Owner_None,
  ScoreMtxReqSeizeWait_Pre_Owner_Caller,
  ScoreMtxReqSeizeWait_Pre_Owner_Other,
  ScoreMtxReqSeizeWait_Pre_Owner_Deadlock,
  ScoreMtxReqSeizeWait_Pre_Owner_NA
} ScoreMtxReqSeizeWait_Pre_Owner;

typedef enum {
  ScoreMtxReqSeizeWait_Pre_Priority_High,
  ScoreMtxReqSeizeWait_Pre_Priority_Equal,
  ScoreMtxReqSeizeWait_Pre_Priority_Low,
  ScoreMtxReqSeizeWait_Pre_Priority_NA
} ScoreMtxReqSeizeWait_Pre_Priority;

typedef enum {
  ScoreMtxReqSeizeWait_Post_Status_Ok,
  ScoreMtxReqSeizeWait_Post_Status_MutexCeilingViolated,
  ScoreMtxReqSeizeWait_Post_Status_DeadlockStatus,
  ScoreMtxReqSeizeWait_Post_Status_DeadlockFatal,
  ScoreMtxReqSeizeWait_Post_Status_NA
} ScoreMtxReqSeizeWait_Post_Status;

typedef enum {
  ScoreMtxReqSeizeWait_Post_Enqueued_No,
  ScoreMtxReqSeizeWait_Post_Enqueued_FIFO,
  ScoreMtxReqSeizeWait_Post_Enqueued_Priority,
  ScoreMtxReqSeizeWait_Post_Enqueued_PriorityInherit,
  ScoreMtxReqSeizeWait_Post_Enqueued_PriorityCeiling,
  ScoreMtxReqSeizeWait_Post_Enqueued_PriorityMrsP,
  ScoreMtxReqSeizeWait_Post_Enqueued_NA
} ScoreMtxReqSeizeWait_Post_Enqueued;

typedef enum {
  ScoreMtxReqSeizeWait_Post_Owner_Other,
  ScoreMtxReqSeizeWait_Post_Owner_Caller,
  ScoreMtxReqSeizeWait_Post_Owner_None,
  ScoreMtxReqSeizeWait_Post_Owner_NA
} ScoreMtxReqSeizeWait_Post_Owner;

typedef enum {
  ScoreMtxReqSeizeWait_Post_Priority_Nop,
  ScoreMtxReqSeizeWait_Post_Priority_Ceiling,
  ScoreMtxReqSeizeWait_Post_Priority_NA
} ScoreMtxReqSeizeWait_Post_Priority;

/**
 * @brief Runs the parameterized test case.
 *
 * @param[in,out] tq_ctx is the thread queue context.
 */
void ScoreMtxReqSeizeWait_Run( TQMtxContext *tq_ctx );

/** @} */

#ifdef __cplusplus
}
#endif

#endif /* _TR_MTX_SEIZE_WAIT_H */