1 | <?php |
||
22 | class File_stream { |
||
23 | /** |
||
24 | * @var resource |
||
25 | */ |
||
26 | protected $stream; |
||
27 | /** |
||
28 | * @var int |
||
29 | */ |
||
30 | protected $position; |
||
31 | |||
32 | 6 | function stream_open ($path, $mode) { |
|
47 | /** |
||
48 | * @param int $length |
||
49 | * |
||
50 | * @return false|string |
||
|
|||
51 | */ |
||
52 | 6 | function stream_read ($length) { |
|
58 | /** |
||
59 | * @return false|int |
||
60 | */ |
||
61 | function stream_tell () { |
||
64 | /** |
||
65 | * @return bool |
||
66 | */ |
||
67 | 6 | function stream_eof () { |
|
71 | /** |
||
72 | * @param int $offset |
||
73 | * @param int $whence |
||
74 | * |
||
75 | * @return int |
||
76 | */ |
||
77 | 2 | function stream_seek ($offset, $whence = SEEK_SET) { |
|
83 | /** |
||
84 | * @return array |
||
85 | */ |
||
86 | 6 | function stream_stat () { |
|
89 | } |
||
90 |
This check looks for the generic type
array
as a return type and suggests a more specific type. This type is inferred from the actual code.