@Override
	public void encode(Encoder encoder) throws IOException {
		encoder.openElement(ELEM_POSITION);
		encoder.writeSignedInteger(ATTRIB_INDEX, position);
		encoder.closeElement(ELEM_POSITION);
	}
Filter that selects for a particular parameter position.
This matches if the position of the current parameter being assigned, within the data-type
list, matches the position attribute of this filter.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/lang/protorules/PositionMatchFilter.java