次の方法で共有


FileReader Constructors

Definition

Overloads

FileReader(File)

Creates a new FileReader, given the File to read, using the platform's java.

FileReader(FileDescriptor)

Creates a new FileReader, given the FileDescriptor to read, using the platform's java.

FileReader(String)

Creates a new FileReader, given the name of the file to read, using the platform's java.

FileReader(File, Charset)

Creates a new FileReader, given the File to read and the java.

FileReader(IntPtr, JniHandleOwnership)

A constructor used when creating managed representations of JNI objects; called by the runtime.

FileReader(String, Charset)

Creates a new FileReader, given the name of the file to read and the java.

FileReader(File)

Creates a new FileReader, given the File to read, using the platform's java.

[Android.Runtime.Register(".ctor", "(Ljava/io/File;)V", "")]
public FileReader (Java.IO.File? file);
[<Android.Runtime.Register(".ctor", "(Ljava/io/File;)V", "")>]
new Java.IO.FileReader : Java.IO.File -> Java.IO.FileReader

Parameters

file
File

the File to read

Attributes

Exceptions

if file does not exist.

Remarks

Creates a new FileReader, given the File to read, using the platform's java.nio.charset.Charset#defaultCharset() default charset.

Java documentation for java.io.FileReader.FileReader(java.io.File).

Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License.

Applies to

FileReader(FileDescriptor)

Creates a new FileReader, given the FileDescriptor to read, using the platform's java.

[Android.Runtime.Register(".ctor", "(Ljava/io/FileDescriptor;)V", "")]
public FileReader (Java.IO.FileDescriptor? fd);
[<Android.Runtime.Register(".ctor", "(Ljava/io/FileDescriptor;)V", "")>]
new Java.IO.FileReader : Java.IO.FileDescriptor -> Java.IO.FileReader

Parameters

fd
FileDescriptor

the FileDescriptor to read

Attributes

Remarks

Creates a new FileReader, given the FileDescriptor to read, using the platform's java.nio.charset.Charset#defaultCharset() default charset.

Java documentation for java.io.FileReader.FileReader(java.io.FileDescriptor).

Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License.

Applies to

FileReader(String)

Creates a new FileReader, given the name of the file to read, using the platform's java.

[Android.Runtime.Register(".ctor", "(Ljava/lang/String;)V", "")]
public FileReader (string? fileName);
[<Android.Runtime.Register(".ctor", "(Ljava/lang/String;)V", "")>]
new Java.IO.FileReader : string -> Java.IO.FileReader

Parameters

fileName
String

the name of the file to read

Attributes

Exceptions

if there is no file named filename.

Remarks

Creates a new FileReader, given the name of the file to read, using the platform's java.nio.charset.Charset#defaultCharset() default charset.

Java documentation for java.io.FileReader.FileReader(java.lang.String).

Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License.

Applies to

FileReader(File, Charset)

Creates a new FileReader, given the File to read and the java.

[Android.Runtime.Register(".ctor", "(Ljava/io/File;Ljava/nio/charset/Charset;)V", "", ApiSince=33)]
public FileReader (Java.IO.File? file, Java.Nio.Charset.Charset? charset);
[<Android.Runtime.Register(".ctor", "(Ljava/io/File;Ljava/nio/charset/Charset;)V", "", ApiSince=33)>]
new Java.IO.FileReader : Java.IO.File * Java.Nio.Charset.Charset -> Java.IO.FileReader

Parameters

file
File

the File to read

charset
Charset

the java.nio.charset.Charset charset

Attributes

Remarks

Creates a new FileReader, given the File to read and the java.nio.charset.Charset charset.

Added in 11.

Java documentation for java.io.FileReader.FileReader(java.io.File, java.nio.charset.Charset).

Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License.

Applies to

FileReader(IntPtr, JniHandleOwnership)

A constructor used when creating managed representations of JNI objects; called by the runtime.

protected FileReader (IntPtr javaReference, Android.Runtime.JniHandleOwnership transfer);
new Java.IO.FileReader : nativeint * Android.Runtime.JniHandleOwnership -> Java.IO.FileReader

Parameters

javaReference
IntPtr

nativeint

A IntPtrcontaining a Java Native Interface (JNI) object reference.

transfer
JniHandleOwnership

A JniHandleOwnershipindicating how to handle javaReference

Remarks

Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License.

Applies to

FileReader(String, Charset)

Creates a new FileReader, given the name of the file to read and the java.

[Android.Runtime.Register(".ctor", "(Ljava/lang/String;Ljava/nio/charset/Charset;)V", "", ApiSince=33)]
public FileReader (string? fileName, Java.Nio.Charset.Charset? charset);
[<Android.Runtime.Register(".ctor", "(Ljava/lang/String;Ljava/nio/charset/Charset;)V", "", ApiSince=33)>]
new Java.IO.FileReader : string * Java.Nio.Charset.Charset -> Java.IO.FileReader

Parameters

fileName
String

the name of the file to read

charset
Charset

the java.nio.charset.Charset charset

Attributes

Remarks

Creates a new FileReader, given the name of the file to read and the java.nio.charset.Charset charset.

Added in 11.

Java documentation for java.io.FileReader.FileReader(java.lang.String, java.nio.charset.Charset).

Portions of this page are modifications based on work created and shared by the Android Open Source Project and used according to terms described in the Creative Commons 2.5 Attribution License.

Applies to