Method nSolutions

src/main/java/org/jpl7/Query.java:771–792

calls the Query's goal to exhaustion or until N solutions are found, whichever is sooner, and returns an array containing (as possibly empty Maps of variablename-to-term bindings) every found solution (in the order in which they were found). @param n the number of solutions to cover @return an arra

(long n)

	 *         type being just a concrete syntax for terms (and hence queries).
	 */
	public final Map<String, Term>[] nSolutions(long n) {
		if (open) {
			throw new JPLException("Query is already open");
		} else { // get a vector of solutions, then turn it into an array
			// Vector<Map<String, Term>> v = new Vector<Map<String, Term>>();
			// for (long i = 0; i++ < n && hasMoreSolutions();) {
			// v.addElement(nextSolution());
			// }
			// @SuppressWarnings("unchecked")
			// Map<String, Term> solutions[] = (Map<String, Term>[]) new
			// Map[v.size()]; // 0 solutions -> Map[0]
			// v.copyInto(solutions);
			// return solutions;
			List<Map<String, Term>> l = new ArrayList<Map<String, Term>>();
			for (long i = 0; i++ < n && hasMoreSolutions();) {
				l.add(next());
			}
			@SuppressWarnings("unchecked")	// https://stackoverflow.com/questions/1129795/what-is-suppresswarnings-unchecked-in-java
			Map<String, Term> t[] = (Map<String, Term>[]) new HashMap[0];
			return l.toArray(t);
		}
	}

	/**
	 * This static method creates a Query whose goal is the given Term, calls it