AffineExprAbstraction.hpp

Go to the documentation of this file.

#ifndef OA_AffineExpr_H
#define OA_AffineExpr_H

#include <map>
#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/Location/NamedLoc.hpp>
#include <OpenAnalysis/OABase/Annotation.hpp>
#include <OpenAnalysis/Utils/GenOutputTool.hpp>
using namespace std;

namespace OA {
namespace AffineExpr {

class AffineExprAbstraction : public virtual Annotation {
  public:
    AffineExprAbstraction();
    void setOffset(int offset) { mOffset = offset; }
    void addTerm(OA_ptr<NamedLoc> var, int value);

  // - [output methods] - (derived from Annotation)
    virtual void output(IRHandlesIRInterface &ir);

  private:
  OUTPUT
    GENOUT  map<OA_ptr<NamedLoc>, int> mCoefficients;
    GENOUT  int mOffset;
};

} } // end namespaces

#endif