--- a/absyntax_utils/get_datatype_info.cc Thu May 26 14:26:33 2016 +0100
+++ b/absyntax_utils/get_datatype_info.cc Thu May 26 15:00:20 2016 +0100
@@ -127,6 +127,8 @@
void *visit(safestring_type_name_c *symbol) {return (void *)symbol;};
void *visit(safewstring_type_name_c *symbol) {return (void *)symbol;};
+ void *visit(void_type_name_c *symbol) {return (void *)symbol;};
+
/********************************/
/* B 1.3.3 - Derived data types */
/********************************/
@@ -260,6 +262,8 @@
void *visit(safestring_type_name_c *symbol) {return (void *)"SAFESTRING"; };
void *visit(safewstring_type_name_c *symbol) {return (void *)"SAFEWSTRING"; };
+ void *visit(void_type_name_c *symbol) {return (void *)"VOID"; };
+
/********************************/
/* B.1.3.2 - Generic data types */
/********************************/
@@ -1352,6 +1356,21 @@
+
+bool get_datatype_info_c::is_VOID(symbol_c *type_symbol) {
+ if (type_symbol == NULL) {return false;}
+ if (typeid(*type_symbol) == typeid(void_type_name_c)) {return true;}
+ return false;
+}
+
+
+
+
+
+
+
+
+
/* Can't we do away with this?? */
bool get_datatype_info_c::is_ANY_REAL_literal(symbol_c *type_symbol) {
if (type_symbol == NULL) {return true;} /* Please make sure things will work correctly before changing this to false!! */