formula.cpp File Reference

#include <map>
#include <vector>
#include <string>
#include <utility>
#include "formula.h"
#include "message.h"
#include "config.h"
#include "util.h"
#include "portable.h"
#include "image.h"
#include "fileinfo.h"
#include "dir.h"
#include "regex.h"
#include "linkedmap.h"
#include "threadpool.h"
#include "latexgen.h"
#include "debug.h"
#include "doxygen.h"
#include "indexlist.h"

Include dependency graph for formula.cpp:

Go to the source code of this file.

Classes
struct	FormulaManager::Private

Functions
static int	determineInkscapeVersion (const Dir &thisDir)
static bool	createDVIFile (const DString &fileName)
static bool	createPostscriptFile (const DString &fileName, const DString &formBase, int pageIndex)
static bool	createEPSbboxFile (const DString &formBase)
static bool	extractBoundingBox (const DString &formBase, int *x1, int *y1, int *x2, int *y2, double *x1hi, double *y1hi, double *x2hi, double *y2hi)
static double	updateFormulaSize (Formula *formula, int x1, int y1, int x2, int y2)
static bool	createCroppedPDF (const DString &formBase, int x1, int y1, int x2, int y2)
static bool	createCroppedEPS (const DString &formBase)
static bool	createSVGFromPDF (const DString &formBase, const DString &outFile)
static bool	createSVGFromPDFviaInkscape (const Dir &thisDir, const DString &formBase, const DString &outFile)
static bool	updateEPSBoundingBox (const DString &formBase, int x1, int y1, int x2, int y2, double x1hi, double y1hi, double x2hi, double y2hi)
static bool	createPNG (const DString &formBase, const DString &outFile, double scaleFactor)
static StringVector	generateFormula (const Dir &thisDir, const DString &formulaFileName, Formula *formula, int pageNum, int pageIndex, FormulaManager::Format format, FormulaManager::HighDPI hd, FormulaManager::Mode mode)

Variables
static std::mutex	g_formulaUpdateMutex
static std::mutex	g_inkscapeDetectionMutex

Function Documentation

createCroppedEPS()

bool createCroppedEPS ( const DString & formBase )

static

Definition at line 364 of file formula.cpp.

{
  const size_t argsLen = 4096;
  char args[argsLen];
  // crop the image to its bounding box
  snprintf(args,argsLen,"-q -dBATCH -dNOPAUSE -P- -dNOSAFER -sDEVICE=eps2write"
              " -o %s_tmp.eps -f %s_tmp.ps",qPrint(formBase),qPrint(formBase));
  if (Portable::system(Portable::ghostScriptCommand(),args)!=0)
  {
    err("Problems running {}. Check your installation!\n",Portable::ghostScriptCommand());
    return false;
  }
  return true;
}

References err, Portable::ghostScriptCommand(), qPrint(), and Portable::system().

Referenced by generateFormula().

createCroppedPDF()

bool createCroppedPDF ( const DString & formBase, int x1, int y1, int x2, int y2 )

static

Definition at line 348 of file formula.cpp.

{
  const size_t argsLen = 4096;
  char args[argsLen];
  // crop the image to its bounding box
  snprintf(args,argsLen,"-q -dBATCH -dNOPAUSE -P- -dNOSAFER -sDEVICE=pdfwrite"
              " -o %s_tmp.pdf -c \"[/CropBox [%d %d %d %d] /PAGES pdfmark\" -f %s_tmp.ps",
      qPrint(formBase),x1,y1,x2,y2,qPrint(formBase));
  if (Portable::system(Portable::ghostScriptCommand(),args)!=0)
  {
    err("Problems running {}. Check your installation!\n",Portable::ghostScriptCommand());
    return false;
  }
  return true;
}

References err, Portable::ghostScriptCommand(), qPrint(), and Portable::system().

Referenced by generateFormula().

createDVIFile()

bool createDVIFile ( const DString & fileName )

static

Definition at line 240 of file formula.cpp.

{
  DString latexCmd = "latex";
  const size_t argsLen = 4096;
  char args[argsLen];
  int rerunCount=1;
  while (rerunCount<8)
  {
    //printf("Running latex...\n");
    snprintf(args,argsLen,"-interaction=batchmode %s >%s",qPrint(fileName),Portable::devNull());
    if ((Portable::system(latexCmd,args)!=0) || (Portable::system(latexCmd,args)!=0))
    {
      err("Problems running latex. Check your installation or look "
          "for typos in {0}.tex and check {0}.log!\n",fileName);
      return false;
    }
    // check the log file if we need to run latex again to resolve references
    DString logFile = fileToString(fileName+".log");
    if (logFile.empty() ||
        (logFile.find("Rerun to get cross-references right")==DString::npos &&
         logFile.find("Rerun LaTeX")==DString::npos))
    {
      break;
    }
    rerunCount++;
  }
  return true;
}

References Portable::devNull(), DString::empty(), err, fileToString(), DString::find(), DString::npos, qPrint(), and Portable::system().

Referenced by FormulaManager::createFormulasTexFile().

createEPSbboxFile()

bool createEPSbboxFile ( const DString & formBase )

static

Definition at line 284 of file formula.cpp.

{
  const size_t argsLen = 4096;
  char args[argsLen];
  // extract the bounding box for the postscript file
  snprintf(args,argsLen,"-q -dBATCH -dNOPAUSE -P- -dNOSAFER -sDEVICE=bbox %s_tmp.ps 2>%s_tmp.epsi",
      qPrint(formBase),qPrint(formBase));
  if (Portable::system(Portable::ghostScriptCommand(),args)!=0)
  {
    err("Problems running {}. Check your installation!\n",Portable::ghostScriptCommand());
    return false;
  }
  return true;
}

References err, Portable::ghostScriptCommand(), qPrint(), and Portable::system().

Referenced by generateFormula().

createPNG()

bool createPNG ( const DString & formBase, const DString & outFile, double scaleFactor )

static

Definition at line 457 of file formula.cpp.

{
  const size_t argsLen = 4096;
  char args[argsLen];
  snprintf(args,argsLen,"-q -dNOSAFER -dBATCH -dNOPAUSE -dEPSCrop -sDEVICE=pngalpha -dGraphicsAlphaBits=4 -dTextAlphaBits=4 "
               "-r%d -sOutputFile=%s %s_tmp_corr.eps",static_cast<int>(scaleFactor*72),qPrint(outFile),qPrint(formBase));
  if (Portable::system(Portable::ghostScriptCommand(),args)!=0)
  {
    err("Problems running {}. Check your installation!\n",Portable::ghostScriptCommand());
    return false;
  }
  return true;
}

References err, Portable::ghostScriptCommand(), qPrint(), and Portable::system().

Referenced by generateFormula().

createPostscriptFile()

bool createPostscriptFile ( const DString & fileName, const DString & formBase, int pageIndex )

static

Definition at line 269 of file formula.cpp.

{
  const size_t argsLen = 4096;
  char args[argsLen];
  // run dvips to convert the page with number pageIndex to an
  // postscript file.
  snprintf(args,argsLen,"-q -D 600 -n 1 -p %d -o %s_tmp.ps %s.dvi",pageIndex,qPrint(formBase),qPrint(fileName));
  if (Portable::system("dvips",args)!=0)
  {
    err("Problems running dvips. Check your installation!\n");
    return false;
  }
  return true;
}

References err, qPrint(), and Portable::system().

Referenced by generateFormula().

createSVGFromPDF()

bool createSVGFromPDF ( const DString & formBase, const DString & outFile )

static

Definition at line 379 of file formula.cpp.

{
  const size_t argsLen = 4096;
  char args[argsLen];
  snprintf(args,argsLen,"%s_tmp.pdf %s",qPrint(formBase),qPrint(outFile));
  if (Portable::system("pdf2svg",args)!=0)
  {
    err("Problems running pdf2svg. Check your installation!\n");
    return false;
  }
  return true;
}

References err, qPrint(), and Portable::system().

Referenced by generateFormula().

createSVGFromPDFviaInkscape()

bool createSVGFromPDFviaInkscape ( const Dir & thisDir, const DString & formBase, const DString & outFile )

static

Definition at line 392 of file formula.cpp.

{
  const size_t argsLen = 4096;
  char args[argsLen];
  int inkscapeVersion = determineInkscapeVersion(thisDir);
  if (inkscapeVersion == -1)
  {
    err("Problems determining the version of inkscape. Check your installation!\n");
    return false;
  }
  else if (inkscapeVersion == 0)
  {
    snprintf(args,argsLen,"-l %s -z %s_tmp.pdf 2>%s",qPrint(outFile),qPrint(formBase),Portable::devNull());
  }
  else // inkscapeVersion >= 1
  {
    snprintf(args,argsLen,"--export-type=svg --export-filename=%s %s_tmp.pdf 2>%s",qPrint(outFile),qPrint(formBase),Portable::devNull());
  }
  if (Portable::system("inkscape",args)!=0)
  {
    err("Problems running inkscape. Check your installation!\n");
    return false;
  }
  return true;
}

References determineInkscapeVersion(), Portable::devNull(), err, qPrint(), and Portable::system().

Referenced by generateFormula().

determineInkscapeVersion()

int determineInkscapeVersion ( const Dir & thisDir )

static

Definition at line 728 of file formula.cpp.

{
  std::lock_guard<std::mutex> lock(g_inkscapeDetectionMutex);
  // The command line interface (CLI) of Inkscape 1.0 has changed in comparison to
  // previous versions. In order to invokine Inkscape, the used version is detected
  // and based on the version the right syntax of the CLI is chosen.
  static int inkscapeVersion = -2;
  if (inkscapeVersion == -2) // initial one time version check
  {
    DString inkscapeVersionFile = "inkscape_version" ;
    inkscapeVersion = -1;
    DString args = "-z --version >"+inkscapeVersionFile+" 2>"+Portable::devNull();
    if (Portable::system("inkscape",args)!=0)
    {
      // looks like the old syntax gave problems, lets try the new syntax
      args = " --version >"+inkscapeVersionFile+" 2>"+Portable::devNull();
      if (Portable::system("inkscape",args)!=0)
      {
        return -1;
      }
    }
    // read version file and determine major version
    std::ifstream inkscapeVersionIn = Portable::openInputStream(inkscapeVersionFile);
    if (inkscapeVersionIn.is_open())
    {
      std::string line;
      while (getline(inkscapeVersionIn,line))
      {
        size_t dotPos = line.find('.');
        if (line.rfind("Inkscape ",0)==0 && dotPos>0)
        {
          // get major version
          inkscapeVersion = std::stoi(line.substr(9,dotPos-9));
          break;
        }
      }
      inkscapeVersionIn.close();
    }
    else // failed to open version file
    {
      return -1;
    }
    if (!Debug::isFlagSet(Debug::Formula))
    {
      thisDir.remove(inkscapeVersionFile.str());
    }
  }
  return inkscapeVersion;
}

References Portable::devNull(), Debug::Formula, g_inkscapeDetectionMutex, Debug::isFlagSet(), Portable::openInputStream(), Dir::remove(), DString::str(), and Portable::system().

Referenced by createSVGFromPDFviaInkscape().

extractBoundingBox()

bool extractBoundingBox ( const DString & formBase, int * x1, int * y1, int * x2, int * y2, double * x1hi, double * y1hi, double * x2hi, double * y2hi )

static

Definition at line 299 of file formula.cpp.

{
  FileInfo fi((formBase+"_tmp.epsi").str());
  if (fi.exists())
  {
    DString eps = fileToString(formBase+"_tmp.epsi");
    if (size_t i = eps.find("%%BoundingBox:"); i!=DString::npos)
    {
      sscanf(eps.data()+i,"%%%%BoundingBox:%d %d %d %d",x1,y1,x2,y2);
    }
    else
    {
      err("Couldn't extract bounding box from {}_tmp.epsi\n",formBase);
      return false;
    }
    if (size_t i = eps.find("%%HiResBoundingBox:"); i!=DString::npos)
    {
      sscanf(eps.data()+i,"%%%%HiResBoundingBox:%lf %lf %lf %lf",x1hi,y1hi,x2hi,y2hi);
    }
    else
    {
      err("Couldn't extract high resolution bounding box from {}_tmp.epsi\n",formBase);
      return false;
    }
  }
  //printf("Bounding box [%d %d %d %d]\n",x1,y1,x2,y2);
  return true;
}

References DString::data(), err, FileInfo::exists(), fileToString(), DString::find(), and DString::npos.

Referenced by generateFormula().

generateFormula()

StringVector generateFormula ( const Dir & thisDir, const DString & formulaFileName, Formula * formula, int pageNum, int pageIndex, FormulaManager::Format format, FormulaManager::HighDPI hd, FormulaManager::Mode mode )

static

Definition at line 471 of file formula.cpp.

{
  StringVector tempFiles;
  DString outputFile;
  outputFile.sprintf("form_%d%s.%s",pageNum, mode==FormulaManager::Mode::Light?"":"_dark", format==FormulaManager::Format::Vector?"svg":"png");
  msg("Generating image {} for formula\n",outputFile);
 
  DString formBase;
  formBase.sprintf("_form%d%s",pageNum,mode==FormulaManager::Mode::Light?"":"_dark");
 
  if (!createPostscriptFile(formulaFileName,formBase,pageIndex)) return tempFiles;
 
  int x1=0,y1=0,x2=0,y2=0;
  double x1hi=0.0,y1hi=0.0,x2hi=0.0,y2hi=0.0;
  if (mode==FormulaManager::Mode::Light)
  {
    if (!createEPSbboxFile(formBase)) return tempFiles;
    // extract the bounding box info from the generated .epsi file
    if (!extractBoundingBox(formBase,&x1,&y1,&x2,&y2,&x1hi,&y1hi,&x2hi,&y2hi)) return tempFiles;
  }
  else // for dark images the bounding box is wrong (includes the black) so
       // use the bounding box of the light image instead.
  {
    DString formBaseLight;
    formBaseLight.sprintf("_form%d",pageNum);
    if (!extractBoundingBox(formBaseLight,&x1,&y1,&x2,&y2,&x1hi,&y1hi,&x2hi,&y2hi)) return tempFiles;
  }
 
  // convert the corrected EPS to a bitmap
  double scaleFactor = updateFormulaSize(formula,x1,y1,x2,y2);
 
  if (format==FormulaManager::Format::Vector)
  {
    if (!createCroppedPDF(formBase,x1,y1,x2,y2)) return tempFiles;
 
    // if we have pdf2svg available use it to create a SVG image
    if (Portable::checkForExecutable("pdf2svg"))
    {
      createSVGFromPDF(formBase,outputFile);
    }
    else if (Portable::checkForExecutable("inkscape")) // alternative is to use inkscape
    {
      createSVGFromPDFviaInkscape(thisDir,formBase,outputFile);
    }
    else
    {
      err("Neither 'pdf2svg' nor 'inkscape' present for conversion of formula to 'svg'\n");
      return tempFiles;
    }
 
    tempFiles.push_back(formBase.str()+"_tmp.pdf");
  }
  else // format==FormulaManager::Format::Bitmap
  {
    if (!createCroppedEPS(formBase)) return tempFiles;
 
    if (!updateEPSBoundingBox(formBase,x1,y1,x2,y2,x1hi,y1hi,x2hi,y2hi)) return tempFiles;
 
    if (hd==FormulaManager::HighDPI::On) // for high DPI display it looks much better if the
                                         // image resolution is higher than the display resolution
    {
      scaleFactor*=2;
    }
 
    if (!createPNG(formBase,outputFile,scaleFactor)) return tempFiles;
 
    tempFiles.push_back(formBase.str()+"_tmp.eps");
    tempFiles.push_back(formBase.str()+"_tmp_corr.eps");
  }
 
  // remove intermediate image files
  tempFiles.push_back(formBase.str()+"_tmp.ps");
  if (mode==FormulaManager::Mode::Light)
  {
    tempFiles.push_back(formBase.str()+"_tmp.epsi");
  }
  return tempFiles;
}

References Portable::checkForExecutable(), createCroppedEPS(), createCroppedPDF(), createEPSbboxFile(), createPNG(), createPostscriptFile(), createSVGFromPDF(), createSVGFromPDFviaInkscape(), err, extractBoundingBox(), FormulaManager::Light, msg, FormulaManager::On, DString::sprintf(), DString::str(), updateEPSBoundingBox(), updateFormulaSize(), and FormulaManager::Vector.

Referenced by FormulaManager::createFormulasTexFile().

updateEPSBoundingBox()

bool updateEPSBoundingBox ( const DString & formBase, int x1, int y1, int x2, int y2, double x1hi, double y1hi, double x2hi, double y2hi )

static

Definition at line 419 of file formula.cpp.

{
  // read back %s_tmp.eps and replace
  // bounding box values with x1,y1,x2,y2 and remove the HiResBoundingBox
  std::ifstream epsIn  = Portable::openInputStream(formBase+"_tmp.eps");
  std::ofstream epsOut = Portable::openOutputStream(formBase+"_tmp_corr.eps");
  if (epsIn.is_open() && epsOut.is_open())
  {
    std::string line;
    while (getline(epsIn,line))
    {
      if (line.rfind("%%BoundingBox",0)==0)
      {
        epsOut << "%%BoundingBox: " << std::max(0,x1-1) << " " << std::max(0,y1-1) << " " << (x2+1) << " " << (y2+1) << "\n";
      }
      else if (line.rfind("%%HiResBoundingBox",0)==0)
      {
        epsOut << "%%HiResBoundingBox: " << std::max(0.0,x1hi-1.0) << " " << std::max(0.0,y1hi-1.0) << " " << (x2hi+1.0) << " " << (y2hi+1.0) << "\n";
      }
      else
      {
        epsOut << line << "\n";
      }
    }
    epsIn.close();
    epsOut.close();
  }
  else
  {
    err("Problems correcting the eps files from {}_tmp.eps to {}_tmp_corr.eps\n",
        formBase,formBase);
    return false;
  }
  return true;
}

References err, Portable::openInputStream(), and Portable::openOutputStream().

Referenced by generateFormula().

updateFormulaSize()

double updateFormulaSize ( Formula * formula, int x1, int y1, int x2, int y2 )

static

Definition at line 332 of file formula.cpp.

{
  double scaleFactor = 1.25;
  int zoomFactor = Config_getInt(FORMULA_FONTSIZE);
  if (zoomFactor<8 || zoomFactor>50) zoomFactor=10;
  scaleFactor *= zoomFactor/10.0;
 
  if (formula)
  {
    std::lock_guard<std::mutex> lock(g_formulaUpdateMutex);
    formula->setWidth(static_cast<int>((x2-x1)*scaleFactor+0.5));
    formula->setHeight(static_cast<int>((y2-y1)*scaleFactor+0.5));
  }
  return scaleFactor;
}

References Config_getInt, g_formulaUpdateMutex, Formula::setHeight(), and Formula::setWidth().

Referenced by generateFormula().

Variable Documentation

g_formulaUpdateMutex

std::mutex g_formulaUpdateMutex

static

Definition at line 330 of file formula.cpp.

Referenced by updateFormulaSize().

g_inkscapeDetectionMutex

std::mutex g_inkscapeDetectionMutex

static

Definition at line 724 of file formula.cpp.

Referenced by determineInkscapeVersion().