
#ifndef PAGE_NO_PS_PAGE_NUMBERING_H
#define PAGE_NO_PS_PAGE_NUMBERING_H

#include <string>

// ---------------------------------------------------------------------
// To extract the page numbering from a PS file.
// ---------------------------------------------------------------------

namespace Page_no {
  class PS_page_numbering;
}

class Page_no::PS_page_numbering {
  private:
    int n_prefatory_page1;
    int n_corporeal_page1;
  public:
    explicit PS_page_numbering( const std::string &filename_ps );
    int count_prefatory_page() const { return n_prefatory_page1; }
    int count_corporeal_page() const { return n_corporeal_page1; }
};

#endif

