hphp/test/zend/good/ext/standard/tests/file/001.php

   1 <?hh
   2 <<__EntryPoint>> function main(): void {
   3 $scratch = __SystemLib\hphp_test_tmppath('file');
   4 mkdir($scratch);
   5 chdir($scratch);
   6 if (file_exists('test.file')) {
   7     echo "test.file exists\n";
   8 } else {
   9     echo "test.file does not exist\n";
  10 }
  11 fclose (fopen('test.file', 'w'));
  12 chmod ('test.file', 0744);
  13 if (file_exists('test.file')) {
  14     echo "test.file exists\n";
  15 } else {
  16     echo "test.file does not exist\n";
  17 }
  18 sleep (2);
  19 symlink('test.file','test.link');
  20 if (file_exists('test.link')) {
  21     echo "test.link exists\n";
  22 } else {
  23     echo "test.link does not exist\n";
  24 }
  25 if (is_link('test.file')) {
  26     echo "test.file is a symlink\n";
  27 } else {
  28     echo "test.file is not a symlink\n";
  29 }
  30 if (is_link('test.link')) {
  31     echo "test.link is a symlink\n";
  32 } else {
  33     echo "test.link is not a symlink\n";
  34 }
  35 if (file_exists('test.file')) {
  36     echo "test.file exists\n";
  37 } else {
  38     echo "test.file does not exist\n";
  39 }
  40 $s = stat ('test.file');
  41 $ls = lstat ('test.file');
  42 for ($i = 0; $i <= 12; $i++) {
  43     if ($ls[$i] != $s[$i]) {
  44     echo "test.file lstat and stat differ at element $i\n";
  45     }
  46 }
  47 $s = stat ('test.link');
  48 $ls = lstat ('test.link');
  49 for ($i = 0; $i <= 11; $i++) {
  50     if ($ls[$i] != $s[$i]) {
  51     if ($i != 6 && $i != 10 && $i != 11) echo "test.link lstat and stat differ at element $i\n";
  52     }
  53 }
  54 echo "test.file is " . filetype('test.file') . "\n";
  55 echo "test.link is " . filetype('test.link') . "\n";
  56 printf ("test.file permissions are 0%o\n", 0777 & fileperms('test.file'));
  57 echo "test.file size is " . filesize('test.file') . "\n";
  58 if (is_writeable('test.file')) {
  59     echo "test.file is writeable\n";
  60 } else {
  61     echo "test.file is not writeable\n";
  62 }
  63 if (is_readable('test.file')) {
  64     echo "test.file is readable\n";
  65 } else {
  66     echo "test.file is not readable\n";
  67 }
  68 if (is_executable('test.file')) {
  69     echo "test.file is executable\n";
  70 } else {
  71     echo "test.file is not executable\n";
  72 }
  73 if (is_file('test.file')) {
  74     echo "test.file is a regular file\n";
  75 } else {
  76     echo "test.file is not a regular file\n";
  77 }
  78 if (is_file('test.link')) {
  79     echo "test.link is a regular file\n";
  80 } else {
  81     echo "test.link is not a regular file\n";
  82 }
  83 if (is_dir('test.link')) {
  84     echo "test.link is a directory\n";
  85 } else {
  86     echo "test.link is not a directory\n";
  87 }
  88 if (is_dir('../file')) {
  89     echo "../file is a directory\n";
  90 } else {
  91     echo "../file is not a directory\n";
  92 }
  93 if (is_dir('test.file')) {
  94     echo "test.file is a directory\n";
  95 } else {
  96     echo "test.file is not a directory\n";
  97 }
  98 unlink('test.file');
  99 unlink('test.link');
 100 if (file_exists('test.file')) {
 101     echo "test.file exists (cached)\n";
 102 } else {
 103     echo "test.file does not exist\n";
 104 }
 105 clearstatcache();
 106 if (file_exists('test.file')) {
 107     echo "test.file exists\n";
 108 } else {
 109     echo "test.file does not exist\n";
 110 }
 111 rmdir($scratch);
 112 }