@nowebref
(File file)
| 7501 | * @nowebref |
| 7502 | */ |
| 7503 | static public String[] loadStrings(File file) { |
| 7504 | if (!file.exists()) { |
| 7505 | System.err.println(file + " does not exist, loadStrings() will return null"); |
| 7506 | return null; |
| 7507 | } |
| 7508 | |
| 7509 | InputStream is = createInput(file); |
| 7510 | if (is != null) { |
| 7511 | String[] outgoing = loadStrings(is); |
| 7512 | try { |
| 7513 | is.close(); |
| 7514 | } catch (IOException e) { |
| 7515 | e.printStackTrace(); |
| 7516 | } |
| 7517 | return outgoing; |
| 7518 | } |
| 7519 | return null; |
| 7520 | } |
| 7521 | |
| 7522 | |
| 7523 | /** |
no test coverage detected