Changeset e6a122 for pcp/src/errors.h

Timestamp:

Apr 21, 2008, 2:19:24 PM (17 years ago)

Author:

Frederik Heber <heber@…>

Children:

f2ce71c

Parents:

36f85c

git-author:

Frederik Heber <heber@…> (04/18/08 15:25:05)

git-committer:

Frederik Heber <heber@…> (04/21/08 14:19:24)

Message:

Error(): Idea and code taken from TREMOLO, now prints line number and sourc file name

File:

• pcp/src/errors.h (modified) (2 diffs)

pcp/src/errors.h

@@ -16 +16 @@
 */
 
+// taken out of TREMOLO
+/*@-namechecks@*/
+#ifndef __GNUC__
+# undef __attribute__
+# define __attribute__(x)
+#endif
+/*@=namechecks@*/
 
 /* Verschiedene Fehlertypen */
@@ -25 +32 @@
 /* SomeError: Falls man noch zu faul ist */
 
+
 /* Behandelt aufgetretene Fehler. error ist der Fehlertyp(enum Errors)
    void *SpecialData ist ein untypisierter Zeiger auf Spezielle Daten zur Fehlerbehandlung.
    Man koennte auch noch einen Zeiger auf eine Funktion uebergeben */
-void Error(enum Errors error, const void *SpecialData);
+extern void /*@exits@*/ Error(enum Errors error, /*@null@*/ const void *SpecialData)
+  __attribute__ ((__noreturn__));
+#define Error(err, data) Error_in((err), (data), __FILE__, __LINE__)
+
+extern void /*@exits@*/ Error_in(enum Errors error, /*@null@*/ const void *SpecialData,
+    const char *file, const int line)
+  __attribute__ ((__noreturn__));
 
 #endif