| $setName(<file_name:string>) | 
| Sets the file name to <file_name>. It does not move the file, it just changes the file the object is pointing to. You can not change names of already open files. See also: $open(), $name().
 | 
| <string> $name() | 
| Returns name set by $setName(). See also: $setName().
 | 
| $open(<mode1:string>, <mode2:string>) | 
| Attempts to open the file in specified mode or modes sum. Valid modes are: 
 If you call this function without any parameters, the file is opened in read-only mode.RAW     - RAW, non-buffered access
 ReadOnly     - opens the file read-only
 WriteOnly    - opens the file write-only
 ReadWrite    - opens the file in read-write mode
 Append       - opens the file in append mode. The file index is set to the end of the file.
 Truncate     - truncates the file
 
 When working with buffered files, data is not written directly to the file at once. You must call $flush() to force it.
 See also: $close(), $flush().
 | 
| <boolean> $isOpen() | 
| Returns '1' if the file is open, '0' otherwise. | 
| $close() | 
| Closes the file, flushing the buffers first. See also: $flush().
 | 
| $flush() | 
| Flushes the file buffer to disk. Calling this after opening the file in RAW mode doesn't make much sense. See also: $open(), $close().
 | 
| <integer> $size() | 
| Returns current file size. | 
| <boolean> $atEnd() | 
| Returns '1' if you have reached end of the file, 0 otherwise. See also: $seek(), $where().
 | 
| <integer> $where() | 
| Returns current position in the file (file index). See also: $seek().
 | 
| $seek(<index:integer>) | 
| Sets the file index to <index>. See also: $where(), $atEnd().
 | 
| $putch(<char>) | 
| Writes character <char> to the file and increments file index. See also: $getch(), $ungetch().
 | 
| <char> $getch() | 
| Reads a character from the file and increments file index. See also: $putch(), $ungetch().
 | 
| $ungetch(<char>) | 
| Puts the character <char> back to the file and decrements the file index. This is usually called to undo a $getch() call. See also: $getch, $putch().
 | 
| $readLine(<text_line:string>) | 
| Reads a line of text from the file and increments file index. | 
| $writeLine(<text_line:string>) | 
| Appends a line of text to the end of the file. $readBlock() $writeBlock() |