nondum

Marks an interface method as planned but unavailable for a target.

Syntax: @ nondum [target] [reason]

Category

availability

Related

• nondum
• annotation-sugar

Examples

examples/corpus/annotation-sugar/nondum-braced.fab (canonical · annotation)

Braced canonical @ nondum availability record.

implendum tempus {
  @ nondum { target = rs, ratio = "timer handles are not implemented" }
  functio siste(numerus handle) → vacuum
}

incipit {
    nota "nondum-braced"
}

Expected output:

nondum-braced

examples/corpus/meta/nondum.fab (canonical · annotation)

Marks an interface method as planned but unavailable for a target.

# meta/nondum — planned-but-unavailable interface methods
#
# GRAMMAR:
#   interfaceMethod :← '@' 'nondum' target? stringLit
#
# EXPECTED OUTPUT:
#   nondum implendum declared
#
# BACKEND:
#   Calls to @ nondum methods fail semantic check (SEM017); do not invoke here.

implendum tempus {
    @ nondum rs "timer handles are not implemented yet"
    functio siste(numerus handle) → vacuum
}

incipit {
    nota "nondum implendum declared"
}

Expected output:

nondum implendum declared