/*
 * dbc.h
 *
 * DSP-BIOS Bridge driver support functions for TI OMAP processors.
 *
 * "Design by Contract" programming macros.
 *
 * Notes:
 *   Requires that the GT->ERROR function has been defaulted to a valid
 *   error handler for the given execution environment.
 *
 *   Does not require that GT_init() be called.
 *
 * Copyright (C) 2008 Texas Instruments, Inc.
 *
 * This package is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License version 2 as
 * published by the Free Software Foundation.
 *
 * THIS PACKAGE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
 * IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
 * WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE.
 */

#ifndef DBC_
#define DBC_

/* Assertion Macros: */
#ifdef CONFIG_TIDSPBRIDGE_DEBUG

#define DBC_ASSERT(exp) \
    if (!(exp)) \
	pr_err("%s, line %d: Assertion (" #exp ") failed.\n", \
	__FILE__, __LINE__)
#define DBC_REQUIRE DBC_ASSERT	/* Function Precondition. */
#define DBC_ENSURE  DBC_ASSERT	/* Function Postcondition. */

#else

#define DBC_ASSERT(exp) {}
#define DBC_REQUIRE(exp) {}
#define DBC_ENSURE(exp) {}

#endif /* DEBUG */

#endif /* DBC_ */