source: src/InitTweak/GenInit.h @ 234b1cb

arm-ehenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
Last change on this file since 234b1cb was 234b1cb, checked in by Aaron Moss <a3moss@…>, 3 years ago

Port TupleAssignment? to new AST

  • Property mode set to 100644
File size: 2.0 KB
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// GenInit.h --
8//
9// Author           : Rodolfo G. Esteves
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Sat Jul 22 09:31:19 2017
13// Update Count     : 4
14//
15
16#pragma once
17
18#include <list>                // for list
19#include <string>              // for string
20
21#include "AST/Fwd.hpp"
22#include "GenPoly/ScopedSet.h" // for ScopedSet
23#include "SynTree/SynTree.h"   // for Visitor Nodes
24
25namespace InitTweak {
26        /// Adds return value temporaries and wraps Initializers in ConstructorInit nodes
27        void genInit( std::list< Declaration * > & translationUnit );
28
29        /// Converts return statements into copy constructor calls on the hidden return variable
30        void fixReturnStatements( std::list< Declaration * > & translationUnit );
31
32        /// generates a single ctor/dtor statement using objDecl as the 'this' parameter and arg as the optional argument
33        ImplicitCtorDtorStmt * genCtorDtor( const std::string & fname, ObjectDecl * objDecl, Expression * arg = nullptr );
34
35        /// creates an appropriate ConstructorInit node which contains a constructor, destructor, and C-initializer
36        ConstructorInit * genCtorInit( ObjectDecl * objDecl );
37        ast::ConstructorInit * genCtorInit( const ast::ObjectDecl * objDecl );
38
39        class ManagedTypes {
40        public:
41                bool isManaged( ObjectDecl * objDecl ) const ; // determine if object is managed
42                bool isManaged( Type * type ) const; // determine if type is managed
43
44                void handleDWT( DeclarationWithType * dwt ); // add type to managed if ctor/dtor
45                void handleStruct( StructDecl * aggregateDecl ); // add type to managed if child is managed
46
47                void beginScope();
48                void endScope();
49        private:
50                GenPoly::ScopedSet< std::string > managedTypes;
51        };
52} // namespace
53
54// Local Variables: //
55// tab-width: 4 //
56// mode: c++ //
57// compile-command: "make install" //
58// End: //
Note: See TracBrowser for help on using the repository browser.