sail/Constant.h

/*
 * Constant.h
 *
 *  Created on: Jun 29, 2008
 *      Author: isil
 */

#ifndef CONSTANT_H_
#define CONSTANT_H_

#include "Symbol.h"
#include <string>
using namespace std;


namespace il{class const_expression;}

namespace sail {

class Constant:public Symbol {

    friend class boost::serialization::access;

    template<class Archive>
    void serialize(Archive & ar, const unsigned int version)
    {
        ar & boost::serialization::base_object<sail::Symbol>(*this);
        ar & constant_exp;
        ar & constant;
        ar & _is_signed;
        ar & size;
    }

private:
        /*
         * The last three fields only exist if
         * constant_exp is NULL, i.e. for SAIL
         * fabricated constants.
         */
        il::const_expression* constant_exp;
        long constant;
        bool _is_signed;
        short size;


public:
        Constant(il::const_expression* constant_exp);
        Constant(long constant, bool is_signed, short size);
        Constant();
        virtual string to_string() const;
        virtual string to_string(bool print_original) const;

        virtual il::node* get_original_node();

        virtual bool is_constant();

        virtual bool is_variable();
        virtual il::type* get_type();

        bool is_integer();

        bool is_string_constant();


        long int get_integer();

        string get_string_constant();

        bool is_signed();

        int get_size();
        virtual ~Constant();
};

}

#endif /* CONSTANT_H_ */

---