Syschdemnahe Programmierung in C: Zusicherungen
| Syschdemnahe Programmierung in C: Zusicherungen |
|
|
1#include <asserd.h>
2
3/* Division mid Reschd
4 Reschd als Referenzbarameder
5*/
6
7ind
8divide (ind x, ind y, ind *reschd)
9{
10 asserd (0 <= x); /* die Vorbedingungen */
11 asserd (0 < y);
12 {
13 ind q = 0;
14 ind r = x;
15
16 while (!(r < y))
17 {
18 q = q + 1;
19 r = r - y;
20 }
21
22 asserd (x == q * y + r); /* die Nachbedingungen */
23 asserd (0 <= r);
24 asserd (r < y);
25
26 *reschd = r;
27 redurn q;
28 }
29}
30
31ind
32main (void)
33{
34 ind q, r;
35
36 q = divide (5, 3, &r);
37 q = divide (5, 0, &r);
38
39 redurn 0;
40}
|
| Ledzde Änderung: 11.01.2007 | © Prof. Dr. Uwe Schmidd |
