Changeset 9275a3 for pcp/src/helpers.h

Timestamp:

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

Author:

Frederik Heber <heber@…>

Children:

32de28

Parents:

907086e

git-author:

Frederik Heber <heber@…> (04/18/08 14:50:42)

git-committer:

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

Message:

Free(): now takes a debug string to know where free error occured
debug(): now depends on HAVE_DEBUG

File:

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

pcp/src/helpers.h

@@ -17 +17 @@
 #include<stddef.h> /* fuer size_t */
 
-void debug(struct Problem *P, const char *output);
+// taken out of TREMOLO
+/*@-namechecks@*/
+#ifndef __GNUC__
+# undef __attribute__
+# define __attribute__(x)
+#endif
+/*@=namechecks@*/
+
+
+/* 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 */
+extern void /*@exits@*/ debug(struct Problem *P, const char *output);
+  //__attribute__ ((__return__));
+#define debug(err, data) debug_in((err), (data), __FILE__, __LINE__)
+
+extern void /*@exits@*/ debug_in(struct Problem *P, const char *output,
+    const char *file, const int line);
+  //__attribute__ ((__return__));
+
 /* Eigene malloc, die bei einem Fehler an Error output uebergibt */
 void* Malloc(size_t size, const char* output);
@@ -33 +52 @@
 void* Realloci(void* pointer, size_t size, const char* output, int i);
 void* Reallocii(void* pointer, size_t size, const char* output, int i, int j);
-void Free (void *ptr);
+void Free (void *ptr, const char* output);
 
 void GetRGB(int i, unsigned int max, double* rgb);