Method allSolutions

src/main/java/org/jpl7/Query.java:670–685

calls the Query's goal to exhaustion and returns an array of zero or more Maps of zero or more variablename-to-term bindings (each Map represents a solution, in the order in which they were found). @return an array of zero or more Maps of zero or more variablename-to-term bindings (each Map

()

	 *         type being just a concrete syntax for terms (and hence queries).
	 */
	public final Map<String, Term>[] allSolutions() {
		if (open) {
			throw new JPLException("Query is already open");
		} else { // get a vector of solutions, then turn it into an array
			// First, collect all solutions in a (dynamic) list of substitution mappings
			List<Map<String, Term>> l = new ArrayList<Map<String, Term>>();
			while (hasNext()) {
				l.add(next());
			}

			// Second, convert the list into an array of Mappings (0 solutions -> Map[0])
			@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); // https://codeahoy.com/java/How-To-Convery-ArrayList-To-Array/
		}
	}

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