Changeset e7d6968 for libcfa/src/exception.hfa

Timestamp:

Oct 23, 2020, 9:08:09 PM (3 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

c532847

Parents:

37b7d95 (diff), 3aec25f (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc into master

File:

• libcfa/src/exception.hfa (modified) (7 diffs)

libcfa/src/exception.hfa

@@ -95 +95 @@
 // visible anywhere you use the instantiation of the exception is used.
 #define POLY_VTABLE_DECLARATION(exception_name, ...) \
-        void mark_exception(exception_name(__VA_ARGS__) *); \
+        VTABLE_TYPE(exception_name)(__VA_ARGS__) const & get_exception_vtable(exception_name(__VA_ARGS__) *); \
         extern VTABLE_TYPE(exception_name)(__VA_ARGS__) VTABLE_NAME(exception_name)
 
@@ -125 +125 @@
 #define VTABLE_ASSERTION(exception_name, parameters) \
         { VTABLE_TYPE(exception_name) parameters VTABLE_NAME(exception_name); }
+
+// IS_EXCEPTION(exception_name [, (...parameters)])
+// IS_RESUMPTION_EXCEPTION(exception_name [, (parameters...)])
+// IS_TERMINATION_EXCEPTION(exception_name [, (parameters...)])
+// Create an assertion that exception_name, possibly with the qualifing parameters, is the given
+// kind of exception with the standard vtable with the same parameters if applicable.
+#define IS_EXCEPTION(...) _IS_EXCEPTION(is_exception, __VA_ARGS__, , ~)
+#define IS_RESUMPTION_EXCEPTION(...) _IS_EXCEPTION(is_resumption_exception, __VA_ARGS__, , ~)
+#define IS_TERMINATION_EXCEPTION(...) _IS_EXCEPTION(is_termination_exception, __VA_ARGS__, , ~)
 
 // All internal helper macros begin with an underscore.
@@ -160 +169 @@
 
 #define _FORALL_CTOR0_DECLARATION(exception_name, assertions, parameters) \
-        forall(_UNPACK assertions | VTABLE_ASSERTION(exception_name, parameters) ) \
+        forall(_UNPACK assertions | \
+                is_exception(exception_name parameters, VTABLE_TYPE(exception_name) parameters)) \
         void ?{}(exception_name parameters & this)
 
 #define _FORALL_CTOR0_INSTANCE(exception_name, assertions, parameters) \
         _FORALL_CTOR0_DECLARATION(exception_name, assertions, parameters) { \
-                VTABLE_INIT(this, exception_name); \
+                (this).virtual_table = &get_exception_vtable(&this); \
         }
 
@@ -185 +195 @@
 #define _VTABLE_DECLARATION(exception_name, parent_name, ...) \
         struct exception_name; \
-        void mark_exception(exception_name *); \
         VTABLE_TYPE(exception_name); \
+        VTABLE_TYPE(exception_name) const & get_exception_vtable(exception_name *); \
         extern VTABLE_TYPE(exception_name) VTABLE_NAME(exception_name); \
         VTABLE_TYPE(exception_name) { \
@@ -197 +207 @@
 
 #define _VTABLE_INSTANCE(exception_name, parent_name, ...) \
-        void mark_exception(exception_name *) {} \
+        VTABLE_TYPE(exception_name) const & get_exception_vtable(exception_name *) { \
+                return VTABLE_NAME(exception_name); \
+        } \
         void _GLUE2(exception_name,_copy)(exception_name * this, exception_name * other) { \
                 *this = *other; \
@@ -218 +230 @@
 
 #define _POLY_VTABLE_INSTANCE(exception_name, parent_name, ...) \
-        void mark_exception(exception_name(__VA_ARGS__) *) {} \
+        extern VTABLE_TYPE(exception_name)(__VA_ARGS__) VTABLE_NAME(exception_name); \
+        VTABLE_TYPE(exception_name)(__VA_ARGS__) const & get_exception_vtable( \
+                        exception_name(__VA_ARGS__) *) { \
+                return VTABLE_NAME(exception_name); \
+        } \
         void _GLUE2(exception_name,_copy)( \
                         exception_name(__VA_ARGS__) * this, exception_name(__VA_ARGS__) * other) { \
@@ -227 +243 @@
                 _GLUE2(exception_name,_copy), ^?{}, \
                 _CLOSE
+
+#define _IS_EXCEPTION(kind, exception_name, parameters, ...) \
+        kind(exception_name parameters, VTABLE_TYPE(exception_name) parameters)