From: Ben Pfaff <blp@nicira.com>
Date: Sat, 12 Jul 2008 00:07:05 +0000 (-0700)
Subject: New header file "type-props.h" for testing properties of types.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fd90251602dd04eb3a954b1eda790e781b03d9f8;p=openvswitch

New header file "type-props.h" for testing properties of types.
---

diff --git a/include/Makefile.am b/include/Makefile.am
index ec938310..94af5527 100644
--- a/include/Makefile.am
+++ b/include/Makefile.am
@@ -24,6 +24,7 @@ noinst_HEADERS = \
 	random.h \
 	rconn.h \
 	socket-util.h \
+	type-props.h \
 	util.h \
 	vconn.h \
 	vconn-ssl.h \
diff --git a/include/type-props.h b/include/type-props.h
new file mode 100644
index 00000000..09403004
--- /dev/null
+++ b/include/type-props.h
@@ -0,0 +1,49 @@
+/* Copyright (c) 2008 The Board of Trustees of The Leland Stanford
+ * Junior University
+ *
+ * We are making the OpenFlow specification and associated documentation
+ * (Software) available for public use and benefit with the expectation
+ * that others will use, modify and enhance the Software and contribute
+ * those enhancements back to the community. However, since we would
+ * like to make the Software available for broadest use, with as few
+ * restrictions as possible permission is hereby granted, free of
+ * charge, to any person obtaining a copy of this Software to deal in
+ * the Software under the copyrights without restriction, including
+ * without limitation the rights to use, copy, modify, merge, publish,
+ * distribute, sublicense, and/or sell copies of the Software, and to
+ * permit persons to whom the Software is furnished to do so, subject to
+ * the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be
+ * included in all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ * NONINFRINGEMENT.  IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
+ * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
+ * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
+ * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+ * SOFTWARE.
+ *
+ * The name and trademarks of copyright holder(s) may NOT be used in
+ * advertising or publicity pertaining to the Software or any
+ * derivatives without specific, written prior permission.
+ */
+
+#ifndef TYPE_PROPS_H
+#define TYPE_PROPS_H 1
+
+#include <limits.h>
+
+#define TYPE_IS_INTEGER(TYPE) ((TYPE) 1.5 == (TYPE) 1)
+#define TYPE_IS_SIGNED(TYPE) ((TYPE) 0 > (TYPE) -1)
+#define TYPE_VALUE_BITS(TYPE) (sizeof(TYPE) * CHAR_BIT - TYPE_IS_SIGNED(TYPE))
+#define TYPE_MINIMUM(TYPE) (TYPE_IS_SIGNED(TYPE) \
+                            ? ~(TYPE)0 << TYPE_VALUE_BITS(TYPE) \
+                            : 0)
+#define TYPE_MAXIMUM(TYPE) (TYPE_IS_SIGNED(TYPE) \
+                            ? ~(~(TYPE)0 << TYPE_VALUE_BITS(TYPE)) \
+                            : (TYPE)-1)
+
+#endif /* type-props.h */
diff --git a/tests/Makefile.am b/tests/Makefile.am
index 91e11a5b..49b79675 100644
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -6,3 +6,7 @@ check_PROGRAMS = test-list
 
 test_list_SOURCES = test-list.c
 test_list_LDADD = ../lib/libopenflow.la
+
+TESTS += test-type-props
+check_PROGRAMS += test-type-props
+test_type_props_SOURCES = test-type-props.c
diff --git a/tests/test-type-props.c b/tests/test-type-props.c
new file mode 100644
index 00000000..5dff4d41
--- /dev/null
+++ b/tests/test-type-props.c
@@ -0,0 +1,40 @@
+#include "type-props.h"
+#include <stdio.h>
+#include <stdlib.h>
+
+#define MUST_SUCCEED(EXPRESSION)                    \
+    if (!(EXPRESSION)) {                            \
+        fprintf(stderr, "%s:%d: %s failed\n",       \
+                __FILE__, __LINE__, #EXPRESSION);   \
+        exit(EXIT_FAILURE);                         \
+    }
+
+#define TEST_TYPE(type, minimum, maximum, is_signed)    \
+    MUST_SUCCEED(TYPE_IS_INTEGER(type));                \
+    MUST_SUCCEED(TYPE_IS_SIGNED(type) == is_signed);    \
+    MUST_SUCCEED(TYPE_MAXIMUM(type) == maximum);        \
+    MUST_SUCCEED(TYPE_MINIMUM(type) == minimum);
+
+int
+main (void) 
+{
+    TEST_TYPE(char, CHAR_MIN, CHAR_MAX, (CHAR_MIN < 0));
+
+    TEST_TYPE(signed char, SCHAR_MIN, SCHAR_MAX, 1);
+    TEST_TYPE(short int, SHRT_MIN, SHRT_MAX, 1);
+    TEST_TYPE(int, INT_MIN, INT_MAX, 1);
+    TEST_TYPE(long int, LONG_MIN, LONG_MAX, 1);
+    TEST_TYPE(long long int, LLONG_MIN, LLONG_MAX, 1);
+
+    TEST_TYPE(unsigned char, 0, UCHAR_MAX, 0);
+    TEST_TYPE(unsigned short int, 0, USHRT_MAX, 0);
+    TEST_TYPE(unsigned int, 0, UINT_MAX, 0);
+    TEST_TYPE(unsigned long int, 0, ULONG_MAX, 0);
+    TEST_TYPE(unsigned long long int, 0, ULLONG_MAX, 0);
+
+    MUST_SUCCEED(!(TYPE_IS_INTEGER(float)));
+    MUST_SUCCEED(!(TYPE_IS_INTEGER(double)));
+    MUST_SUCCEED(!(TYPE_IS_INTEGER(long double)));
+
+    return 0;
+}