file returns the File object held by the InputSource.
header returns the header line from the input file.
isHeaderEmpty returns true if there is no data for a header, including the terminator.
isOpen returns true if the input source is open for reading, false otherwise.
isReadHeaderEnabled returns true if the header line is being read.
isStdin returns true if the input source is Standard Input, false otherwise.
name returns a user friendly name representing the input source.
InputSource is a class of objects produced by iterating over an InputSourceRange.
An InputSource object provides access to the open file currently the front element of an InputSourceRange. The main methods application code is likely to need are:
An InputSource is a reference object, so the copies will retain the state of the InputSourceRange front element. In particular, all copies will have the open state of the front element of the InputSourceRange.
This class is not intended for use outside the context of an InputSourceRange.