private String getPath(DataType dt) {
		String displayName = dt.getPathName();
		String path = dt.getCategoryPath().getPath();
		if (!path.equals("/")) {
			path += "/";
		}
		return path + displayName;
	}
Reads the datatypes encoded in SARIF from the specified SARIF parser and
recreates them in a datatype manager.

@param result  the SARIF parser
@param monitor the task monitor
@throws SAXParseException  if an SARIF parse error occurs
@throws CancelledException if the user cancels the read operation
Ghidra/Features/Sarif/src/main/java/sarif/managers/DataTypesSarifMgr.java