否则

Runs the fallback branch when preceding conditional branches do not match.

Aliases: else, otherwise

Syntax: 否则 <block>

Category#

control-flow

Related#

• 如果
• 否则如果

Examples#

radix/corpus/secus/secus.fab (canonical · keyword)#

Runs the fallback branch when preceding conditional branches do not match.

# =============================================================================
# 否则 — Runs the fallback branch when preceding conditional branches do not
# match.
# =============================================================================
#
# What this teaches:
#   • Conditional fallback — `否则` provides the else/otherwise branch that
#     runs when no preceding `如果` or `否则如果` condition matched
#   • Always comes last in an if-else chain; takes a block body
#
# Common mistakes:
#   • Writing `否则 如果` instead of the canonical `否则如果` for else-if branches — `否则` must always be final.
#
# See also: 如果, 否则如果
# =============================================================================

# 否则 — final else branch
#
# GRAMMAR:
#   elseClause :← '否则' block
#
# EXPECTED OUTPUT:
#   Scalar stdout smoke (see body).
#
# BACKEND:
#   Cross-ref: 如果/secus.fab.
#

main {
    const int hour ← 23
    if hour ≺ 12 {
        print "morning"
    }
    else {
        print "afternoon-or-later"
    }
}

Expected output:

afternoon-or-later

radix/corpus/si/secus.fab (canonical · keyword)#

Runs the fallback branch when preceding conditional branches do not match.

# =============================================================================
# 否则 — Runs the fallback branch when preceding conditional branches do not
# match.
# =============================================================================
#
# What this teaches:
#   • If-else branches — `如果 { } 否则 { }` provides two-way branching; exactly
#     one arm executes
#   • `否则如果` chains additional conditions before the final `否则` fallback;
#     first match wins
#
# Common mistakes:
#   • TODO: placing `否则` before a `否则如果` branch — `否则` must always be the
#     final clause
#
# See also: 如果, 否则如果
# =============================================================================

# si-secus (if-else) conditionals
#
# 如果 <condition> { <body> }                                   -- two-way branch
# 否则 { <body> }
# 如果 <cond1> { }                                              -- else-if chain
# 否则如果 <cond2> { }
# 否则 { }
#
# GRAMMAR:
#   ifStmt :← '如果' expr block ('否则如果' expr block)* ('否则' block)?
#
# EXPECTED OUTPUT:
#   Grade and weather messages for sample scores and temperatures.

main {
    # Two-way branch: exactly one arm runs
    const int puncta ← 85
    if puncta ≥ 90 {
        print "gradus: A"
    }
    else {
        # 85 < 90 → this arm
        print "gradus: B aut minor"
    }

    # Each branch may contain several statements
    const int calor ← 22
    if calor ≻ 30 {
        print "calidum"
        print "aquam bibe"
    }
    else {
        # 22 ≤ 30
        print "commodum"
        print "caelum mite"
    }

    # 否则如果 chains additional tests; first match wins (75 → C)
    const int gradus ← 75
    if gradus ≥ 90 {
        print "A - optimum"
    }
    elif gradus ≥ 80 {
        print "B - bonum"
    }
    elif gradus ≥ 70 {
        print "C - satis"
    }
    elif gradus ≥ 60 {
        print "D - transit"
    }
    else {
        print "F - deficit"
    }
}

Expected output:

gradus: B aut minor
commodum
caelum mite
C - satis