Method hasOption

src/figtree/application/Arguments.java:418–425

Does an argument with label exist?

(String label)

	 * Does an argument with label exist?
	 */
	public boolean hasOption(String label) {
		int n = findOption(label);
		if (n == -1) {
			return false;
		}

		return options[n].isAvailable;
	}

	/**
	 * Return the value of an integer option