Location.cpp

Go to the documentation of this file.

#include "Location.hpp"
#include <Utils/Util.hpp>

// included here instead of in hpp file to remove circular reference
#include <OpenAnalysis/Location/LocationVisitor.hpp>

namespace OA {

static bool debug = false;

void dumpLocSet(std::set<OA_ptr<Location> >& set, std::ostream& os, 
                OA_ptr<IRHandlesIRInterface> pIR, bool succinct)
{
    os << "LocSet = { ";
    std::set<OA_ptr<Location> >::iterator setIter;
    for (setIter=set.begin(); setIter!=set.end(); setIter++) {
        OA_ptr<Location> loc = *setIter;
        if(!succinct) {
            loc->dump(os,pIR);
            os << " ";
        } else {
            os << loc->toString(pIR);
        }
    }
    os << " }" << std::endl;   
}


OA_ptr<std::set<OA_ptr<Location> > > 
intersectLocSets(std::set<OA_ptr<Location> >& set1,
                 std::set<OA_ptr<Location> >& set2)
{
    OA_ptr<set<OA_ptr<Location> > > temp;
    temp = new set<OA_ptr<Location> >;
    std::set_intersection(set1.begin(), set1.end(), 
                          set2.begin(), set2.end(),
                          std::inserter(*temp,temp->end()));
    return temp;
}


OA_ptr<std::set<OA_ptr<Location> > > 
unionLocSets(std::set<OA_ptr<Location> >& set1, std::set<OA_ptr<Location> >& set2)
{
  OA_ptr<std::set<OA_ptr<Location> > > temp;
  temp = new std::set<OA_ptr<Location> >;

  std::set<OA_ptr<Location> >::iterator setIter;
  int count1=0;
  for (setIter=set1.begin(); setIter!=set1.end(); setIter++) {
      OA_ptr<Location> loc = *setIter;
      count1++;
  }

  int count2=0;
  for (setIter=set2.begin(); setIter!=set2.end(); setIter++) {
      OA_ptr<Location> loc = *setIter;
      count2++;
  }
  
  std::set_union(set1.begin(), set1.end(), 
                 set2.begin(), set2.end(),
                 std::inserter(*temp,temp->end()));
  return temp;
}


bool mayOverlapLocSets(std::set<OA_ptr<Location> >& set1,
                       std::set<OA_ptr<Location> >& set2)
{
    if (debug) {
        std::cout << "mayOverlapLocSets: " << std::endl;
    }
    std::set<OA_ptr<Location> >::iterator setIter1;
    std::set<OA_ptr<Location> >::iterator setIter2;
    for (setIter1=set1.begin(); setIter1!=set1.end(); setIter1++) {
        for (setIter2=set2.begin(); setIter2!=set2.end(); setIter2++) {
            OA_ptr<Location> loc1 = *setIter1, loc2 = *setIter2;
            loc1 = *setIter1;
            loc2 = *setIter2;
            if (debug) {
                std::cout << "loc1 = ";
                loc1->dump(std::cout);
                std::cout << "loc2 = ";
                loc2->dump(std::cout);
            }
            if (loc1->mayOverlap(*loc2)) {
                return true;
            }
        }
    }

    return false;
}

/*
  is set1 a subset of set2?
*/
bool subSetOf(std::set<OA_ptr<Location> >& set1, std::set<OA_ptr<Location> >& set2)
{
    bool retval = true;

    std::set<OA_ptr<Location> >::iterator setIter1;
    std::set<OA_ptr<Location> >::iterator setIter2;
    for (setIter1=set1.begin(); setIter1!=set1.end(); setIter1++) {
        bool found = false;
        for (setIter2=set2.begin(); setIter2!=set2.end(); setIter2++) {
            OA_ptr<Location> loc1, loc2;
            loc1 = *setIter1;
            loc2 = *setIter2;
            if (loc1 == loc2) {
                found = true;  
                break;
            }
        }
        if (!found) {
            retval = false;
            break;
        }
    }

    return retval;

}

Location::Location()
{
    OA_DEBUG_CTRL_MACRO("DEBUG_Location:ALL", debug);
}

} // end namespace