CompoundStmt *TransformWCR::getWCR(int id) { for (WCRSetTy::iterator I = WCRs.begin(), E = WCRs.end(); I != E; ++I) { CompoundStmt *WCR = *I; if (WCR->getWCRID() == id) return WCR; } assert(0 && "Invalid WCR ID"); return 0; }
//////////////////////////////////////////////////////////////////////////// /// Printing functions for debugging //////////////////////////////////////////////////////////////////////////// void TransformWCR::printWCRs() { OS << "All WCRs(" << WCRs.size() << ") = { "; for (WCRSetTy::iterator I = WCRs.begin(), E = WCRs.end(); I != E; ++I) { if (I != WCRs.begin()) OS << ", "; CompoundStmt *WCR = *I; OS << "W" << WCR->getWCRID(); if (isLandPad(WCR)) OS << "(LP)"; } OS << " }\n"; OS.flush(); }