protected void copyVertexAttributeValues(Vertex vert, DirectedGraph other) {

		AttributeManager<Vertex> aman = other.vertexAttributes();
		String vamNames[] = aman.getAttributeNames();
		for (String vamName : vamNames) {
			ObjectAttribute<Vertex> att = (ObjectAttribute<Vertex>) aman.getAttribute(vamName);
			if (!this.vertexAttributes().hasAttributeNamed(vamName)) {
				this.vertexAttributes().createAttribute(vamName, att.attributeType());
			}
			Object o = other.getVertexProperty(vamName, vert);
			if (o != null) {
				this.setVertexProperty(vamName, vert, o);
			}
		}
	}
This method copies vertex attributes for vertex 'vert' from graph
'other' to this graph.  
@param vert the vertex whose attributes should be copied.
@param other the other graph to copy vertex attributes from
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/DirectedGraph.java