source: src/ResolvExpr/Alternative.cc@ b60f9d9

//
// 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.
//
// Alternative.cc --
//
// Author           : Richard C. Bilson
// Created On       : Sat May 16 23:44:23 2015
// Last Modified By : Peter A. Buhr
// Last Modified On : Sat May 16 23:54:23 2015
// Update Count     : 2
//

#include "Alternative.h"

#include <ostream>                       // for operator<<, ostream, basic_o...
#include <string>                        // for operator<<, char_traits, string
#include <utility>                       // for move

#include "Common/GC.h"
#include "Common/PassVisitor.h"
#include "Common/utility.h"              // for maybeClone
#include "ResolvExpr/Cost.h"             // for Cost, Cost::zero, operator<<
#include "ResolvExpr/TypeEnvironment.h"  // for TypeEnvironment
#include "SynTree/Expression.h"          // for Expression
#include "SynTree/GcTracer.h"
#include "SynTree/Type.h"                // for Type

namespace ResolvExpr {
        Alternative::Alternative() : cost( Cost::zero ), cvtCost( Cost::zero ), 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& o )
                : cost( o.cost ), cvtCost( o.cvtCost ), expr( maybeClone( o.expr ) ), env( o.env ) {}
        
        Alternative & Alternative::operator= ( const Alternative& o ) {
                if ( &o == this ) return *this;
                cost = o.cost;
                cvtCost = o.cvtCost;
                expr = maybeClone( o.expr );
                env = o.env;
                return *this;
        }

        void Alternative::print( std::ostream &os, Indenter indent ) const {
                os << "Cost " << cost << ": ";
                if ( expr ) {
                        expr->print( os, indent+1 );
                        os << std::endl << indent << "(types:" << std::endl;
                        os << indent+1;
                        expr->result->print( os, indent+1 );
                        os << std::endl << indent << ")" << std::endl;
                } else {
                        os << "Null expression!" << std::endl;
                } // if
                os << indent << "Environment: ";
                env.print( os, indent+1 );
                os << std::endl;
        }

        void splice( AltList& dst, AltList& src ) {
                dst.reserve( dst.size() + src.size() );
                for ( Alternative& alt : src ) {
                        dst.push_back( std::move(alt) );
                }
                src.clear();
        }

        void spliceBegin( AltList& dst, AltList& src ) {
                splice( src, dst );
                dst.swap( src );
        }

        const GC& operator<< ( const GC& gc, const Alternative& alt ) {
                PassVisitor<GcTracer> tracer{ gc };
                maybeAccept( alt.expr, tracer );
                tracer << alt.env;
                return gc;
        }

} // namespace ResolvExpr

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