RandomAccessFile.Channel Свойство

Определение

Пространство имен:

Java.IO

Сборка:

Mono.Android.dll

Возвращает уникальный java.nio.channels.FileChannel FileChannel объект, связанный с этим файлом.

public Java.Nio.Channels.FileChannel? Channel { [Android.Runtime.Register("getChannel", "()Ljava/nio/channels/FileChannel;", "")] get; }

[<get: Android.Runtime.Register("getChannel", "()Ljava/nio/channels/FileChannel;", "")>]
member this.Channel : Java.Nio.Channels.FileChannel

Значение свойства

FileChannel

канал файлов, связанный с этим файлом

Атрибуты

RegisterAttribute

Комментарии

Возвращает уникальный java.nio.channels.FileChannel FileChannel объект, связанный с этим файлом.

Возвращаемый java.nio.channels.FileChannel#position() position канал всегда будет равен смещение указателя файла этого объекта, возвращаемое методом #getFilePointer getFilePointer . Изменение смещения указателя на файл, явное или путем чтения или записи байтов, изменит положение канала и наоборот. Изменение длины файла с помощью этого объекта изменит длину, видимую через канал файлов, и наоборот.

Добавлено в версии 1.4.

Java документации по java.io.RandomAccessFile.getChannel().

Части этой страницы — это изменения на основе работы, созданной и общей Project и используемых в соответствии с условиями, описанными в разделе "".