sail/ArrayRefWrite.h

/*
 * ArrayRefWrite.h
 *
 *  Created on: Jun 30, 2008
 *      Author: isil
 *
 *   v1[index] = v2;
 */

#ifndef ARRAYREFWRITE_H_
#define ARRAYREFWRITE_H_

#include "Instruction.h"

#include <string>
using namespace std;

namespace il{class node;}

namespace sail {

class Variable;
class Symbol;

class ArrayRefWrite: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 & index;
        ar & offset;
        ar & name;
    }

private:
        Variable* v1;
        Symbol* v2;
        Symbol* index;
        int offset;
        string name;
public:
        ArrayRefWrite(Variable* v1, Symbol* v2, Symbol* index,
                        int offset, string name, il::node* original, int line);
        ArrayRefWrite(){};
        virtual string to_string() const;

        Variable* get_lhs();

        Symbol* get_rhs();

        Symbol* get_index();

        int get_offset();

        string get_field_name();
        virtual bool is_removable();
        virtual string to_string(bool pretty_print) const;
        virtual ~ArrayRefWrite();
};

}

#endif /* ARRAYREFWRITE_H_ */

---