A SWITCH LABEL declaration associates an identifier with a list of designational expressions, which are expressions that evaluate to labels. Any of these designational expressions can later be referenced by using the identifier and a number corresponding to the position of the designational expression in the list.

<switch label declaration>

── SWITCH ──<identifier>── := ──<switch label list>────────────────────┤

<switch label identifier>

An identifier that is associated with a switch label list in a SWITCH LABEL declaration.

<switch label list>

  ┌◄──────────── , ────────────┐
──┴─<designational expression>─┴───────────────────────────────────────┤