source: src/SynTree/FunctionDecl.cc @ ba407ce

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since ba407ce was 1db21619, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

add CFA flag, remove -p from cc1, typedef on functions become function declarations, move isInline/isNoreturn to Declaration, cleaned up label code

  • Property mode set to 100644
File size: 3.1 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// FunctionDecl.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Mon Jul 13 18:11:44 2015
13// Update Count     : 19
14//
15
16#include <cassert>
17
18#include "Declaration.h"
19#include "Statement.h"
20#include "Type.h"
21#include "utility.h"
22
23FunctionDecl::FunctionDecl( const std::string &name, DeclarationNode::StorageClass sc, LinkageSpec::Type linkage, FunctionType *type, CompoundStmt *statements, bool isInline, bool isNoreturn )
24                : Parent( name, sc, linkage ), type( type ), statements( statements ) {
25        set_isInline( isInline );
26        set_isNoreturn( isNoreturn );
27        // this is a brazen hack to force the function "main" to have C linkage
28        if ( name == "main" ) {
29                set_linkage( LinkageSpec::C );
30        } // if
31}
32
33FunctionDecl::FunctionDecl( const FunctionDecl &other )
34        : Parent( other ), type( maybeClone( other.type ) ), statements( maybeClone( other.statements ) ) {
35}
36
37FunctionDecl::~FunctionDecl() {
38        delete type;
39        delete statements;
40}
41
42Type * FunctionDecl::get_type() const {
43        return type;
44}
45
46void FunctionDecl::set_type( Type *t ) {
47        type = dynamic_cast< FunctionType* >( t );
48        assert( type );
49}
50
51void FunctionDecl::print( std::ostream &os, int indent ) const {
52        using std::endl;
53        using std::string;
54       
55        if ( get_name() != "" ) {
56                os << get_name() << ": ";
57        } // if
58        if ( get_linkage() != LinkageSpec::Cforall ) {
59                os << LinkageSpec::toString( get_linkage() ) << " ";
60        } // if
61        if ( get_isInline() ) {
62                os << "inline ";
63        } // if
64        if ( get_isNoreturn() ) {
65                os << "_Noreturn ";
66        } // if
67        if ( get_storageClass() != DeclarationNode::NoStorageClass ) {
68                os << DeclarationNode::storageName[ get_storageClass() ] << ' ';
69        } // if
70        if ( get_type() ) {
71                get_type()->print( os, indent );
72        } else {
73                os << "untyped entity ";
74        } // if
75
76        if ( ! oldIdents.empty() ) {
77                os << string( indent + 2, ' ' ) << "with parameter names" << endl;
78                for ( std::list< std::string >::const_iterator i = oldIdents.begin(); i != oldIdents.end(); ++i ) {
79                        os << string( indent + 4, ' ' ) << *i << endl;
80                } // for
81        } // if
82
83        if ( ! oldDecls.empty() ) {
84                os << string( indent + 2, ' ' ) << "with parameter declarations" << endl;
85                printAll( oldDecls, os, indent + 4 );
86        } // if
87        if ( statements ) {
88                os << string( indent + 2, ' ' ) << "with body " << endl;
89                statements->print( os, indent + 4 );
90        } // if
91}
92
93void FunctionDecl::printShort( std::ostream &os, int indent ) const {
94        using std::endl;
95        using std::string;
96       
97        if ( get_name() != "" ) {
98                os << get_name() << ": ";
99        } // if
100        if ( get_isInline() ) {
101                os << "inline ";
102        } // if
103        if ( get_isNoreturn() ) {
104                os << "_Noreturn ";
105        } // if
106        if ( get_storageClass() != DeclarationNode::NoStorageClass ) {
107                os << DeclarationNode::storageName[ get_storageClass() ] << ' ';
108        } // if
109        if ( get_type() ) {
110                get_type()->print( os, indent );
111        } else {
112                os << "untyped entity ";
113        } // if
114}
115
116// Local Variables: //
117// tab-width: 4 //
118// mode: c++ //
119// compile-command: "make install" //
120// End: //
Note: See TracBrowser for help on using the repository browser.