From: Justin Seyster <jseyster@cs.sunysb.edu>
Date: Mon, 6 Sep 2010 21:06:47 +0000 (-0400)
Subject: Added header generation to int types test case.
X-Git-Tag: release-v1.0~48^2~5
X-Git-Url: https://git.fsl.cs.stonybrook.edu/?a=commitdiff_plain;h=4626a2189ae4fd91841de77e364a1289b9589fe6;p=interaspect.git

Added header generation to int types test case.
---

diff --git a/test/int-types.xml b/test/int-types.xml
index 2317c12..bbacabf 100644
--- a/test/int-types.xml
+++ b/test/int-types.xml
@@ -34,5 +34,19 @@
       In UINT128 function u128 (1, 1)
       uint128: 1
     </output>
+    <prototypes>
+      void _advice_signed(signed char *, ALL_SIGNED_T, ALL_SIGNED_T);
+      void _advice_signed128(signed char *, int128_t, int128_t);
+      void _advice_signed16(signed char *, int16_t, int16_t);
+      void _advice_signed32(signed char *, int32_t, int32_t);
+      void _advice_signed64(signed char *, int64_t, int64_t);
+      void _advice_signed8(signed char *, signed char, signed char);
+      void _advice_unsigned(signed char *, ALL_UNSIGNED_T, ALL_UNSIGNED_T);
+      void _advice_unsigned128(signed char *, uint128_t, uint128_t);
+      void _advice_unsigned16(signed char *, uint16_t, uint16_t);
+      void _advice_unsigned32(signed char *, uint32_t, uint32_t);
+      void _advice_unsigned64(signed char *, uint64_t, uint64_t);
+      void _advice_unsigned8(signed char *, unsigned char, unsigned char);
+    </prototypes>
   </run>
 </testcase>
diff --git a/test/plugin-int-types.c b/test/plugin-int-types.c
index b0c064c..9f32e76 100644
--- a/test/plugin-int-types.c
+++ b/test/plugin-int-types.c
@@ -17,6 +17,7 @@ static void plugin_join_on_call(struct aop_joinpoint *jp, void *data)
 
 static unsigned int plugin_int()
 {
+  const char *header;
   struct aop_pointcut *pc;
 
   pc = aop_match_function_call();
@@ -67,6 +68,14 @@ static unsigned int plugin_int()
   aop_filter_call_pc_by_param(pc, 0, aop_t_unsigned128());
   aop_join_on(pc, plugin_join_on_call, "_advice_unsigned128");
 
+  header = aop_get_arg_value("header");
+  if (header != NULL) {
+    int res;
+    res = aop_write_c_header(header, "_INT_HEADER_", NULL, NULL);
+    if (res != 0)
+      perror(header);
+  }
+
   return 0;
 }