package Examples;

import java.util.Random;

import Sequenic.T2.T2annotation.exclude;
//import Sequenic.T2.T2annotation.ArgGenerator;

public class Generator {
	
	// This generates valid arguments for m1:
	@exclude
	public Object[] m1_gen() {
		Random r = new Random();
		Object[] args = new Object[1];
		int v = r.nextInt();
		if(v==0) v = 1;
		args[0] = v;
		return args;
	}
	
	//@ArgGenerator("m1_gen")
	public void m1(int i) {
		if(i == 0) {
			throw new Error("i can't be 0");
		}
	}
	
	public void m2() {
		m1(0);
	}
}