Здравейте ,

Бих искал малко помощ с един код, тъй като все още не съм добре запознат с точния синтаксис на езика, и правя упражнения свързани с това. Това е кода:

public class Intersection {
/*
requires a != null
ensures \result == (съществува int i в [0,a.length -1], така че a == x)
*/
public static boolean contains(int[] a, int x) {
return false; // TODO
}
/*
requires a != null
ensures \result == (за всички int i in [0,a.length -2]: a < a[i+1])
*/
public static boolean increasing (int[] a) {
return false; // TODO
}
/*
requires a != null
&& b != null
&& increasing(a)
&& increasing(b)
ensures \result != null
&& за всички int x: (contains(a, x) && contains(b, x)) == contains(\result , x)
&& increasing(\result)
*/
public static int[] intersection (int[] a, int[] b) {
return null; // TODO
}
}

Ще съм благодарен много, ако някой ми покаже как изглеждат коментарите като код. Мерси предварително!

 

Редактирано 23 ноември 20169 г. от StenliFord (преглед на промените)

public class Intersection {
	/*
	requires a != null
	ensures \result == (съществува int i в [0,a.length -1], така че a == x)
	*/
	public static boolean contains(int[] a, int x) {
		if (a != null){
			for (int i = 0 ; i < a.length ; i++){
				if (a[i] == x){
					return true;
				}
			}
		}
		return false;
	}
	/*
	requires a != null
	ensures \result == (за всички int i in [0,a.length -2]: a < a[i+1])
	*/
	public static boolean increasing (int[] a) {
		if (a != null){
			boolean increasing = false;
			for (int i = 0 ; i < a.length-1 ; i++){
				if (a[i] >= a[i+1]){
					return false;
				}
				else if (a[i] < a[i+1]){
					increasing = true;
				}
			}
			return increasing;
		}
		return false;
	}
	/*
	requires a != null
	&& b != null
	&& increasing(a)
	&& increasing(b)
	ensures \result != null
	&& за всички int x: (contains(a, x) && contains(b, x)) == contains(\result , x)
	&& increasing(\result)
	*/
	public static int[] intersection (int[] a, int[] b) {
		if(a != null && b != null && increasing(a) && increasing(b)){
			
		}
		return null;
	}
	
	public static void main(String[] args){
		int a[] = new int[16];
		for(int i = 0 ; i < a.length ; i++){
			a[i] = i;
		}
		int b[] = new int[32];
		for(int i = 0 ; i < b.length ; i++){
			b[i] = i*100;
		}
		System.out.println(contains(a,-15));
		System.out.println(increasing(a));
		System.out.println(increasing(b));
		System.out.println(intersection(a,b));
	}
	
}

Единствено не можах да разбера условието на intersection() метода.

Дано успях да ти помогна.

 

Поздрави.

Редактирано 27 ноември 20169 г. от Dragoslav Slaveykov
Добавяне на коментар. (преглед на промените)

Да, малко късно го прочетох, но иначе изглежда доста добре, благодаря ти много! Ето, ако си любопитен за intersection() метода как стана:

 

public static int[] intersection (int[] a, int[] b) {
int minLength = Math.min(a.length , b.length);
int[] res = new int[ minLength ];
int i = 0;
int j = 0;
int k = 0;
while (i < a.length && j < b.length) {
if (a[i] < b[j]) {
i = i + 1;
} else if (a[i] > b[j]) {
j = j + 1;
} else { // a[i] == b[j]
res[k] = a[i];
i = i + 1;
j = j + 1;
k = k + 1;
}
}
return Arrays.copyOf(res , k);
}
}