@nowebref
(File file)
| 6719 | * @nowebref |
| 6720 | */ |
| 6721 | static public String[] loadStrings(File file) { |
| 6722 | if (!file.exists()) { |
| 6723 | System.err.println(file + " does not exist, loadStrings() will return null"); |
| 6724 | return null; |
| 6725 | } |
| 6726 | |
| 6727 | InputStream is = createInput(file); |
| 6728 | if (is != null) { |
| 6729 | String[] outgoing = loadStrings(is); |
| 6730 | try { |
| 6731 | is.close(); |
| 6732 | } catch (IOException e) { |
| 6733 | e.printStackTrace(); |
| 6734 | } |
| 6735 | return outgoing; |
| 6736 | } |
| 6737 | return null; |
| 6738 | } |
| 6739 | |
| 6740 | |
| 6741 | /** |
no test coverage detected