ucontract.h

Go to the documentation of this file.

// Copyright (c) Microsoft. All rights reserved.
// Licensed under the MIT license. See LICENSE file in the project root for full license information.

#ifndef AZ_UCONTRACT_H
#define AZ_UCONTRACT_H

#include "azure_macro_utils/macro_utils.h"
#include "ulib_config.h"
#include "ulib_port.h"
#include "ulog.h"

#include <stdio.h>

#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */

#define EVALUATE_REQUIRE(x) x;

#define AZ_UCONTRACT(...) do { MU_FOR_EACH_1(EVALUATE_REQUIRE, __VA_ARGS__) } while((void)0,0)

#ifdef NDEBUG
#define AZ_UASSERT(...)
#else
#define AZ_UASSERT(...) AZ_UCONTRACT(__VA_ARGS__)
#endif

#define AZ_UCONTRACT_REQUIRE(expression, result, msg) \
    do { \
        if(!(expression)) \
        { \
            AZ_ULIB_CONFIG_LOG(AZ_ULOG_TYPE_ERROR, msg); \
            return result; \
        } \
    } while((void)0,0)

#define AZ_UCONTRACT_REQUIRE_EQUALS(val, expected, result) \
    do { \
        if(val != expected) \
        { \
            AZ_ULIB_CONFIG_LOG(AZ_ULOG_TYPE_ERROR, AZ_ULOG_REQUIRE_EQUALS_STRING, MU_TOSTRING(val), MU_TOSTRING(expected)); \
            return result; \
        } \
    } while((void)0,0)

#define AZ_UCONTRACT_REQUIRE_NOT_EQUALS(val, expected, result) \
    do { \
        if(val == expected) \
        { \
            AZ_ULIB_CONFIG_LOG(AZ_ULOG_TYPE_ERROR, AZ_ULOG_REQUIRE_NOT_EQUALS_STRING, MU_TOSTRING(val), MU_TOSTRING(expected)); \
            return result; \
        } \
    } while((void)0,0)

#define AZ_UCONTRACT_REQUIRE_NOT_NULL(val, result) \
    do { \
        if(val == NULL) \
        { \
            AZ_ULIB_CONFIG_LOG(AZ_ULOG_TYPE_ERROR, AZ_ULOG_REQUIRE_NOT_NULL_STRING, MU_TOSTRING(val)); \
            return result; \
        } \
    } while((void)0,0)

#define AZ_UCONTRACT_REQUIRE_HARD_FAULT(expression, msg) \
    do { \
        if(!(expression)) \
        { \
            AZ_ULIB_CONFIG_LOG(AZ_ULOG_TYPE_ERROR, msg); \
            AZ_ULIB_PORT_THROW_HARD_FAULT; \
        } \
    } while((void)0,0)

#define AZ_UCONTRACT_REQUIRE_EQUALS_HARD_FAULT(val, expected) \
    do { \
        if(val != expected) \
        { \
            AZ_ULIB_CONFIG_LOG(AZ_ULOG_TYPE_ERROR, AZ_ULOG_REQUIRE_EQUALS_STRING, MU_TOSTRING(val), MU_TOSTRING(expected)); \
            AZ_ULIB_PORT_THROW_HARD_FAULT; \
        } \
    } while((void)0,0)

#define AZ_UCONTRACT_REQUIRE_NOT_EQUALS_HARD_FAULT(val, expected) \
    do { \
        if(val == expected) \
        { \
            AZ_ULIB_CONFIG_LOG(AZ_ULOG_TYPE_ERROR, AZ_ULOG_REQUIRE_NOT_EQUALS_STRING, MU_TOSTRING(val), MU_TOSTRING(expected)); \
            AZ_ULIB_PORT_THROW_HARD_FAULT; \
        } \
    } while((void)0,0)

#define AZ_UCONTRACT_REQUIRE_NOT_NULL_HARD_FAULT(val) \
    do { \
        if(val == NULL) \
        { \
            AZ_ULIB_CONFIG_LOG(AZ_ULOG_TYPE_ERROR, AZ_ULOG_REQUIRE_NOT_NULL_STRING, MU_TOSTRING(val)); \
            AZ_ULIB_PORT_THROW_HARD_FAULT; \
        } \
    } while((void)0,0)


#ifdef __cplusplus
}
#endif /* __cplusplus */

#endif /* AZ_UCONTRACT_H */