Προηγούμενη
Ολοκληρωμένο παράδειγμα εξαιρέσεων
Μάθημα
Προγραμματισμός II
Ενότητα
Υλοποίηση εκτενών συστημάτων
Επόμενη
Ισχυρισμοί στην πράξη
Ισχυρισμοί
Ένας
ισχυρισμός (
assertion
)
μας επιτρέπει να τεκμηριώσουμε στον κώδικα του προγράμματος την άποψή μας για τον τρόπο λειτουργίας του.
Ο ισχυρισμός έχει τυπικά τη μορφή ενός κατηγορήματος που θεωρούμε πως στη συγκεκριμένη στιγμή θα είναι αληθές. Παράδειγμα:
b
=
a
/
2
;
assert
(
a
>=
0
&&
b
<=
a
)
||
(
a
<
0
&&
b
>
a
);
Ο ισχυρισμός επιτρέπει σε κάποιον που διαβάζει τον κώδικά μας να καταλάβει καλύτερα πως λειτουργεί ο κώδικας.
Επιπλέον ο μεταγλωττιστής μπορεί να δημιουργήσει κώδικα που ελέγχει τους ισχυρισμούς κατά την εκτέλεση του προγράμματος.