(String filename)
| 347 | //------------------------------------------------------------------------- |
| 348 | |
| 349 | private static String getScriptFromFile(String filename) throws IOException { |
| 350 | LineNumberReader rd = new LineNumberReader(new FileReader(filename)); |
| 351 | StringBuilder sb = new StringBuilder(); |
| 352 | try { |
| 353 | String line = rd.readLine(); |
| 354 | while (line != null) { |
| 355 | sb.append(line); |
| 356 | sb.append("\n"); |
| 357 | line = rd.readLine(); |
| 358 | } |
| 359 | } finally { |
| 360 | rd.close(); |
| 361 | } |
| 362 | return sb.toString(); |
| 363 | } |
| 364 | |
| 365 | private static void addDefineClause(String alias, String definition) { |
| 366 | defineCache.add("DEFINE " + alias + " " + definition + ";\n"); |
no test coverage detected