الاختبارات والعقود والأدلة الحتمية

public class Main {
static int clamp(int x,int low,int high) {
 if(low>high) throw new IllegalArgumentException("range");
 return Math.max(low,Math.min(x,high));
}
static void check(boolean ok,String label) { if(!ok) throw new AssertionError(label); }
 public static void main(String[] args) throws Exception {
check(clamp(-2,0,10)==0,"below");
check(clamp(5,0,10)==5,"inside");
check(clamp(12,0,10)==10,"above");
System.out.println("3 cases passed");
 }
}

3 cases passed

تبقى التأكيدات الصريحة فعالة دون -ea وتستهدف مناطق مختلفة من العقد.

public class Main {
static boolean expired(java.time.Instant deadline,java.time.Clock clock) {
 return !java.time.Instant.now(clock).isBefore(deadline);
}
 public static void main(String[] args) throws Exception {
var now=java.time.Instant.parse("2026-01-01T00:00:00Z");
var clock=java.time.Clock.fixed(now,java.time.ZoneOffset.UTC);
System.out.println(expired(now,clock));
 }
}

true

تعد المقارنة التساوي انتهاء وتجعل الساعة النتيجة مستقلة عن تاريخ التنفيذ.