import File from './File.js'; import FileChannel from '../../java/nio/channels/FileChannel.js'; import FileDescriptor from './FileDescriptor.js'; import InputStream from './InputStream.js'; import OutputStream from './OutputStream.js'; export default interface FileInputStream extends InputStream { available(): number; close(): void; getChannel(): FileChannel; getFD(): FileDescriptor; mark(readlimit: number): void; markSupported(): boolean; read(): number; read(b: Array): number; read(b: Array, off: number, len: number): number; readAllBytes(): Array; readNBytes(len: number): Array; readNBytes(b: Array, off: number, len: number): number; reset(): void; skip(n: number): number; transferTo(out: OutputStream): number; } export default class FileInputStream { static get $javaClass(): any; constructor(fdObj: FileDescriptor); constructor(file: File); constructor(_name: string); static nullInputStream(): InputStream; }