equal
deleted
inserted
replaced
40 |
40 |
41 private static final String PŘÍKAZ_PYGMENTIZE = "pygmentize"; |
41 private static final String PŘÍKAZ_PYGMENTIZE = "pygmentize"; |
42 private static final String PŘÍKAZ_DOT = "dot"; |
42 private static final String PŘÍKAZ_DOT = "dot"; |
43 private static final String PŘÍKAZ_MARKDOWN = "markdown"; |
43 private static final String PŘÍKAZ_MARKDOWN = "markdown"; |
44 private static final String ADRESÁŘ_VÝSTUPNÍ = "výstup"; |
44 private static final String ADRESÁŘ_VÝSTUPNÍ = "výstup"; |
45 private static final String ADRESÁŘ_DIAGRAMY = "diagramy"; |
|
46 private static int počítadloDiagramů = 0; |
45 private static int počítadloDiagramů = 0; |
47 private static String počítadloDiagramůKontext = ""; |
46 private static String počítadloDiagramůKontext = ""; // aktuálně zpracovávaná stránka, při změně vynulujeme počítadlo |
48 |
47 |
49 /** |
48 /** |
50 * Zjištuje, kdy byl naposledy daný soubor změněn. |
49 * Zjištuje, kdy byl naposledy daný soubor změněn. |
51 * @param soubor cesta k souboru |
50 * @param soubor cesta k souboru |
52 * @return datum poslední změny |
51 * @return datum poslední změny |
147 soubor = "diagram-" + kontext + "-" + počítadloDiagramů; |
146 soubor = "diagram-" + kontext + "-" + počítadloDiagramů; |
148 } |
147 } |
149 } else { |
148 } else { |
150 soubor = souborZadání; |
149 soubor = souborZadání; |
151 } |
150 } |
152 File adresářDiagramů = new File(ADRESÁŘ_VÝSTUPNÍ, ADRESÁŘ_DIAGRAMY); |
151 String souborSložka = ADRESÁŘ_VÝSTUPNÍ + File.separator + soubor; |
153 if (!adresářDiagramů.exists()) { |
|
154 adresářDiagramů.mkdirs(); |
|
155 } |
|
156 String souborSložka = ADRESÁŘ_VÝSTUPNÍ + File.separator + ADRESÁŘ_DIAGRAMY + File.separator + soubor; |
|
157 |
152 |
158 String zdroják; |
153 String zdroják; |
159 if (kompletní) { |
154 if (kompletní) { |
160 zdroják = zadání; |
155 zdroják = zadání; |
161 } else { |
156 } else { |
183 String chyby = načtiProud(p.getErrorStream()); |
178 String chyby = načtiProud(p.getErrorStream()); |
184 |
179 |
185 p.waitFor(); |
180 p.waitFor(); |
186 |
181 |
187 if (chyby.length() == 0) { |
182 if (chyby.length() == 0) { |
188 return ADRESÁŘ_DIAGRAMY + File.separator + soubor; |
183 return soubor; |
189 } else { |
184 } else { |
190 System.err.print("Při vytváření diagramu došlo k chybě: " + chyby); |
185 System.err.print("Při vytváření diagramu došlo k chybě: " + chyby); |
191 return null; |
186 return null; |
192 } |
187 } |
193 } else { |
188 } else { |