Προηγούμενη
Ισχυρισμοί στην πράξη
Μάθημα
Προγραμματισμός II
Ενότητα
Υλοποίηση εκτενών συστημάτων
Επόμενη
Παράδειγμα χρήσης ισχυρισμών
Ισχυρισμοί στη Java
Στη Java ο ισχυρισμός δηλώνεται με τη δεσμευμένη λέξη assert την οποία ακολουθεί με λογική τιμή που κανονικά πρέπει να είναι αληθής.
Μετά τη λογική τιμή μπορούμε να προσθέσουμε και μια συμβολοσειρά που θα τυπωθεί στην οθόνη αν ο ισχυρισμός αποτύχει (η συνθήκη βρεθεί ψευδής)
Αν η συνθήκη κατά την εκτέλεση του προγράμματος είνα ψευδής, τότε δημιουργείται μια εξαίρεση τύπου AssertionError
Όταν χρησιμοποιούμε ισχυρισμούς τους ενεργοποιούμε κατά την εκτέλεση να το εκτελούμε με την εντολή:
java -ea ClassName