RandomAccessFile.Channel Propiedad
Definición
Importante
Parte de la información hace referencia a la versión preliminar del producto, que puede haberse modificado sustancialmente antes de lanzar la versión definitiva. Microsoft no otorga ninguna garantía, explícita o implícita, con respecto a la información proporcionada aquí.
Devuelve el objeto único java.nio.channels.FileChannel FileChannel asociado a este archivo.
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.FileChannelValor de propiedad
el canal de archivos asociado a este archivo
- Atributos
Comentarios
Devuelve el objeto único java.nio.channels.FileChannel FileChannel asociado a este archivo.
El java.nio.channels.FileChannel#position() position del canal devuelto siempre será igual al desplazamiento del puntero de archivo de este objeto tal como devuelve el #getFilePointer getFilePointer método . Cambiar el desplazamiento del puntero de archivo de este objeto, ya sea explícitamente o leyendo o escribiendo bytes, cambiará la posición del canal y viceversa. Cambiar la longitud del archivo a través de este objeto cambiará la longitud que se ve a través del canal de archivos y viceversa.
Agregado en la versión 1.4.
Java documentación para java.io.RandomAccessFile.getChannel().
Las partes de esta página son modificaciones basadas en el trabajo creado y compartido por el Android y se usan según los términos descritos en creative Creative Commons 2.5 Attribution License.