private void addVerticesForAddresses(AddressSetView addrSet, Set<AttributedVertex> vertices)
			throws CancelledException {

		SymbolTable symTable = program.getSymbolTable();
		CodeBlockIterator it =
			blockModel.getCodeBlocksContaining(addrSet, TaskMonitor.DUMMY);
		while (it.hasNext()) {
			CodeBlock block = it.next();
			String addrString;
			Address addr = block.getFirstStartAddress();
			if (addr.isExternalAddress()) {
				Symbol s = symTable.getPrimarySymbol(addr);
				addrString = s.getName(true);
			}
			else {
				addrString = addr.toString();
			}
			AttributedVertex vertex = graphDisplay.getGraph().getVertex(addrString);
			if (vertex != null) {
				vertices.add(vertex);
			}
		}
	}
{@link GraphDisplayListener} that handles events back and from program graphs.
Ghidra/Features/ProgramGraph/src/main/java/ghidra/graph/program/BlockModelGraphDisplayListener.java