Changeset 7c38d53

Timestamp:

May 19, 2020, 1:36:42 PM (5 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

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

Children:

7d6e01d

Parents:

314dab6

Message:

Added mark_exception to reduce the chance something is accidentally treated as an exception.

File:

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

libcfa/src/exception.hfa

@@ -14 +14 @@
 //
 
-// WARNING: This is for documentation as it will match ANY type.
 trait is_exception(dtype T) {
-        /* The first field must be a pointer to a virtual table.
-         * That virtual table must be a decendent of the base exception virtual table.
-         */
+        // The trait system can't describe the actual constrants.
+        // Unused, should always be a no-op.
+        void mark_exception(T *);
 };
 
@@ -81 +80 @@
 #define _VTABLE_DECLARATION(exception_name, parent_name, ...) \
         struct exception_name; \
+        void mark_exception(exception_name *); \
         VTABLE_TYPE(exception_name); \
         extern VTABLE_TYPE(exception_name) VTABLE_NAME(exception_name); \
@@ -97 +97 @@
 #define VTABLE_INSTANCE(...) _EXC_DISPATCH(_VTABLE_INSTANCE, __VA_ARGS__)
 #define _VTABLE_INSTANCE(exception_name, parent_name, ...) \
+        void mark_exception(exception_name *) {} \
         void _GLUE2(exception_name,_copy)(exception_name * this, exception_name * other) { \
                 *this = *other; \