private String[] getRegisterNames(List<Register> transitionRegisters) {
		String[] names = new String[transitionRegisters.size()];
		for (int i = 0; i < names.length; i++) {
			names[i] = transitionRegisters.get(i).getName();
		}
		return names;
	}
Returns the FactoryField for the given object at index index.
@param varWidth the amount of variable width spacing for any fields
before this one.
@param proxy the object whose properties should be displayed.
Ghidra/Features/Base/src/main/java/ghidra/app/util/viewer/field/RegisterTransitionFieldFactory.java