field defaults — examples

← all topics · 5 examples · page 1 of 1 · raw source ↓

ILEmitterTests_FieldDefaults__PubRefData_MethodsInheritPub

field defaults runnable verified

Runs `test` → "widget"

// E# — a verified example from the E# language corpus (CLR language; .es, not ECMAScript).
// provenance: ILEmitterTests_FieldDefaults.cs::PubRefData_MethodsInheritPub   topic: field-defaults   status: verified
// verified behavior: Test.test(...) == "widget"

namespace Test

pub ref data Widget {
    let label: string = "widget"

    func getLabel() -> string = self.label
}

func test() -> string {
    let w = Widget()
    return w.getLabel()
}

ILEmitterTests_FieldDefaults__RefData_FieldDefault_Bool

field defaults runnable verified

Runs `test` → true

// E# — a verified example from the E# language corpus (CLR language; .es, not ECMAScript).
// provenance: ILEmitterTests_FieldDefaults.cs::RefData_FieldDefault_Bool   topic: field-defaults   status: verified
// verified behavior: Test.test(...) == true

namespace Test

ref data Flags {
    let enabled: bool = true
    let verbose: bool = false
}

func test() -> bool {
    let f = Flags()
    return f.enabled and not f.verbose
}

ILEmitterTests_FieldDefaults__RefData_FieldDefault_Int

field defaults runnable verified

Runs `test` → 42

// E# — a verified example from the E# language corpus (CLR language; .es, not ECMAScript).
// provenance: ILEmitterTests_FieldDefaults.cs::RefData_FieldDefault_Int   topic: field-defaults   status: verified
// verified behavior: Test.test(...) == 42

namespace Test

ref data Counter {
    var count: int = 42
}

func test() -> int {
    let c = Counter()
    return c.count
}

ILEmitterTests_FieldDefaults__RefData_FieldDefault_String

field defaults runnable verified

Runs `test` → "default"

// E# — a verified example from the E# language corpus (CLR language; .es, not ECMAScript).
// provenance: ILEmitterTests_FieldDefaults.cs::RefData_FieldDefault_String   topic: field-defaults   status: verified
// verified behavior: Test.test(...) == "default"

namespace Test

ref data Config {
    let name: string = "default"
}

func test() -> string {
    let c = Config()
    return c.name
}

ILEmitterTests_FieldDefaults__RefData_FieldDefault_WithInit_DefaultsRunFirst

field defaults runnable verified

Runs `test` → "localhost"

// E# — a verified example from the E# language corpus (CLR language; .es, not ECMAScript).
// provenance: ILEmitterTests_FieldDefaults.cs::RefData_FieldDefault_WithInit_DefaultsRunFirst   topic: field-defaults   status: verified
// verified behavior: Test.test(...) == "localhost"

namespace Test

ref data Server {
    let host: string = "localhost"
    var port: int = 8080

    init(port: int) {
        self.port = port
    }
}

func test() -> string {
    let s = Server(9090)
    return s.host
}

1 / 1