Map<String, String> getAttributes(Element el, List<? extends DocTree> attributes) {
		return attributes
				.stream()
				.filter(AttributeTree.class::isInstance)
				.map(AttributeTree.class::cast)
				.collect(Collectors.toMap(attr -> attr.getName().toString().toLowerCase(),
					attr -> attr.getValue() != null ? convertTree(el, attr.getValue()) : ""));
	}
Gets a mapping of the provided list of attributes

@param attributes the attributes list
@return the attributes mapping
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/DocConverter.java