@SuppressWarnings("unchecked")
	private void processSettings(Map<String, Object> result, Settings defaultSettings) {
		List<Map<String, Object>> settings = (List<Map<String, Object>>) result.get("settings");
		if (settings != null) {
			for (Map<String, Object> map : settings) {
				String settingName = (String) map.get("name");
				String settingValue = (String) map.get("value");
				if (map.get("kind").equals("long")) {
					long val = 0;
					try {
						val = Long.valueOf(settingValue);
					} catch (NumberFormatException nfe) {
						Msg.error(this, nfe);
					}
					if (!settingName.equals("ptr_type")) {
						defaultSettings.setLong(settingName, val);
					}
				} else {
					defaultSettings.setString(settingName, settingValue);
				}
			}
		}
	}
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