class · System.IO

File

public class System.IO.File : System.Any
Tipo
class
Espacio de nombres
System.IO
Ensamblado
System.Core
Acceso
public, static, abstract
Archivo fuente
IO.ant

Herencia

Clases base
Any File

Métodos

static method Exists(path: System.String<u8>) -> bool
#

static 

static method ReadAllBytes(path: System.String<u8>) -> u8[]
#

static 

static method ReadAllText(path: System.String<u8>) -> System.String<u8>
#

static 

static method ReadAllLines(path: System.String<u8>) -> System.List<System.String<u8>>
#

static 

static method WriteAllBytes(path: System.String<u8>, bytes: u8[]) -> void
#

static 

static method WriteAllText(path: System.String<u8>, text: System.String<u8>) -> void
#

static 

static method AppendAllText(path: System.String<u8>, text: System.String<u8>) -> void
#

static 

static method WriteAllLines(path: System.String<u8>, lines: System.List<System.String<u8>>) -> void
#

static 

static method Delete(path: System.String<u8>) -> void
#

static 

static method GetLastWriteTime(path: System.String<u8>) -> i64
#

static

When the file was last written, in milliseconds since 1970 (UTC).

Miembros privados e internos (6)

 
static method ReadInto(path: u16[]) -> i64
#

private static 

static method TakeInto(bytes: u8[]) -> void
#

private static 

static method WriteFrom(path: u16[], bytes: u8[], append: i64) -> i64
#

private static 

static method KindOf(path: u16[]) -> i64
#

private static 

static method DeleteAt(path: u16[]) -> i64
#

private static 

static method TimeOf(path: u16[]) -> i64
#

private static

Miembros heredados (5)

Código fuente

File en Larva HIR, descompilado a partir de su Larva HIR.

System.IO.File.hir
public class System.IO.File : System.Any
{
    static method ReadInto(path: u16[]) -> i64
    static method TakeInto(bytes: u8[]) -> void
    static method WriteFrom(path: u16[], bytes: u8[], append: i64) -> i64
    static method KindOf(path: u16[]) -> i64
    static method DeleteAt(path: u16[]) -> i64
    static method TimeOf(path: u16[]) -> i64
    static method Exists(path: System.String<u8>) -> bool
    static method ReadAllBytes(path: System.String<u8>) -> u8[]
    static method ReadAllText(path: System.String<u8>) -> System.String<u8>
    static method ReadAllLines(path: System.String<u8>) -> System.List<System.String<u8>>
    static method WriteAllBytes(path: System.String<u8>, bytes: u8[]) -> void
    static method WriteAllText(path: System.String<u8>, text: System.String<u8>) -> void
    static method AppendAllText(path: System.String<u8>, text: System.String<u8>) -> void
    static method WriteAllLines(path: System.String<u8>, lines: System.List<System.String<u8>>) -> void
    static method Delete(path: System.String<u8>) -> void
    // When the file was last written, in milliseconds since 1970 (UTC).
    static method GetLastWriteTime(path: System.String<u8>) -> i64
}
Esc