sail/ArrayRefRead.h

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

#ifndef ARRAYREFREAD_H_
#define ARRAYREFREAD_H_

#include "SaveInstruction.h"

#include <string>
using namespace std;


namespace il{class node;}

namespace sail {
class Variable;
class Symbol;

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

    template<class Archive>
    void serialize(Archive & ar, const unsigned int version)
    {
        ar & boost::serialization::base_object<sail::SaveInstruction>(*this);
        ar & v1;
        ar & v2;
        ar & index;
        ar & offset;
        ar & name;
    }
private:
        Variable* v1;
        Variable* v2;
        Symbol* index;
        int offset; 
        string name; 
public:
        ArrayRefRead(Variable* v1, Variable* v2, Symbol* index, int offset,
                        string name, il::node* original, int line);
        ArrayRefRead(){};

        int get_offset();
        string get_field_name();
        virtual string to_string() const;

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

        Variable* get_rhs();

        Symbol* get_index();
        virtual bool is_removable();
        virtual string to_string(bool pretty_print) const;
        virtual ~ArrayRefRead();
};

}

#endif /* ARRAYREFREAD_H_ */

---