source: src/SynTree/NamedTypeDecl.cc @ e7b2559

//
// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// NamedTypeDecl.cc -- 
//
// Author           : Richard C. Bilson
// Created On       : Mon May 18 07:44:20 2015
// Last Modified By : Peter A. Buhr
// Last Modified On : Sat Jun 13 08:13:55 2015
// Update Count     : 3
//

#include "Declaration.h"
#include "Type.h"
#include "Common/utility.h"

NamedTypeDecl::NamedTypeDecl( const std::string &name, DeclarationNode::StorageClass sc, Type *base )
        : Parent( name, sc, LinkageSpec::Cforall ), base( base ) {}

NamedTypeDecl::NamedTypeDecl( const TypeDecl &other )
        : Parent( other ), base( maybeClone( other.base ) ) {
        cloneAll( other.parameters, parameters );
        cloneAll( other.assertions, assertions );
}

NamedTypeDecl::~NamedTypeDecl() {
        delete base;
        deleteAll( parameters );
        deleteAll( assertions );
}

void NamedTypeDecl::print( std::ostream &os, int indent ) const {
        using namespace std;
        
        if ( get_name() != "" ) {
                os << get_name() << ": ";
        } // if
        if ( get_storageClass() != DeclarationNode::NoStorageClass ) {
                os << DeclarationNode::storageName[ get_storageClass() ] << ' ';
        } // if
        os << typeString();
        if ( base ) {
                os << " for ";
                base->print( os, indent );
        } // if
        if ( ! parameters.empty() ) {
                os << endl << string( indent, ' ' ) << "with parameters" << endl;
                printAll( parameters, os, indent+2 );
        } // if
        if ( ! assertions.empty() ) {
                os << endl << string( indent, ' ' ) << "with assertions" << endl;
                printAll( assertions, os, indent+2 );
        } // if
}

void NamedTypeDecl::printShort( std::ostream &os, int indent ) const {
        using namespace std;
        
        if ( get_name() != "" ) {
                os << get_name() << ": ";
        } // if
        if ( get_storageClass() != DeclarationNode::NoStorageClass ) {
                os << DeclarationNode::storageName[ get_storageClass() ] << ' ';
        } // if
        os << typeString();
        if ( base ) {
                os << " for ";
                base->print( os, indent );
        } // if
        if ( ! parameters.empty() ) {
                os << endl << string( indent, ' ' ) << "with parameters" << endl;
                printAll( parameters, os, indent+2 );
        } // if
}

std::string TypedefDecl::typeString() const { return "typedef"; }

// Local Variables: //
// tab-width: 4 //
// mode: c++ //
// compile-command: "make install" //
// End: //