sail/FieldRefWrite.h

/*
 * FieldRefWrite.h
 *
 *  Created on: Jun 30, 2008
 *      Author: isil
 *
 *  v1.f = v2
 */

#ifndef FIELDREFWRITE_H_
#define FIELDREFWRITE_H_

#include "Instruction.h"

#include <string>
using namespace std;

namespace il{class node;
                         class record_info;}

namespace sail {

class Variable;
class Symbol;

class FieldRefWrite: public Instruction{
    friend class boost::serialization::access;

    template<class Archive>
    void serialize(Archive & ar, const unsigned int version)
    {
        ar & boost::serialization::base_object<sail::Instruction>(*this);
        ar & v1;
        ar & v2;
        ar & offset;
        ar & field_name;
    }
private:
        Variable* v1;
        Symbol* v2;
        int offset;
        string field_name;
public:
        FieldRefWrite(Variable* v1, Symbol* v2, int offset, il::node* original,
                        int line);
        FieldRefWrite(Variable* v1, Symbol* v2,
                        il::record_info* ri, il::node* original, int line);
        FieldRefWrite(Variable* v1, Symbol* v2,
                                string & name, int offset, il::node* original, int line);
        FieldRefWrite(){};
        virtual string to_string() const;
        virtual string to_string(bool pretty_print) const;

        Variable* get_lhs();

        Symbol* get_rhs();

        int get_offset();

        string get_field_name();
        virtual bool is_removable();
        virtual ~FieldRefWrite();
};

}

#endif /* FIELDREFWRITE_H_ */

---