/***************************************************************************
 * Copyright (c) 2026 Eclipse ThreadX contributors
 *
 * This program and the accompanying materials are made available under the
 * terms of the MIT License which is available at
 * https://opensource.org/licenses/MIT.
 *
 * AI Disclosure: This file was largely AI-generated by Claude Code (Opus 5).
 * The AI-generated portions may be considered public domain (CC0-1.0)
 * and not subject to the project's licence. The human contributor has
 * reviewed and verified that the code is correct.
 *
 * SPDX-License-Identifier: MIT and CC0-1.0
 **************************************************************************/

/* This test asks an event flags group for no flags at all, with a wait option.

   A request of zero flags is never satisfied, whichever option carries it: an
   OR request finds none of the flags it asked for present, and an AND request
   has its empty result rejected for not matching the empty set it asked for. A
   thread that suspended on such a request would therefore never be resumed, so
   the get service refuses the suspension and reports that no events are
   available.  */

#include   <stdio.h>
#include   "tx_api.h"


static unsigned long   thread_0_counter =  0;
static TX_THREAD       thread_0;

static TX_EVENT_FLAGS_GROUP  group_0;


/* Define thread prototypes.  */

static void    thread_0_entry(ULONG thread_input);


/* Prototype for test control return.  */

void  test_control_return(UINT status);


/* Define what the initial system looks like.  */

#ifdef CTEST
void test_application_define(void *first_unused_memory)
#else
void    threadx_event_flag_zero_request_application_define(void *first_unused_memory)
#endif
{

UINT    status;
CHAR    *pointer;


    /* Put first available memory address into a character pointer.  */
    pointer =  (CHAR *) first_unused_memory;

    /* Put system definition stuff in here, e.g. thread creates and other assorted
       create information.  */
    status =  tx_thread_create(&thread_0, "thread 0", thread_0_entry, 1,
            pointer, TEST_STACK_SIZE_PRINTF,
            16, 16, TX_NO_TIME_SLICE, TX_AUTO_START);
    pointer =  pointer + TEST_STACK_SIZE_PRINTF;

    /* Check for status.  */
    if (status != TX_SUCCESS)
    {

        printf("Running Event Flag Zero Request Test............................... ERROR #1\n");
        test_control_return(1);
    }

    /* Create the group the test asks for no flags from.  */
    status =  tx_event_flags_create(&group_0, "group 0");

    /* Check for status.  */
    if (status != TX_SUCCESS)
    {

        printf("Running Event Flag Zero Request Test............................... ERROR #2\n");
        test_control_return(1);
    }
}


/* Define the test thread.  */

static void    thread_0_entry(ULONG thread_input)
{

UINT    status;
ULONG   actual_flags;


    /* Increment thread 0 counter.  */
    thread_0_counter++;

    /* Inform user of success getting to this test.  */
    printf("Running Event Flag Zero Request Test............................... ");

    /* Raise a flag, so that every request below is refused for asking for
       nothing rather than for finding the group empty.  */
    status =  tx_event_flags_set(&group_0, 0x1, TX_OR);

    if (status != TX_SUCCESS)
    {

        printf("ERROR #3\n");
        test_control_return(1);
    }

    /* Ask for no flags under TX_OR, prepared to wait forever. Nothing can ever
       satisfy the request, so the service returns rather than suspending.  */
    status =  tx_event_flags_get(&group_0, 0, TX_OR, &actual_flags, TX_WAIT_FOREVER);

    if (status != TX_NO_EVENTS)
    {

        printf("ERROR #4\n");
        test_control_return(1);
    }

    /* The same under TX_AND, where the empty result is rejected for not
       matching the empty request.  */
    status =  tx_event_flags_get(&group_0, 0, TX_AND, &actual_flags, TX_WAIT_FOREVER);

    if (status != TX_NO_EVENTS)
    {

        printf("ERROR #5\n");
        test_control_return(1);
    }

    /* The consuming options are refused in the same place, so neither of them
       reaches the code that would clear anything.  */
    status =  tx_event_flags_get(&group_0, 0, TX_OR_CLEAR, &actual_flags, TX_WAIT_FOREVER);

    if (status != TX_NO_EVENTS)
    {

        printf("ERROR #6\n");
        test_control_return(1);
    }

    status =  tx_event_flags_get(&group_0, 0, TX_AND_CLEAR, &actual_flags, TX_WAIT_FOREVER);

    if (status != TX_NO_EVENTS)
    {

        printf("ERROR #7\n");
        test_control_return(1);
    }

    /* The flag raised at the start is still set, so no refused request
       consumed anything.  */
    status =  tx_event_flags_get(&group_0, 0x1, TX_OR_CLEAR, &actual_flags, TX_NO_WAIT);

    if ((status != TX_SUCCESS) || (actual_flags != 0x1))
    {

        printf("ERROR #8\n");
        test_control_return(1);
    }

    printf("SUCCESS!\n");
    test_control_return(0);
}