Changeset 8948da in git

Timestamp:

May 5, 2010, 1:02:52 PM (13 years ago)

Author:

Mohamed Barakat <mohamed.barakat@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

30e9c5fe8b6de1896b6bd3fd27b0cad11d6549a5

Parents:

3de81d0751fbbbc4448d3fd2531c9a6166149a7c

git-author:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2010-05-05 13:02:52+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 11:50:25+01:00

Message:

defining assume in output.h

File:

• output/output.h (modified) (1 diff)

output/output.h

@@ -107 +107 @@
 char* SPrintEnd();
 
+#ifndef HAVE_ASSUME
+#define assume(x) ((void) 0)
+#define r_assume(x) ((void) 0)
+#else /* ! HAVE_ASSUME */
+
+#define assume_violation(s,f,l) \
+  dReportError("assume violation at %s:%d condition: %s", f,l,s)
+
+#define assume(x)   _assume(x, __FILE__, __LINE__)
+#define r_assume(x) _r_assume(x, __FILE__, __LINE__)
+
+#define _assume(x, f, l)                        \
+do                                              \
+{                                               \
+  if (! (x))                                    \
+  {                                             \
+    assume_violation(#x, f, l);                 \
+  }                                             \
+}                                               \
+while (0)
+
+#define _r_assume(x, f, l)                      \
+do                                              \
+{                                               \
+  if (! (x))                                    \
+  {                                             \
+    assume_violation(#x, f, l);                 \
+    return 0;                                   \
+  }                                             \
+}                                               \
+while (0)
+#endif /* HAVE_ASSUME */
 
 #endif /* ifndef OUTPUT_H */