source: src/SynTree/FunctionDecl.cc@ de9285f

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since de9285f was ea6332d, checked in by Thierry Delisle <tdelisle@…>, 8 years ago

Big header cleaning pass - commit 3

  • Property mode set to 100644
File size: 3.1 KB
RevLine 
[0dd3a2f]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//
[9243a501]7// FunctionDecl.cc --
[0dd3a2f]8//
9// Author : Richard C. Bilson
10// Created On : Mon May 18 07:44:20 2015
[8b7ee09]11// Last Modified By : Peter A. Buhr
[ddfd945]12// Last Modified On : Thu Mar 16 08:33:41 2017
13// Update Count : 74
[0dd3a2f]14//
15
[ea6332d]16#include <cassert> // for assert
17#include <list> // for list
18#include <ostream> // for operator<<, ostream, basic_ostream
19#include <string> // for operator<<, string, char_traits, ope...
[51b73452]20
[ea6332d]21#include "Attribute.h" // for Attribute
22#include "CodeGen/FixMain.h" // for FixMain
23#include "Common/utility.h" // for maybeClone, printAll
24#include "Declaration.h" // for FunctionDecl, FunctionDecl::Parent
25#include "Parser/LinkageSpec.h" // for Spec, linkageName, Cforall
26#include "Statement.h" // for CompoundStmt
27#include "Type.h" // for Type, FunctionType, Type::FuncSpecif...
[51b73452]28
[3fe34ae]29extern bool translation_unit_nomain;
30
[ddfd945]31FunctionDecl::FunctionDecl( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage, FunctionType *type, CompoundStmt *statements, std::list< Attribute * > attributes, Type::FuncSpecifiers fs )
[a7c90d4]32 : Parent( name, scs, linkage, attributes, fs ), type( type ), statements( statements ) {
[dd020c0]33 // hack forcing the function "main" to have Cforall linkage to replace main even if it is inside an extern
[0dd3a2f]34 if ( name == "main" ) {
[13de47bc]35 set_linkage( CodeGen::FixMain::mainLinkage() );
[0dd3a2f]36 } // if
[51b73452]37}
38
39FunctionDecl::FunctionDecl( const FunctionDecl &other )
[a7c90d4]40 : Parent( other ), type( maybeClone( other.type ) ), statements( maybeClone( other.statements ) ) {
[51b73452]41}
42
[c11e31c]43FunctionDecl::~FunctionDecl() {
[0dd3a2f]44 delete type;
45 delete statements;
[51b73452]46}
47
[c11e31c]48Type * FunctionDecl::get_type() const {
[0dd3a2f]49 return type;
[51b73452]50}
51
[c11e31c]52void FunctionDecl::set_type( Type *t ) {
[0dd3a2f]53 type = dynamic_cast< FunctionType* >( t );
54 assert( type );
[51b73452]55}
56
[c11e31c]57void FunctionDecl::print( std::ostream &os, int indent ) const {
[0dd3a2f]58 using std::endl;
59 using std::string;
[9243a501]60
[0dd3a2f]61 if ( get_name() != "" ) {
[5f2f2d7]62 os << get_name() << ": ";
[0dd3a2f]63 } // if
64 if ( get_linkage() != LinkageSpec::Cforall ) {
[faddbd8]65 os << LinkageSpec::linkageName( get_linkage() ) << " ";
[0dd3a2f]66 } // if
[7baed7d]67
[f9cebb5]68 printAll( get_attributes(), os, indent );
[7baed7d]69
[6e8bd43]70 get_storageClasses().print( os );
71 get_funcSpec().print( os );
[dd020c0]72
[0dd3a2f]73 if ( get_type() ) {
74 get_type()->print( os, indent );
75 } else {
76 os << "untyped entity ";
77 } // if
[843054c2]78
[0dd3a2f]79 if ( statements ) {
[de62360d]80 os << string( indent + 2, ' ' ) << "with body " << endl;
[9243a501]81 os << string( indent + 4, ' ' );
[de62360d]82 statements->print( os, indent + 4 );
[0dd3a2f]83 } // if
[51b73452]84}
85
[c11e31c]86void FunctionDecl::printShort( std::ostream &os, int indent ) const {
[0dd3a2f]87 using std::endl;
88 using std::string;
[9243a501]89
[0dd3a2f]90 if ( get_name() != "" ) {
[5f2f2d7]91 os << get_name() << ": ";
[0dd3a2f]92 } // if
[7baed7d]93
94 // xxx - should printShort print attributes?
95
[6e8bd43]96 get_storageClasses().print( os );
97 get_funcSpec().print( os );
[dd020c0]98
[0dd3a2f]99 if ( get_type() ) {
100 get_type()->print( os, indent );
101 } else {
102 os << "untyped entity ";
103 } // if
[51b73452]104}
[0dd3a2f]105
106// Local Variables: //
107// tab-width: 4 //
108// mode: c++ //
109// compile-command: "make install" //
110// End: //
Note: See TracBrowser for help on using the repository browser.