Libraryless. Click here for Pure Java version (7517L/42K).
static File urlToFileOpt(S url) { if (isFileURL(url)) ret urlToFile(url); else null; }
Began life as a copy of #1033451
download show line numbers debug dex old transpilations
Travelled to 3 computer(s): bhatertpkbcr, mowyntqkapby, mqqgnosmbjvj
No comments. add comment
| Snippet ID: | #1035066 |
| Snippet name: | urlToFileOpt - convert file URL to File if possible (otherwise return null) |
| Eternal ID of this version: | #1035066/1 |
| Text MD5: | f758d098dbf30786c141b79e8612fe1c |
| Transpilation MD5: | 5d648204ac007cefad59b1386e00d509 |
| Author: | stefan |
| Category: | javax |
| Type: | JavaX fragment (include) |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2022-03-28 15:12:54 |
| Source code size: | 103 bytes / 6 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 133 / 191 |
| Referenced in: | [show references] |