public void setIndex(int index) {
		if (index < 0 || index > string.length() - 1) {
			throw new IllegalArgumentException();
		}
		this.index = index;
	}
Sets the position to the specified position in the text.
@param index the position within the text.
Ghidra/Features/Base/src/main/java/ghidra/app/util/demangler/CharacterIterator.java