private void checkVertexType(String vertexType) {
		if (!getGraphType().containsVertexType(vertexType)) {
			throw new IllegalArgumentException("VertexType \"" + vertexType +
				"\" not defined in GraphType \"" + getGraphType().getName() + "\".");
		}
	}
Loads values from tool options

@param tool the tool from which to update values.
Ghidra/Framework/Graph/src/main/java/ghidra/service/graph/GraphDisplayOptions.java