CountDFSet.hpp

Go to the documentation of this file.

#ifndef CountDFSet_H
#define CountDFSet_H

#include <iostream>
#include <set>
#include <algorithm>
#include <iterator>

// abstract interface that this class implements
#include <OpenAnalysis/DataFlow/DataFlowSet.hpp>

namespace OA {
  namespace DataFlow {


class CountDFSet : public virtual DataFlowSet {
public:
  CountDFSet();
  CountDFSet(int count);
  CountDFSet(const CountDFSet &other);
  ~CountDFSet() {}


  OA_ptr<DataFlowSet> clone();
  
  // param for these can't be const because will have to 
  // dynamic cast to specific subclass
  bool operator ==(DataFlowSet &other) const;

  bool operator !=(DataFlowSet &other) const;

  void dump(std::ostream &os);

  void dump(std::ostream &os, OA_ptr<IRHandlesIRInterface> ir);
  
  //========================================================
  // methods specific to CountDFSet
  //========================================================
  
protected:
  int mCount;

};



  } // end of DataFlow namespace
} // end of OA namespace

#endif