null

Object reference abi

Use only when deliberately running the comparison oracle. In Kyber-ready code, model absence explicitly with a bool, enum, or sentinel thing.

cpu · complete-program · type checked

class counter
{
    int value

    counter(int initial)
    {
        this.value = initial
    }

    Increase(int amount)
    {
        this.value = this.value + amount
    }

    Value() returns int
    {
        return this.value
    }
}

Identity(counter value) returns counter
{
    return value
}

counter first = counter(7)
counter alias = Identity(first)
alias.Increase(5)

counter? optional = Identity(alias)
if optional != null and first.Value() == 12 and alias.Value() == 12
{
    Console.Log("object-reference-abi-ok")
}

package = "tests.compiler.kyber.objectReferenceAbi"
version = "0.1.0"
backend = "kyber"
osTarget = "windows"
archTarget = "x64"
selfContainedApp = false