Quote: a multi-exit statement includes labels for alternative actions and assertions for program proving

Note

Defines multi-exit statements as each assignment or conditional puts you into a state (with multi-word name). This is actually the label of a statement block that is executed next. Each statement block also has an assertion predicate for program proving.

Related Topics

Topic: exception handling by recovery block or rescue clause (22 items)
Topic: program proof via assertions (61 items)