source: src/libcfa/exception.h @ 86d5ba7c

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 86d5ba7c was 86d5ba7c, checked in by Andrew Beach <ajbeach@…>, 4 years ago

Added the memory management calls to the exception control flow.

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