source: src/Common/Examine.h @ ef6d059

ADTast-experimentalenumpthread-emulationqualifiedEnum
Last change on this file since ef6d059 was 1c01c58, checked in by Andrew Beach <ajbeach@…>, 4 years ago

Rather large commit to get coroutine cancellation working.

This includes what you would expect, like new code in exceptions and a new
test, but it also includes a bunch of other things.

New coroutine state, currently just marks that the stack was cancelled. New
helpers for checking code structure and generating vtables. Changes to the
coroutine interface so resume may throw exceptions on cancellation, plus the
exception type that is thrown. Changes to the coroutine keyword generation to
generate exception code for each type of coroutine.

  • Property mode set to 100644
File size: 796 bytes
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 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// Examine.h --
8//
9// Author           : Andrew Beach
10// Created On       : Wed Sept 2 13:57 2020
11// Last Modified By : Andrew Beach
12// Last Modified On : Wed Sep  8 12:08 2020
13// Update Count     : 0
14//
15
16#include "SynTree/Declaration.h"
17
18/// Check if this is a main function for a type of an aggregate kind.
19DeclarationWithType * isMainFor( FunctionDecl * func, AggregateDecl::Aggregate kind );
20// Returns a pointer to the parameter if true, nullptr otherwise.
21
22/// Check if this function is a destructor for the given structure.
23bool isDestructorFor( FunctionDecl * func, StructDecl * type_decl );
Note: See TracBrowser for help on using the repository browser.