source: src/SynTree/ApplicationExpr.cc

Last change on this file was 07d867b, checked in by Fangren Yu <f37yu@…>, 16 months ago

attempt to fix inferparams

  • Property mode set to 100644
File size: 3.6 KB
Line 
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//
7// ApplicationExpr.cc.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Andrew Beach
12// Last Modified On : Mon Aug 12 14:28:00 2019
13// Update Count     : 5
14//
15
16#include <cassert>               // for strict_dynamic_cast, assert
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
23
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 "InitTweak/InitTweak.h" // for getFunction
28#include "ResolvExpr/typeops.h"  // for extractResultType
29#include "Type.h"                // for Type, PointerType, FunctionType
30
31ParamEntry::ParamEntry( UniqueId decl, Declaration * declptr, Type * actualType, Type * formalType, Expression* expr )
32                : decl( decl ), declptr( declptr ), actualType( actualType ), formalType( formalType ), expr( expr ) {
33        }
34
35ParamEntry::ParamEntry( const ParamEntry &other ) :
36                decl( other.decl ), declptr( other.declptr ), actualType( maybeClone( other.actualType ) ), formalType( maybeClone( other.formalType ) ), expr( maybeClone( other.expr ) ) {
37}
38
39ParamEntry::~ParamEntry() {
40        // delete declptr;
41        delete actualType;
42        delete formalType;
43        delete expr;
44}
45
46ParamEntry::ParamEntry( ParamEntry && other ) :
47                decl( other.decl ), declptr( other.declptr ), actualType( other.actualType ), formalType( other.formalType ), expr( other.expr ) {
48        new (&other) ParamEntry();
49}
50
51ParamEntry & ParamEntry::operator=( ParamEntry && other ) {
52        if ( &other == this ) return *this;
53        this->~ParamEntry();
54        new (this) ParamEntry(other.decl, other.declptr, other.actualType, other.formalType, other.expr);
55        new (&other) ParamEntry();
56
57        return *this;
58}
59
60ApplicationExpr::ApplicationExpr( Expression *funcExpr, const std::list<Expression *> & args ) : function( funcExpr ), args( args ) {
61        PointerType *pointer = strict_dynamic_cast< PointerType* >( funcExpr->get_result() );
62        FunctionType *function = strict_dynamic_cast< FunctionType* >( pointer->get_base() );
63
64        set_result( ResolvExpr::extractResultType( function ) );
65
66        assert( result );
67}
68
69ApplicationExpr::ApplicationExpr( const ApplicationExpr &other ) :
70                Expression( other ), function( maybeClone( other.function ) ) {
71        cloneAll( other.args, args );
72}
73
74ApplicationExpr::~ApplicationExpr() {
75        delete function;
76        deleteAll( args );
77}
78
79bool ApplicationExpr::get_lvalue() const {
80        // from src/GenPoly/Lvalue.cc: isIntrinsicReference
81        static std::set<std::string> lvalueFunctions = { "*?", "?[?]" };
82        if ( const DeclarationWithType * func = InitTweak::getFunction( this ) ) {
83                return func->linkage == LinkageSpec::Intrinsic && lvalueFunctions.count(func->name);
84        }
85        return false;
86}
87
88void ApplicationExpr::print( std::ostream &os, Indenter indent ) const {
89        os << "Application of" << std::endl << indent+1;
90        function->print( os, indent+1 );
91        os << std::endl;
92        if ( ! args.empty() ) {
93                os << indent << "... to arguments" << std::endl;
94                printAll( args, os, indent+1 );
95        } // if
96        Expression::print( os, indent );
97}
98
99// Local Variables: //
100// tab-width: 4 //
101// mode: c++ //
102// compile-command: "make install" //
103// End: //
Note: See TracBrowser for help on using the repository browser.