(Formerly known as FileReadRawInt, which is now obsolete)
File.ReadRawInt()
Reads a raw 32-bit integer from the input file and returns it to the script.
This allows you to read from files created by other programs - however, it
should only be used by experts as no error-checking is performed.
Example:
int number;
File *input = File.Open("stats.txt", eFileRead);
number = input.ReadRawInt();
input.Close();
will read a raw integer from file stats.txt and put it into the integer number.
See Also: File.ReadStringBack, File.ReadRawChar
|