()
| 4696 | } |
| 4697 | |
| 4698 | String openAsString() { |
| 4699 | String path = getStringArg(); |
| 4700 | String str = IJ.openAsString(path); |
| 4701 | if (str==null) |
| 4702 | interp.done = true; |
| 4703 | else if (str.startsWith("Error: ")) |
| 4704 | interp.error(str); |
| 4705 | return str; |
| 4706 | } |
| 4707 | |
| 4708 | String openAsRawString() { |
| 4709 | long max = 5000; |
no test coverage detected