// Copyright 2019 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

//
//
//

#ifndef SRC_GRAPHICS_LIB_COMPUTE_SPINEL_STATE_ASSERT_H_
#define SRC_GRAPHICS_LIB_COMPUTE_SPINEL_STATE_ASSERT_H_

//
//
//

#include "common/macros.h"

//
// clang-format off
//

#if 1

#include <assert.h>

#define SPN_ASSERT_STATE_DECLARE(type)          type state
#define SPN_ASSERT_STATE_MEMBER(sp)             (sp)->state
#define SPN_ASSERT_STATE_INIT(to,sp)            SPN_ASSERT_STATE_MEMBER(sp) = (to)
#define SPN_ASSERT_STATE_TEST(at,sp)            (SPN_ASSERT_STATE_MEMBER(sp) == (at))
#define SPN_ASSERT_STATE_ASSERT(at,sp)          assert(SPN_ASSERT_STATE_TEST(at,sp))
#define SPN_ASSERT_STATE_TRANSITION(from,to,sp) SPN_ASSERT_STATE_ASSERT(from,sp); SPN_ASSERT_STATE_INIT(to,sp)

#else

#define SPN_ASSERT_STATE_DECLARE(st)
#define SPN_ASSERT_STATE_MEMBER(sp)
#define SPN_ASSERT_STATE_INIT(to,sp)
#define SPN_ASSERT_STATE_TEST(at,sp)
#define SPN_ASSERT_STATE_ASSERT(at,sp)
#define SPN_ASSERT_STATE_TRANSITION(from,to,sp)

#endif

//
// clang-format on
//

#endif  // SRC_GRAPHICS_LIB_COMPUTE_SPINEL_STATE_ASSERT_H_