Ισχυρισμός στην Ιάβα
Η δυνατότητα ισχυρισμού προστίθεται J2SE 1,4. Προκειμένου να υποστηριχθεί αυτή η δυνατότητα J2SE 1,4 πρόσθεσε ότι η λέξη κλειδί βεβαιώνει στη γλώσσα, και την κατηγορία AssertionError. Ένας ισχυρισμός ελέγχει μια του Μπουλ-δακτυλογραφημένη έκφραση που πρέπει να είναι αληθινή κατά τη διάρκεια της εκτέλεσης χρόνου εκτέλεσης προγράμματος. Η δυνατότητα ισχυρισμού μπορεί να επιτραπεί ή να θέσει εκτός λειτουργίας στο χρόνο εκτέλεσης.
Δήλωση του ισχυρισμού
Οι δηλώσεις ισχυρισμού έχουν δύο μορφές όπως δίνονται κατωτέρω
βεβαιώστε την έκφραση
βεβαιώστε expression1: expression2
Η πρώτη μορφή είναι απλή μορφή ισχυρισμού, ενώ η δεύτερη μορφή παίρνει μια άλλη έκφραση. Και σοι δύο από τη μορφή η του Μπουλ έκφραση αντιπροσωπεύει τον όρο που πρέπει να είναι αξιολογεί στον αληθινό χρόνο εκτέλεσης.
Εάν ο όρος αξιολογήσει σε ψεύτικο και τους ισχυρισμούς επιτρέπεται, AssertionError θα ριχτεί στο χρόνο εκτέλεσης.
Μερικά παραδείγματα που χρησιμοποιούν την απλή μορφή ισχυρισμού είναι τα ακόλουθα.
βεβαιώστε την αξία > 5
βεβαιώστε accontBalance > 0
βεβαιώστε isStatusEnabled ()
Η έκφραση που πρέπει να είναι βεβαιωμένος χρόνος εκτέλεσης πρέπει να είναι του Μπουλ αξία. Στο τρίτο παράδειγμα isStatusEnabled () πρέπει να επιστρέψει την του Μπουλ αξία. Εάν ο όρος αξιολογεί σε αληθινό, εκτέλεση συνεχίζεται κανονικά, διαφορετικά το AssertionError ρίχνεται.
Μετά από την απλή μορφή χρήσεων προγράμματος ισχυρισμού
//AssertionDemo.java
Κατηγορία AssertionDemo{
Δημόσιο στατικό κενό main(String args[]){
System.out.println($l*withdrawMoney (1000,500))
System.out.println($l*withdrawMoney (1000,2000))
}
δημόσια διπλή withdrawMoney(double ισορροπία, διπλό amount){
βεβαιώστε την ισορροπία > = ποσό
επιστρέψτε την ισορροπία; ποσό
}
}
Επάνω από το δεδομένο παράδειγμα, την κύρια μέθοδο κλήσεων withdrawMoney μεθόδου με την ισορροπία και το ποσό ως επιχειρήματα. Η μέθοδος withdrawMoney πρέπει να βεβαιώσει τη δήλωση που ελέγχει εάν η ισορροπία είναι ξύστης από ή ίσος για να ανέλθει για να αποσυρθεί. Καλέστε αρχικά τη μέθοδο θα εκτελέσει χωρίς οποιαδήποτε εξαίρεση, αλλά στη δεύτερη κλήση AssertionError ρίχνεται εάν ο ισχυρισμός επιτρέπεται στο χρόνο εκτέλεσης.
Επιτρέψτε/θέστε εκτός λειτουργίας τους ισχυρισμούς
Εξ ορισμού ο ισχυρισμός δεν επιτρέπεται, αλλά ο μεταγλωττιστής παραπονιέται εάν βεβαιώστε χρησιμοποιείται ως προσδιοριστικό ή ετικέτα. Η ακόλουθη εντολή θα συντάξει AssertionDemo με τον ισχυρισμό που επιτρέπεται.
javac ?source 1,4 AssertionDemo.java
Το προκύπτον αρχείο κατηγορίας AssertionDemo περιέχει τον κώδικα ισχυρισμού.
Εξ ορισμού ο ισχυρισμός είναι εκτός λειτουργίας στο περιβάλλον χρόνου εκτέλεσης της Ιάβας. Το ?eanbleassertion επιχειρήματος ή το ?ea επιτρέπει τον ισχυρισμό, ενώ το ?disableassertion ή ?da θα θέσει εκτός λειτουργίας τους ισχυρισμούς στο χρόνο εκτέλεσης.
Η ακόλουθη εντολή θα τρέξει AssertionDemo με τον ισχυρισμό που επιτρέπεται.
Ιάβα ?ea AssertionDemo
ή
?enableassertion AssertionDemo της Ιάβας
Δεύτερη μορφή ισχυρισμού
Η δεύτερη μορφή ισχυρισμού παίρνει μια άλλη έκφραση ως επιχείρημα.
Η σύνταξη είναι,
βεβαιώστε expression1: expression2
όπου expression1 είναι ο όρος και πρέπει να αξιολογήσει σε αληθινό στο χρόνο εκτέλεσης.
Αυτή η δήλωση είναι ισοδύναμη με
βεβαιώστε expression1: ρίξτε νέο AssertionError (expression2)
Σημείωση: Το AssertionError είναι ανεξέλεγκτη εξαίρεση, επειδή κληρονομείται από την κατηγορία λάθους.
Εδώ, expression2 πρέπει να αξιολογήσει σε κάποια αξία.
Εξ ορισμού AssertionError δεν παρέχει το χρήσιμο μήνυμα έτσι αυτή η μορφή μπορεί να είναι χρήσιμη να επιδείξει κάποιο πληροφοριακό μήνυμα στο χρήστη.
Rahim Vindhani
Εφαρμογή Develper [ ανάπτυξη & Webservices εφαρμογής ]
Σφαιρικές υπηρεσίες της ΙΒΜ, pune, Ινδία
ηλεκτρονικό ταχυδρομείο: rahim.vindhani@gmail.com
Ιστός: http://www.rahim.co.nr
Αρθρο Πηγη: Messaggiamo.Com
Related:
» Seo Elite: New Seo Software!» AntiSpywareBOT
» Reverse Mobile
» Error Nuker
Webmaster παίρνει τον κώδικα HTML
Προσθεστε αυτο το αρθρο στον ιστοτοπο σας τωρα!
Webmaster υποβάλλει τα άρθρα σας
Εγγραφή που απαιτείται καμία! Συμπληρώστε τη μορφή και το άρθρο σας είναι στον κατάλογο Messaggiamo.Com
