if (pdfProcessor.getSourceString().length() > pdfProcessor.getCodeSizeToBeConsideredLarge() && !GeneralDialog.yesNoAnswer(
"Large pdf processor code (greater than " + pdfProcessor.getCodeSizeToBeConsideredLarge() + " characters)",
"The current script leads to a " + pdfProcessor.getClass().getSimpleName() + " code that has " + pdfProcessor.getSourceString().length() + " characters.\n"
+ "It might take " + pdfProcessor.getClass().getSimpleName() + " a long time to draw. Proceed?")) {
pdfProcessor = new GraphViz(TEMP_DIR.getAbsolutePath());
pdfProcessor.addln("digraph G {User aborted...}");
}
pdfProcessor.storeAsPDF("graph", GeneralDialog.promptForExternalFile(
"TEMP-DIRECTORY",
GlobalVariables.getPrematureParameters().getStdDirectory(),