SanitizeMacros.h

Go to the documentation of this file.

/*
 * This file is a part of the Biology project by eons LLC.
 * Biology (aka Develop Biology) is a framework for approaching software
 * development from a natural sciences perspective.
 *
 * Copyright (C) 2022 Séon O'Shannon & eons LLC
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU Affero General Public License as
 * published by the Free Software Foundation, either version 3 of the
 * License, or (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 * GNU Affero General Public License for more details.
 *
 * You should have received a copy of the GNU Affero General Public License
 * along with this program. If not, see <https://www.gnu.org/licenses/>.
 */
 
#pragma once
 
#include "CacheMacros.h"
 
 
#define BIO_SANITIZE_AT_SAFETY_LEVEL_0(test, success, failure) \
{ \
 success; \
}
 
#define BIO_SANITIZE_AT_SAFETY_LEVEL_1(test, success, failure) \
{ \
 BIO_ASSERT(test); \
 success; \
}
 
#define BIO_SANITIZE_AT_SAFETY_LEVEL_2(test, success, failure) \
if (test) \
{ \
 success; \
} \
else \
{ \
 failure; \
}
 
//@formatter:off
#if defined(BIO_SAFETY_LEVEL) && BIO_SAFETY_LEVEL == 0
 #define BIO_SANITIZE(test, success, failure) BIO_SANITIZE_AT_SAFETY_LEVEL_0(test, BIO_SINGLE_ARG(success), BIO_SINGLE_ARG(failure))
#elif defined(BIO_SAFETY_LEVEL) && BIO_SAFETY_LEVEL == 1
 #define BIO_SANITIZE(test, success, failure) BIO_SANITIZE_AT_SAFETY_LEVEL_1(test, BIO_SINGLE_ARG(success), BIO_SINGLE_ARG(failure))
#else
 #define BIO_SANITIZE(test, success, failure) BIO_SANITIZE_AT_SAFETY_LEVEL_2(test, BIO_SINGLE_ARG(success), BIO_SINGLE_ARG(failure))
#endif
//@formatter:on
 
#define BIO_SANITIZE_WITH_CACHE(test, success, failure) \
{ \
 BIO_CACHE(test) \
 BIO_SANITIZE( \
 RESULT, \
 BIO_SINGLE_ARG(success), \
 BIO_SINGLE_ARG(failure)) \
}
 
#define BIO_SANITIZE_WITH_CACHE_AT_SAFETY_LEVEL_0(test, success, failure) \
{ \
 BIO_CACHE(test) \
 BIO_SANITIZE_AT_SAFETY_LEVEL_0( \
 RESULT, \
 BIO_SINGLE_ARG(success), \
 BIO_SINGLE_ARG(failure)) \
}
 
#define BIO_SANITIZE_WITH_CACHE_AT_SAFETY_LEVEL_1(test, success, failure) \
{ \
 BIO_CACHE(test) \
 BIO_SANITIZE_AT_SAFETY_LEVEL_1( \
 RESULT, \
 BIO_SINGLE_ARG(success), \
 BIO_SINGLE_ARG(failure)) \
}
 
#define BIO_SANITIZE_WITH_CACHE_AT_SAFETY_LEVEL_2(test, success, failure) \
{ \
 BIO_CACHE(test) \
 BIO_SANITIZE_AT_SAFETY_LEVEL_2( \
 RESULT, \
 BIO_SINGLE_ARG(success), \
 BIO_SINGLE_ARG(failure)) \
}