1999-04-07 16:42:40 +02:00
|
|
|
// java-assert.h - Header file holding assertion definitions. -*- c++ -*-
|
|
|
|
|
2010-04-07 22:27:37 +02:00
|
|
|
/* Copyright (C) 1998, 1999, 2010 Free Software Foundation
|
1999-04-07 16:42:40 +02:00
|
|
|
|
|
|
|
This file is part of libgcj.
|
|
|
|
|
|
|
|
This software is copyrighted work licensed under the terms of the
|
|
|
|
Libgcj License. Please consult the file "LIBGCJ_LICENSE" for
|
|
|
|
details. */
|
|
|
|
|
|
|
|
#ifndef __JAVA_ASSERT_H__
|
|
|
|
#define __JAVA_ASSERT_H__
|
|
|
|
|
|
|
|
// This is a libgcj implementation header.
|
|
|
|
|
|
|
|
void _Jv_Abort (const char *, const char *, int, const char *)
|
|
|
|
__attribute__ ((__noreturn__));
|
|
|
|
|
2009-04-28 06:02:30 +02:00
|
|
|
#ifdef __GCJ_DEBUG
|
1999-04-07 16:42:40 +02:00
|
|
|
#define _Jv_AssertDoCall(Message) _Jv_Abort (__FUNCTION__, __FILE__, __LINE__, Message)
|
|
|
|
|
|
|
|
#define JvAssertMessage(Expr, Message) \
|
|
|
|
do { if (! (Expr)) _Jv_AssertDoCall (Message); } while (0)
|
|
|
|
#define JvAssert(Expr) \
|
|
|
|
do { if (! (Expr)) _Jv_AssertDoCall (# Expr); } while (0)
|
|
|
|
|
|
|
|
#define JvFail(Message) _Jv_AssertDoCall (Message)
|
|
|
|
|
2009-04-28 06:02:30 +02:00
|
|
|
#else /* __GCJ_DEBUG */
|
1999-04-07 16:42:40 +02:00
|
|
|
|
|
|
|
#define _Jv_AssertDoCall(Message)
|
2010-04-07 22:27:37 +02:00
|
|
|
#define JvAssertMessage(Expr, Message) (void) sizeof (Expr)
|
|
|
|
#define JvAssert(Expr) (void) sizeof (Expr)
|
1999-04-07 16:42:40 +02:00
|
|
|
#define JvFail(Message) _Jv_Abort (0, 0, 0, Message)
|
|
|
|
|
2009-04-28 06:02:30 +02:00
|
|
|
#endif /* not __GCJ_DEBUG */
|
1999-04-07 16:42:40 +02:00
|
|
|
|
|
|
|
#endif /* __JAVA_ASSERT_H__ */
|