/[eiffelstudio]/trunk/Delivery/newdocs/technologies/dotnet/eiffel_dotnet_language/20_language/60_exception_mechanism.html
ViewVC logotype

Diff of /trunk/Delivery/newdocs/technologies/dotnet/eiffel_dotnet_language/20_language/60_exception_mechanism.html

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 34690 by manus, Wed Sep 4 00:53:47 2002 UTC revision 34691 by manus, Thu Oct 24 19:03:19 2002 UTC
# Line 7  Line 7 
7                  <P><LINK href="../../../../default.css" type="text/css" charset="ISO-8859-1" rel="STYLESHEET"></LINK><LINK href="ms-help://Hx/HxRuntime/HxLink.css" type="text/css" rel="stylesheet"></LINK><LINK href="ms-help://Hx/HxRuntime/HxLinkDefault.css" type="text/css" rel="stylesheet"></LINK></P>                  <P><LINK href="../../../../default.css" type="text/css" charset="ISO-8859-1" rel="STYLESHEET"></LINK><LINK href="ms-help://Hx/HxRuntime/HxLink.css" type="text/css" rel="stylesheet"></LINK><LINK href="ms-help://Hx/HxRuntime/HxLinkDefault.css" type="text/css" rel="stylesheet"></LINK></P>
8                  <h1>Exception Mechanism</h1>                  <h1>Exception Mechanism</h1>
9                  <h2>Motivation: Concerning Robustness</h2>                  <h2>Motivation: Concerning Robustness</h2>
10                  <p>The notion of software correctness that we saw in&nbsp;<A href="../../eiffel_for_dotnet/60_Design_By_Contract.htm">Design                  <p>The notion of software correctness that we saw in&nbsp;<A href="../../eiffel_for_dotnet/20_language/50_design_by_contract.html">Design
11                                  by Contract and Assertions</A>&nbsp;is half of the formula for software                                  by Contract and Assertions</A>&nbsp;is half of the formula for software
12                          reliability. Correctness covers what the software is supposed to do, that is,                          reliability. Correctness covers what the software is supposed to do, that is,
13                          its specification.&nbsp;                          its specification.&nbsp;
# Line 47  Line 47 
47                  <P>There is an Eiffel mechanism called the rescue clause which facilitates the                  <P>There is an Eiffel mechanism called the rescue clause which facilitates the
48                          first alternative.</P>                          first alternative.</P>
49                  <H3>The Rescue Clause</H3>                  <H3>The Rescue Clause</H3>
50                  <P>The <SPAN CLASS="ekeyword">rescue</SPAN> clause is part of the routine structure we saw in <A href="../../eiffel_for_dotnet/30_Adding_Class_Features.htm">                  <P>The <SPAN CLASS="ekeyword">rescue</SPAN> clause is part of the routine structure we saw in <A href="../../eiffel_for_dotnet/20_language/20_adding_class_features.html">
51                                  Adding Class Features</A>. The rescue clause is a sequence of instructions                                  Adding Class Features</A>. The rescue clause is a sequence of instructions
52                                  introduced by the keyword "<SPAN CLASS="ekeyword">rescue</SPAN>".                                  introduced by the keyword "<SPAN CLASS="ekeyword">rescue</SPAN>".
53                          At the point that an exception occurs, the processing of the normal                          At the point that an exception occurs, the processing of the normal

Legend:
Removed from v.34690  
changed lines
  Added in v.34691

  ViewVC Help
Powered by ViewVC 1.1.23