A `Decision Making Statement` that takes an `Expression` evaluating to a "switch value" and declares a predefined set of `Labeled Block`s. The "switch value" is compared sequentially with each of the "case values" declared by the `Case Labeled Block`s, executing their blocks on a match. The sequential comparison is interrupted if an executed block contains a corresponding `Break Statement`. If present and reached, the `Default Labeled Block` is executed regardless of the "switch value".