Last change
on this file since b9f6791f was
c3b9d639,
checked in by Andrew Beach <ajbeach@…>, 2 years ago
|
Clean-up the exception interface. It should be slightly more like the final - non-macro - interface.
|
-
Property mode set to
100644
|
File size:
1.4 KB
|
Line | |
---|
1 | // |
---|
2 | // Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo |
---|
3 | // |
---|
4 | // The contents of this file are covered under the licence agreement in the |
---|
5 | // file "LICENCE" distributed with Cforall. |
---|
6 | // |
---|
7 | // exception.hfa -- User facing tools for working with exceptions. |
---|
8 | // |
---|
9 | // Author : Andrew Beach |
---|
10 | // Created On : Thu Apr 7 10:25:00 2020 |
---|
11 | // Last Modified By : Andrew Beach |
---|
12 | // Last Modified On : Wed May 25 17:20:00 2022 |
---|
13 | // Update Count : 5 |
---|
14 | // |
---|
15 | |
---|
16 | // Everything below this line should be considered a patch while the exception |
---|
17 | // objects themselves are designed and created and should be removed in time. |
---|
18 | // ----------------------------------------------------------------------------------------------- |
---|
19 | |
---|
20 | // EHM_DEFAULT_VTABLE(exception_type) |
---|
21 | // Create a declaration for a (possibly polymorphic) default vtable. |
---|
22 | // Mostly used by and for the currency module. |
---|
23 | #define EHM_DEFAULT_VTABLE(type) vtable(type) & const _default_vtable |
---|
24 | |
---|
25 | // IS_EXCEPTION(exception_type) |
---|
26 | // IS_RESUMPTION_EXCEPTION(exception_type) |
---|
27 | // IS_TERMINATION_EXCEPTION(exception_type) |
---|
28 | // Create an assertion that exception_type is the given kind of exception. |
---|
29 | // This is used to mimic associated types so the vtable type is unmentioned. |
---|
30 | #define IS_EXCEPTION(type) is_exception(type, vtable(type)) |
---|
31 | #define IS_RESUMPTION_EXCEPTION(type) is_resumption_exception(type, vtable(type)) |
---|
32 | #define IS_TERMINATION_EXCEPTION(type) is_termination_exception(type, vtable(type)) |
---|
Note: See
TracBrowser
for help on using the repository browser.