6
internal class FileInputStream : InputStream
8
public FileInputStream (FilePath file) : this(file.GetPath ())
12
public FileInputStream (string file)
14
if (!File.Exists (file)) {
15
throw new FileNotFoundException ("File not found", file);
17
base.Wrapped = new FileStream (file, FileMode.Open, FileAccess.Read, FileShare.ReadWrite);
20
public FileChannel GetChannel ()
22
return new FileChannel ((FileStream)base.Wrapped);