@Override
	protected AddressSet getAddresses(Set<AttributedVertex> vertices) {

		AddressSet addrSet = new AddressSet();
		Collection<Set<AttributedVertex>> values = map.values();
		for (Set<AttributedVertex> set : values) {
			for (AttributedVertex vertex : vertices) {
				if (set.contains(vertex)) {
					String addrStr = vertex.getAttribute("Address");
					Address address = program.getAddressFactory().getAddress(addrStr);
					addrSet.add(address);
				}
			}
		}
		return addrSet;
	}
{@link GraphDisplayListener} that handle events back and from program
graphs.
Ghidra/Features/Sarif/src/main/java/sarif/SarifGraphDisplayListener.java