2 interface InputStream
{
3 public function __construct(string $fileName);
4 public function open();
5 public function is_opened();
6 public function is_ended();
7 public function close();
8 public function read(integer $size = NULL);
9 public function read_line();
10 public function available();
