StackArr.java

public static IFinitization finStackAr(int size) {
		return finStackAr(0, size, 0, size);
	}

	public static IFinitization finStackAr(int minSize, int maxSize, int valuesMin, int valuesMax) {
		IFinitization f = FinitizationFactory.create(StackAr.class);
		int stackMin = 0;
		int stackMax = maxSize + 1;

		IIntSet sizes = f.createIntSet(minSize, maxSize);

		IClassDomain integersCD = f.createClassDomain(Integer.class);
		for (int v = valuesMin; v <= valuesMax; v++) {
			integersCD.addObject(new Integer(v));
		}
		IObjSet values = f.createObjSet(Integer.class);
		values.setNullAllowed(true);
		values.addClassDomain(integersCD);

		IArraySet arrays = f.createArraySet(Object[].class, sizes, values, 1);

		IIntSet topOfStackValues = f.createIntSet(stackMin, stackMax);

		f.set("theArray", arrays);
		f.set("topOfStack", topOfStackValues);

		return f;

	}