@Override
	protected Set<AttributedVertex> getVertices(AddressSetView addrSet) {
		if (addrSet.isEmpty()) {
			return Collections.emptySet();
		}

		Set<AttributedVertex> vertices = new HashSet<>();
		for (Entry<Address, Set<AttributedVertex>> entry : map.entrySet()) {
			if (addrSet.contains(entry.getKey())) {
				for (AttributedVertex v : entry.getValue()) {
					vertices.add(v);
				}
			}
		}
		return vertices;
	}
{@link GraphDisplayListener} that handle events back and from program
graphs.
Ghidra/Features/Sarif/src/main/java/sarif/SarifGraphDisplayListener.java