RandomAccessFile.Channel Proprietà
Definizione
Importante
Alcune informazioni sono relative alla release non definitiva del prodotto, che potrebbe subire modifiche significative prima della release definitiva. Microsoft non riconosce alcuna garanzia, espressa o implicita, in merito alle informazioni qui fornite.
Restituisce l'oggetto univoco java.nio.channels.FileChannel FileChannel associato a questo file.
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.FileChannelValore della proprietà
canale di file associato a questo file
- Attributi
Commenti
Restituisce l'oggetto univoco java.nio.channels.FileChannel FileChannel associato a questo file.
L'oggetto java.nio.channels.FileChannel#position() position del canale restituito sarà sempre uguale all'offset del puntatore di file dell'oggetto, come restituito dal #getFilePointer getFilePointer metodo . La modifica dell'offset del puntatore di file di questo oggetto, sia in modo esplicito che tramite la lettura o la scrittura di byte, modificherà la posizione del canale e viceversa. La modifica della lunghezza del file tramite questo oggetto modificherà la lunghezza visualizzata tramite il canale del file e viceversa.
Aggiunta nella versione 1.4.
per java.io.RandomAccessFile.getChannel().
Le parti di questa pagina sono modifiche basate sul lavoro creato e condiviso dalla e usati in base ai termini descritti in Creative License 2.5 Attribution License.