source: src/SynTree/ApplicationExpr.cc @ e0e9a0b

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since e0e9a0b was 462a7c7, checked in by Thierry Delisle <tdelisle@…>, 5 years ago

Removed non-moving assignment on ParamEntry? to help debugging

  • Property mode set to 100644
File size: 3.3 KB
RevLine 
[0dd3a2f]1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
[89231bc]7// ApplicationExpr.cc.cc --
[0dd3a2f]8//
9// Author           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
[89231bc]11// Last Modified By : Rob Schluntz
12// Last Modified On : Tue Apr 26 12:41:06 2016
[0dd3a2f]13// Update Count     : 4
14//
15
[e3e16bc]16#include <cassert>               // for strict_dynamic_cast, assert
[ea6332d]17#include <list>                  // for list
18#include <map>                   // for _Rb_tree_const_iterator, map, map<>:...
19#include <memory>                // for unique_ptr
20#include <ostream>               // for operator<<, ostream, basic_ostream
21#include <string>                // for operator<<, string, char_traits
22#include <utility>               // for pair
[51b7345]23
[ea6332d]24#include "Common/utility.h"      // for maybeClone, cloneAll, deleteAll, pri...
25#include "Declaration.h"         // for Declaration
26#include "Expression.h"          // for ParamEntry, ApplicationExpr, Expression
27#include "ResolvExpr/typeops.h"  // for extractResultType
28#include "Type.h"                // for Type, PointerType, FunctionType
[51b7345]29
[462a7c7]30ParamEntry::ParamEntry( UniqueId decl, Declaration * declptr, Type * actualType, Type * formalType, Expression* expr )
31                : decl( decl ), declptr( declptr ), actualType( actualType ), formalType( formalType ), expr( expr ) {
32        }
[51b7345]33
[462a7c7]34ParamEntry::ParamEntry( const ParamEntry &other ) :
35                decl( other.decl ), declptr( maybeClone( other.declptr ) ), actualType( maybeClone( other.actualType ) ), formalType( maybeClone( other.formalType ) ), expr( maybeClone( other.expr ) ) {
[51b7345]36}
37
[0dd3a2f]38ParamEntry::~ParamEntry() {
[aaeacf4]39        delete declptr;
[0dd3a2f]40        delete actualType;
41        delete formalType;
42        delete expr;
[51b7345]43}
44
[4d6d62e]45ParamEntry::ParamEntry( ParamEntry && other ) :
[462a7c7]46                decl( other.decl ), declptr( other.declptr ), actualType( other.actualType ), formalType( other.formalType ), expr( other.expr ) {
47        new (&other) ParamEntry();
[4d6d62e]48}
49
50ParamEntry & ParamEntry::operator=( ParamEntry && other ) {
51        if ( &other == this ) return *this;
[462a7c7]52        this->~ParamEntry();
53        new (this) ParamEntry(other.decl, other.declptr, other.actualType, other.formalType, other.expr);
54        new (&other) ParamEntry();
55
[4d6d62e]56        return *this;
57}
58
[f19339e]59ApplicationExpr::ApplicationExpr( Expression *funcExpr, const std::list<Expression *> & args ) : function( funcExpr ), args( args ) {
[e3e16bc]60        PointerType *pointer = strict_dynamic_cast< PointerType* >( funcExpr->get_result() );
61        FunctionType *function = strict_dynamic_cast< FunctionType* >( pointer->get_base() );
[906e24d]62
63        set_result( ResolvExpr::extractResultType( function ) );
64
[d29fa5f]65        assert( result );
[51b7345]66}
67
[0dd3a2f]68ApplicationExpr::ApplicationExpr( const ApplicationExpr &other ) :
[df626eb]69                Expression( other ), function( maybeClone( other.function ) ) {
[0dd3a2f]70        cloneAll( other.args, args );
[51b7345]71}
72
[0dd3a2f]73ApplicationExpr::~ApplicationExpr() {
74        delete function;
75        deleteAll( args );
[51b7345]76}
77
[50377a4]78void ApplicationExpr::print( std::ostream &os, Indenter indent ) const {
79        os << "Application of" << std::endl << indent+1;
80        function->print( os, indent+1 );
81        os << std::endl;
[6c3a988f]82        if ( ! args.empty() ) {
[50377a4]83                os << indent << "... to arguments" << std::endl;
84                printAll( args, os, indent+1 );
[6c3a988f]85        } // if
[0dd3a2f]86        Expression::print( os, indent );
[51b7345]87}
88
[0dd3a2f]89// Local Variables: //
90// tab-width: 4 //
91// mode: c++ //
92// compile-command: "make install" //
93// End: //
Note: See TracBrowser for help on using the repository browser.