@Override
	public int hashCode() {
		final int prime = 31;
		int result = 1;
		result = prime * result + (caseSensitive ? 1231 : 1237);
		result = prime * result + (comments ? 1231 : 1237);
		result = prime * result + (dataMnemonics ? 1231 : 1237);
		result = prime * result + (dataOperands ? 1231 : 1237);
		result = prime * result + (direction ? 1231 : 1237);
		result = prime * result + (functions ? 1231 : 1237);
		result = prime * result + (instructionMnemonics ? 1231 : 1237);
		result = prime * result + (instructionOperands ? 1231 : 1237);
		result = prime * result + (labels ? 1231 : 1237);
		result = prime * result + (databaseSearch ? 1231 : 1237);
		result = prime * result + (searchAll ? 1231 : 1237);
		result = prime * result + ((text == null) ? 0 : text.hashCode());
		return result;
	}
Get the progress value to add on to it for updating the progress in
the search monitor.
@return
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/searchtext/SearchOptions.java