Content deleted Content added
Wiki Tesis (talk | contribs) →Loop statements: Ada Tag: nowiki added |
Wiki Tesis (talk | contribs) →Exceptions: Ada Tag: nowiki added |
||
Line 1,773:
! handler
! assertion
|-
| Ada
| '''raise''' exception_name «'''with''' string_expression»
| '''begin'''<ul>statements</ul>'''exception'''<ul>'''when''' exception_list<sub>1</sub> '''=>''' statements;</ul><ul>'''when''' exception_list<sub>2</sub> '''=>''' statements;</ul>...<br><ul>«'''when others =>''' statements;»</ul>'''end'''{{ref|Ada_uncaught_exceptions|[b]}}
| '''pragma Assert ('''«'''Check =>'''» boolean_expression ««'''Message =>'''» string_expression»''')'''<br><br>[function <nowiki>|</nowiki> procedure <nowiki>|</nowiki> entry] '''with'''<ul>'''Pre =>''' boolean_expression</ul><ul>'''Post =>''' boolean_expression</ul><br>any_type '''with Invariant =>''' boolean_expression
|-
| C (C99)
Line 1,899 ⟶ 1,904:
{{note|common lisp restarts|a}} Common Lisp allows <code>with-simple-restart</code>, <code>restart-case</code> and <code>restart-bind</code> to define restarts for use with <code>invoke-restart</code>. Unhandled conditions may cause the implementation to show a restarts menu to the user before unwinding the stack.
{{note|Ada_uncaught_exceptions|b}} Uncaught exceptions are propagated to the innermost dynamically enclosing execution. Exceptions are not propagated across tasks (unless these tasks are currently synchronised in a rendezvous).
=== Other control flow statements ===
| |||