source: src/SynTree/ApplicationExpr.cc@ 5382492

//
// 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.
//
// ApplicationExpr.cc.cc -- 
//
// Author           : Richard C. Bilson
// Created On       : Mon May 18 07:44:20 2015
// Last Modified By : Peter A. Buhr
// Last Modified On : Mon May 18 07:54:17 2015
// Update Count     : 4
//

#include <cassert>

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


ParamEntry::ParamEntry( const ParamEntry &other ) :
                decl( other.decl ), actualType( maybeClone( other.actualType ) ), formalType( maybeClone( other.formalType ) ), expr( maybeClone( other.expr ) ) {
}

ParamEntry &ParamEntry::operator=( const ParamEntry &other ) {
        if ( &other == this ) return *this;
        decl = other.decl;
        actualType = maybeClone( other.actualType );
        formalType = maybeClone( other.formalType );
        expr = maybeClone( other.expr );
        return *this;
}

ParamEntry::~ParamEntry() {
        delete actualType;
        delete formalType;
        delete expr;
}

ApplicationExpr::ApplicationExpr( Expression *funcExpr ) : function( funcExpr ) {
        PointerType *pointer = dynamic_cast< PointerType* >( funcExpr->get_results().front() );
        assert( pointer );
        FunctionType *function = dynamic_cast< FunctionType* >( pointer->get_base() );
        assert( function );
        
        for ( std::list< DeclarationWithType* >::const_iterator i = function->get_returnVals().begin(); i != function->get_returnVals().end(); ++i ) {
                get_results().push_back( (*i)->get_type()->clone() );
        } // for
}

ApplicationExpr::ApplicationExpr( const ApplicationExpr &other ) :
                Expression( other ), function( maybeClone( other.function ) ), inferParams( other.inferParams ) {
        cloneAll( other.args, args );
}

ApplicationExpr::~ApplicationExpr() {
        delete function;
        deleteAll( args );
}

void ApplicationExpr::print( std::ostream &os, int indent ) const {
        os << std::string( indent, ' ' ) << "Application of" << std::endl;
        function->print( os, indent+2 );
        if ( ! args.empty() ) {
                os << std::string( indent, ' ' ) << "to arguments" << std::endl;
                printAll( args, os, indent+2 );
        } // if
        if ( ! inferParams.empty() ) {
                os << std::string(indent, ' ') << "with inferred parameters:" << std::endl;
                for ( InferredParams::const_iterator i = inferParams.begin(); i != inferParams.end(); ++i ) {
                        os << std::string(indent+2, ' ');
                        Declaration::declFromId( i->second.decl )->printShort( os, indent+2 );
                        os << std::endl;
                } // for
        } // if
        Expression::print( os, indent );
}

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