The properties of Java.IO.RandomAccessFile are listed below. For a list of all members, see the RandomAccessFile Members list.
See Also: Inherited members from Java.Lang.Object
| [read-only] | Channel | Java.Nio.Channels.FileChannel. Gets this file's Java.Nio.Channels.FileChannel object. |
| [read-only] | FD | FileDescriptor. Gets this file's Java.IO.FileDescriptor. |
| [read-only] | FilePointer | long. Gets the current position within this file. |
| [read-only] override | ThresholdClass | IntPtr. This API supports the Mono for Android infrastructure and is not intended to be used directly from your code. |
| [read-only] override | ThresholdType | Type. This API supports the Mono for Android infrastructure and is not intended to be used directly from your code. |