source: src/Concurrency/Keywords.h

Last change on this file was 2cf3b87, checked in by Andrew Beach <ajbeach@…>, 6 months ago

Translated valitate-E after much bug hunting.

  • Property mode set to 100644
File size: 1.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// Keywords.h -- Implement concurrency constructs from their keywords.
8//
9// Author           : Thierry Delisle
10// Created On       : Fri Mar 10 15:16:42 2017
11// Last Modified By :
12// Last Modified On :
13// Update Count     : 1
14//
15
16#pragma once
17
18#include <list>  // for list
19
20class Declaration;
21namespace ast {
22        class TranslationUnit;
23}
24
25namespace Concurrency {
26        void applyKeywords( std::list< Declaration * > & translationUnit );
27        void implementMutexFuncs( std::list< Declaration * > & translationUnit );
28        void implementThreadStarter( std::list< Declaration * > & translationUnit );
29
30/// Implement the sue-like keywords and the suspend keyword.
31void implementKeywords( ast::TranslationUnit & translationUnit );
32/// Implement the mutex parameters and mutex statement.
33void implementMutex( ast::TranslationUnit & translationUnit );
34/// Add the thread starter code to constructors.
35void implementThreadStarter( ast::TranslationUnit & translationUnit );
36};
37
38// Local Variables: //
39// tab-width: 4 //
40// mode: c++ //
41// compile-command: "make install" //
42// End: //
Note: See TracBrowser for help on using the repository browser.