private boolean isUndocumentedOverride(Element child) {
		if (!doclet.hasJavadoc(child)) {
			return child.getAnnotation(Override.class) != null;
		}
		if (doclet.hasJavadocTag(child, DocTree.Kind.INHERIT_DOC)) {
			return true;
		}
		return false;
	}
Checks if this element is an undocumented override

@param child the element to check
@return true if this override has no additional documentation
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/PythonTypeStubType.java