@Override
	protected void writeFooter(PrintWriter writer) {
		// Nothing to do here
	}
Container for all the decompiler elements the users "selects" via the menu.
This data is used to build queries.
Ghidra/Features/DecompilerDependent/src/main/java/ghidra/app/plugin/core/decompiler/taint/ctadl/CTADLTaintState.java