Java Syntax

Hallo
Ich hab das folgende Programm geschrieben:

Code (Java):

public class Intersection {
/*
requires a != null
ensures \result == (es existiert ein int i in [0,a.length -1], so dass a[i] == x)
*/
public static boolean contains(int[] a, int x) {
return false; // TODO
}
/*
requires a != null
ensures \result == (für alle int i in [0,a.length -2]: a[i] < a[i+1])
*/
public static boolean increasing (int[] a) {
return false; // TODO
}
/*
requires a != null
&& b != null
&& increasing(a)
&&...

Java Syntax

Java Syntax