Method requestCommands

src/main/java/fielded/Commands.java:112–150

(Optional<Box> box, String property, String text, Consumer<String> ret, int line, int ch)

	public RemoteEditor.ExtendedCommand callTable_alternative = null;

	public void requestCommands(Optional<Box> box, String property, String text, Consumer<String> ret, int line, int ch) {

		// now we need to ask everybody if they have any commands to offer based on the above.

		//todo: handle no box case
		List<Triple<String, String, Runnable>> commands = getCommandsAndDocs(box.get());

		CompletionStats.stats.autosuggestCommands(commands);

		Log.log("remote.trace", () -> " commands are :" + commands);

		JSONStringer stringer = new JSONStringer();
		stringer.array();
		callTable.clear();
		callTableName.clear();

		for (Triple<String, String, Runnable> r : commands) {
			String u = UUID.randomUUID()
				.toString();
			callTable.put(u, r.third);
			callTableName.put(u, r.first);
			stringer.object();
			stringer.key("name")
				.value(r.first);
			stringer.key("info")
				.value(format(r.second));
			stringer.key("call")
				.value(u);
			stringer.endObject();
		}


		Log.log("remote.trace", () -> " call table looks like :" + callTable);

		stringer.endArray();

		ret.accept(stringer.toString());

	}

	static public void exportAsCommand(Box inside, Runnable r, String name, String doc) {
		inside.properties.getOrConstruct(command)