class · System.IO

File

public class System.IO.File : System.Any
Kind
class
Namespace
System.IO
Assembly
System.Core
Access
public, static, abstract
Source file
IO.ant

Inheritance

Base classes
Any File

Methods

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).

Private and internal members (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

Inherited members (5)

Source

File as Larva HIR, decompiled from its 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