package Examples;

import Sequenic.T2.T2annotation.IntRange;

public class AnnotationTest {
	
	/* Without some restriction on the range of x this could cause
	 * problems like "java.lang.OutOfMemoryError: Java heap space"
	 * 
	 * The IntRange annotation tells T2 to only generate calls with
	 * values in this range, thereby solving this problem.
	 */
	
	@IntRange(min = 0, max = 15)
	public int methodWithLoop(int x) {
		while (x < 10)
			x++;
		return x;
	}
	
	@IntRange(min = 90, max = 110)
	public int anotherLoop(int x) {
		while (x > 100)
			x--;
		return x;
	}
}