source: translator/ResolvExpr/Alternative.cc @ b87a5ed

#include "Alternative.h"
#include "SynTree/Type.h"
#include "SynTree/Expression.h"
#include "utility.h"

namespace ResolvExpr {
    Alternative::Alternative() : expr( 0 ) {}

    Alternative::Alternative( Expression *expr, const TypeEnvironment &env, const Cost& cost )
        : cost( cost ), cvtCost( Cost::zero ), expr( expr ), env( env ) {}

    Alternative::Alternative( Expression *expr, const TypeEnvironment &env, const Cost& cost, const Cost &cvtCost )
        : cost( cost ), cvtCost( cvtCost ), expr( expr ), env( env ) {}

    Alternative::Alternative( const Alternative &other ) {
        initialize( other, *this );
    }

    Alternative &Alternative::operator=( const Alternative &other ) {
        if ( &other == this ) return *this;
        initialize( other, *this );
        return *this;
    }

    void Alternative::initialize( const Alternative &src, Alternative &dest ) {
        dest.cost = src.cost;
        dest.cvtCost = src.cvtCost;
        dest.expr = maybeClone( src.expr );
        dest.env = src.env;
    }

    Alternative::~Alternative() {
        delete expr;
    }

    void Alternative::print( std::ostream &os, int indent ) const {
        os << std::string( indent, ' ' ) << "Cost " << cost << ": ";
        if ( expr ) {
            expr->print( os, indent );
            os << "(types:" << std::endl;
            printAll( expr->get_results(), os, indent + 4 );
            os << ")" << std::endl;
        } else {
            os << "Null expression!" << std::endl;
        }
        os << std::string( indent, ' ' ) << "Environment: ";
        env.print( os, indent+2 );
        os << std::endl;
    }
} // namespace ResolvExpr