| sdleiF | |
| int EOF RO0 .. 1 (false/true) | End Of File? |
| string info | Information |
| string name RO | Name |
| string path RO | Full path |
| string pathseparator RO | Path separator: / or \ |
| File stdin RO | Standard input |
| File stdout RO | Standard output |
| snoitcnuF | |
| function append(string filename, string description)returns File | Append buffered to the file |
| function appendDirect(string filename, string description)returns File | Append unbuffered to the disk fileReturns null if the file can't be appended |
| function callURL(string url, untyped post_data_or_null, FunctionReference callback_or_null)returns Dictionary | |
| function close()returns string | Close the fileReturns file contents if it has been buffered. |
| function create(string filename, string description)returns File | Create a new buffered file |
| function createDirect(string filename, string description)returns File | Create a new unbuffered disk fileReturns null if the file can't be created |
| function exists()returns int | Test if a file existsSample:
File.exists("walking.gen") -> returns 0 or 1. |
| function flush()doesn't return a value | FlushUseful for unbuffered disk files only (openDirect, appendDirect) |
| function getContents(string filename)returns string | Get file contentsShortcut to: var f=File.open(filename); c=f.readUntilEOF(); f.close(); return c; |
| function new()returns File | Create a new memory file |
| function newFromString(string text)returns File | Create a new memory file with string contents |
| function open(string filename)returns File | Open existing file for readingReturns null if the file can't be read |
| function readLine()returns string | Read lineReturns the next line read from file or null when there are no more lines. |
| function readObject(object)doesn't return a value | Read object |
| function readUntilEOF()returns string | Read everything |
| function writeComment(string anything)doesn't return a value | Write comment string |
| function writeNameObject(string name, object)doesn't return a value | Write object with an alternative name |
| function writeObject(object)doesn't return a value | Write object |
| function writeObjectBegin(object)doesn't return a value | Write object header |
| function writeObjectEnd()doesn't return a value | Finish object |
| function writeObjectField(object, untyped field_index_or_name)doesn't return a value | Write single field |
| function writeObjectFieldForce(object, untyped field_index_or_name)doesn't return a value | Write single field |
| function writeObjectFields(object)doesn't return a value | Write all fields |
| function writeObjectFieldsForce(object)doesn't return a value | Write all fields |
| function writeString(untyped anything)doesn't return a value | Write anything |