Пример #1
0
 private static void dumpPDFIf(Procedure procedure, string baseFileName, string s, bool b)
 {
     if (b)
     {
         Analyzers.FOLConverter.Slicer.log(3, "Dumping " + s + " PDF file");
         string preCFGFileName = baseFileName + "." + s;
         procedure.dump(preCFGFileName);
     }
 }