#ifndef _ATOMICBOOLEAN_H
#define _ATOMICBOOLEAN_H
/* Filename : AtomicBoolean.cvh
   Authors  : YYY, XXX
   Created  : 2024-01-13
   Modified : 2025-01-17

   Model of java.util.concurrent.atomic.AtomicBoolean.

   some Lab
   some division
   some institution
*/
#include <stdbool.h>

typedef struct AtomicBoolean * AtomicBoolean;

/* Creates new AtomicBoolean with given initial boolean value. */
AtomicBoolean AtomicBoolean_create(bool initialValue);

/* Deallocates the AtomicBoolean object b */
void AtomicBoolean_destroy(AtomicBoolean b);

/* If the current value of b is expect, change it to update in one
   atomic step, and return true.  Otherwise do nothing and return
   false. */
bool AtomicBoolean_compareAndSet(AtomicBoolean b,
                                 bool expect, bool update);

/* Gets the boolean value wrapped by this object. */
bool AtomicBoolean_get(AtomicBoolean b);

#endif