source: src/libcfa/exception.h @ 0cf5b79

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 0cf5b79 was 0cf5b79, checked in by Thierry Delisle <tdelisle@…>, 4 years ago

Added generic containers for runtime.
Moved some internal code to bits folder.
consistently used cforall instead of CFORALL define.

  • Property mode set to 100644
File size: 2.2 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.h -- Builtins for exception handling.
8//
9// Author           : Andrew Beach
10// Created On       : Mon Jun 26 15:11:00 2017
11// Last Modified By : Andrew Beach
12// Last Modified On : Thr Aug 17 15:44:00 2017
13// Update Count     : 6
14//
15
16#pragma once
17
18
19#ifdef __cforall
20extern "C" {
21#endif
22
23struct __cfaehm__base_exception_t;
24typedef struct __cfaehm__base_exception_t exception;
25struct __cfaehm__base_exception_t_vtable {
26        const struct __cfaehm__base_exception_t_vtable * parent;
27        size_t size;
28        void (*copy)(struct __cfaehm__base_exception_t *this,
29                     struct __cfaehm__base_exception_t * other);
30        void (*free)(struct __cfaehm__base_exception_t *this);
31        const char * (*msg)(struct __cfaehm__base_exception_t *this);
32};
33struct __cfaehm__base_exception_t {
34        struct __cfaehm__base_exception_t_vtable const * virtual_table;
35};
36extern struct __cfaehm__base_exception_t_vtable
37        ___cfaehm__base_exception_t_vtable_instance;
38
39
40// Used in throw statement translation.
41void __cfaehm__throw_terminate(exception * except) __attribute__((noreturn));
42void __cfaehm__rethrow_terminate() __attribute__((noreturn));
43void __cfaehm__throw_resume(exception * except);
44
45// Function catches termination exceptions.
46void __cfaehm__try_terminate(
47    void (*try_block)(),
48    void (*catch_block)(int index, exception * except),
49    int (*match_block)(exception * except));
50
51// Clean-up the exception in catch blocks.
52void __cfaehm__cleanup_terminate(void * except);
53
54// Data structure creates a list of resume handlers.
55struct __cfaehm__try_resume_node {
56    struct __cfaehm__try_resume_node * next;
57    _Bool (*handler)(exception * except);
58};
59
60// These act as constructor and destructor for the resume node.
61void __cfaehm__try_resume_setup(
62    struct __cfaehm__try_resume_node * node,
63    _Bool (*handler)(exception * except));
64void __cfaehm__try_resume_cleanup(
65    struct __cfaehm__try_resume_node * node);
66
67// Check for a standard way to call fake deconstructors.
68struct __cfaehm__cleanup_hook {};
69
70#ifdef __cforall
71}
72#endif
Note: See TracBrowser for help on using the repository browser.