Check that file exists: Difference between revisions
Content added Content deleted
m (moved File Exists to File/Exists: Take advantage of MediaWiki's concept of page hierarchies.) |
(Added Oz example.) |
||
| Line 421: | Line 421: | ||
Sys.file_exists "/input.txt";; |
Sys.file_exists "/input.txt";; |
||
Sys.file_exists "/docs";;</lang> |
Sys.file_exists "/docs";;</lang> |
||
=={{header|Oz}}== |
|||
<lang oz>declare |
|||
[Path] = {Module.link ['x-oz://system/os/Path.ozf']} |
|||
in |
|||
{Show {Path.exists "docs"}} |
|||
{Show {Path.exists "input.txt"}} |
|||
{Show {Path.exists "/docs"}} |
|||
{Show {Path.exists "/input.txt"}}</lang> |
|||
=={{header|PHP}}== |
=={{header|PHP}}== |
||