Are pre- and post-conditions written for the main method in Java?
I was writing pre- and postcondition for some methods. The main method is a method as well, so I'm wondering whether pre- and postconditions are written for the main method. If so, what would they be?
Aucun commentaire:
Enregistrer un commentaire