PSOutputDev::writeHeader: pass int instead of vector
it's what we really need and fixes shadow warning
diff --git a/poppler/PSOutputDev.cc b/poppler/PSOutputDev.cc
index f52e454..620a322 100644
--- a/poppler/PSOutputDev.cc
+++ b/poppler/PSOutputDev.cc
@@ -1424,7 +1424,7 @@
Page *page;
// this check is needed in case the document has zero pages
if ((page = doc->getPage(pageList[0]))) {
- writeHeader(pageList,
+ writeHeader(pageList.size(),
page->getMediaBox(),
page->getCropBox(),
page->getRotate(),
@@ -1432,7 +1432,7 @@
} else {
error(errSyntaxError, -1, "Invalid page {0:d}", pageList[0]);
box = new PDFRectangle(0, 0, 1, 1);
- writeHeader(pageList, box, box, 0, psTitle);
+ writeHeader(pageList.size(), box, box, 0, psTitle);
delete box;
}
if (mode != psModeForm) {
@@ -1519,7 +1519,7 @@
gfree(psTitle);
}
-void PSOutputDev::writeHeader(const std::vector<int> &pages,
+void PSOutputDev::writeHeader(int nPages,
const PDFRectangle *mediaBox, const PDFRectangle *cropBox,
int pageRotate, const char *title) {
PSOutPaperSize *size;
@@ -1575,7 +1575,7 @@
i==0 ? "DocumentMedia:" : "+", size->name, size->w, size->h);
}
writePSFmt("%%BoundingBox: 0 0 {0:d} {1:d}\n", paperWidth, paperHeight);
- writePSFmt("%%Pages: {0:d}\n", static_cast<int>(pages.size()));
+ writePSFmt("%%Pages: {0:d}\n", nPages);
writePS("%%EndComments\n");
if (!paperMatch) {
size = (*paperSizes)[0];
diff --git a/poppler/PSOutputDev.h b/poppler/PSOutputDev.h
index 9e31578..2822bfd 100644
--- a/poppler/PSOutputDev.h
+++ b/poppler/PSOutputDev.h
@@ -166,7 +166,7 @@
//----- header/trailer (used only if manualCtrl is true)
// Write the document-level header.
- void writeHeader(const std::vector<int> &pages,
+ void writeHeader(int nPages,
const PDFRectangle *mediaBox, const PDFRectangle *cropBox,
int pageRotate, const char *title);