source: src/SynTree/ReferenceType.cc @ a254fa56

//
// 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.
//
// PointerType.cc --
//
// Author           : Rob Schluntz
// Created On       : Fri May 12 18:12:15 2017
// Last Modified By : Rob Schluntz
// Last Modified On : Fri May 12 18:12:15 2017
// Update Count     : 1
//

#include "Type.h"
#include "Expression.h"
#include "TypeSubstitution.h"
#include "Common/utility.h"

ReferenceType::ReferenceType( const Type::Qualifiers &tq, Type *base, const std::list< Attribute * > & attributes )
        : Type( tq, attributes ), base( base ) {
        assertf( base, "Reference Type with a null base created." );
}

ReferenceType::ReferenceType( const ReferenceType &other )
        : Type( other ), base( maybeClone( other.base ) ) {
}

ReferenceType::~ReferenceType() {
        delete base;
}

int ReferenceType::referenceDepth() const {
        return base->referenceDepth()+1;
}

TypeSubstitution ReferenceType::genericSubstitution() const { return base->genericSubstitution(); }

void ReferenceType::print( std::ostream &os, Indenter indent ) const {
        Type::print( os, indent );
        os << "reference to ";
        if ( base ) {
                base->print( os, indent );
        } // if
}

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