public void dump(Writer writer) throws IOException {
		graphLeft.dump(writer);
		graphRight.dump(writer);
//		for (DataNGram vertex : fragments) {
//			writer.append(vertex.toString());
//			writer.append("\n");
//		}
		for (DataVertex vertex : graphLeft.nodeList) {
			DataVertex match = pinMap.get(vertex);
			if (match != null) {
				writer.append("match ");
				writer.append(Integer.toString(vertex.uid));
				writer.append(" to ");
				writer.append(Integer.toString(match.uid));
				writer.append("\n");
			}
		}
	}
Dump a string representation of pinning data structures (for debugging).
@param writer is the stream to write the string to.
@throws IOException for problems writing to the stream
Ghidra/Features/CodeCompare/src/main/java/ghidra/features/codecompare/graphanalysis/Pinning.java