sail/FunctionCall.h

/*
 * FunctionCall.h
 *
 *  Created on: Jun 30, 2008
 *      Author: isil
 *  ret = fn_name(args)
 */

#ifndef FUNCTIONCALL_H_
#define FUNCTIONCALL_H_

#include "SaveInstruction.h"
#include <string>
#include <vector>
#include <set>
#include "type.h"
#include "call_id.h"
using namespace std;
namespace il{class type;}

namespace sail {
class Variable;
class Symbol;

class FunctionCall: public SaveInstruction  {
    friend class boost::serialization::access;

    template<class Archive>
    void save(Archive & ar, const unsigned int version) const
    {
        ar & boost::serialization::base_object<sail::SaveInstruction>(*this);
        ar & ret;
        ar & fn_name;
        ar & fn_signature;
        ar & args;
        ar & virtual_dispatch;
    }

    template<class Archive>
    void load(Archive & ar, const unsigned int version)
    {
        ar & boost::serialization::base_object<sail::SaveInstruction>(*this);
        ar & ret;
        ar & fn_name;
        ar & fn_signature;
        il::type::register_loaded_typeref(&fn_signature);
        ar & args;
        ar & virtual_dispatch;

    }

    BOOST_SERIALIZATION_SPLIT_MEMBER()

private:
        Variable* ret; // this can be null if function doesn't have a return value
                                   // or if the return value is not captured. Use has_return()
                                   // to check.
        string fn_name;

        il::type* fn_signature;
        vector<Symbol*>* args;

        bool virtual_dispatch;



public:
        FunctionCall(Variable* ret, string fn_name, il::type* fn_signature,
                        vector<Symbol*>* args, il::node* original, int line);
        FunctionCall(){args = NULL;};
        virtual string to_string() const;
        virtual string to_string(bool pretty_print) const;

        string get_function_name();

        il::namespace_context get_namespace() const;

        il::type* get_signature();

        vector<Symbol*>* get_arguments();

        bool has_return();

        Variable* get_return_variable();


        bool is_virtual_call();



        void get_virtual_call_targets(set<call_id>& targets);

        virtual Variable* get_lhs();
        virtual void set_lhs(Variable* v);
        virtual bool is_removable();

        bool is_exit_function() const;

        bool is_allocator() const;

        bool is_operator_new() const;


        bool is_deallocator() const;


        bool is_constructor();


        bool is_destructor();

        virtual ~FunctionCall();

private:
        /*
         * This is a helper function for get_virtual_call_targets.
         * Finds a method with the matching name and signature declared in class t.
         * In comparing the signatures, the type of the first argument is ignored
         * since it corresponds to the type of the this pointer.
         */
        il::function_declaration* find_matching_method(il::record_type* t,
                        const string& name, il::type* signature);
};

}

#endif /* FUNCTIONCALL_H_ */

---