Un esempio: commenti 3 ... public static int search (int[] a, int x) // EFFECTS: se x occorre in a, ritorna un.
{"Image DocumentName": "Un esempio: commenti 3... public static int search (int[] a, int x) // EFFECTS: se x occorre in a, ritorna un.", "Image ImageDescription": "// indice in cui occorre, altrimenti -1. public static int searchSorted (int[] a, int x) // REQUIRES: a \u00e8 ordinata in modo crescente. la clausola REQUIRES descrive le condizioni che devono essere verificate sui parametri di ingresso perch\u00e9 la procedura sia definita. possono esserci inputs impliciti (variabili visibili, files, etc.) se la clausola REQUIRES non \u00e8 presente, la procedura \u00e8 totale (esempio, search) \u00e8 definita per tutti gli inputs corretti rispetto al tipo. altrimenti \u00e8 parziale (esempio, searchSorted)", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}