arelle-release 2.37.43__py3-none-any.whl → 2.37.45__py3-none-any.whl

arelle/plugin/validate/EDINET/{Manifest.py → ManifestInstance.py}

@@ -3,44 +3,59 @@ See COPYRIGHT.md for copyright information.
 """
 from __future__ import annotations
 
+import traceback
 import zipfile
+from collections import defaultdict
 from dataclasses import dataclass
 from functools import lru_cache
 from pathlib import Path
+from typing import cast
 
 from lxml import etree
 from lxml.etree import _Element
 
 from arelle import XbrlConst
+from arelle.Cntlr import Cntlr
 from arelle.FileSource import FileSource
 from arelle.ModelValue import QName, qname
+from arelle.typing import TypeGetText
 from . import Constants
 
+_: TypeGetText
+
 
 @dataclass(frozen=True)
-class Manifest:
-    instances: list[ManifestInstance]
+class ManifestInstance:
+    id: str
+    ixbrlFiles: list[Path]
     path: Path
+    preferredFilename: str
     titlesByLang: dict[str, str]
     tocItems: list[ManifestTocItem]
+    type: str
 
 
 @dataclass(frozen=True)
 class ManifestTocItem:
+    element: _Element
     extrole: str
     childItems: list[ManifestTocItem]
     itemIn: str
     parent: QName | None
     ref: str
     start: QName | None
+    end: QName | None
 
 
-@dataclass(frozen=True)
-class ManifestInstance:
-    id: str
-    ixbrlFiles: list[Path]
-    preferredFilename: str
-    type: str
+def _invalidManifestError(cntlr: Cntlr, file: str, message: str | None = None) -> None:
+    if message is None:
+        message = _("Please correct the content.")
+    cntlr.error(
+        "EDINET.EC5800E.FATAL_ERROR_INVALID_MANIFEST",
+        _("The manifest file definition is incorrect <file=%(file)s>. %(message)s"),
+        file=file,
+        message=message,
+    )
 
 
 def _parseManifestTocItems(parentElt: _Element, parentQName: QName | None) -> list[ManifestTocItem]:
@@ -51,28 +66,33 @@ def _parseManifestTocItems(parentElt: _Element, parentQName: QName | None) -> li
             childParentQName = qname(insertElt.attrib.get("parent"), insertElt.nsmap) if insertElt.attrib.get("parent") else None
             childTocItems.extend(_parseManifestTocItems(insertElt, childParentQName))
         tocItems.append(ManifestTocItem(
+            element=itemElt,
             extrole=itemElt.attrib.get("extrole", ""),
             childItems=childTocItems,
             parent=parentQName,
             itemIn=itemElt.attrib.get("in", ""),
             ref=itemElt.attrib.get("ref", ""),
             start=qname(itemElt.attrib.get("start"), itemElt.nsmap) if itemElt.attrib.get("start") else None,
+            end=qname(itemElt.attrib.get("end"), itemElt.nsmap) if itemElt.attrib.get("end") else None,
         ))
     return tocItems
 
 
-def _parseManifestDoc(xmlRootElement: _Element, path: Path) -> Manifest:
+def _parseManifestDoc(xmlRootElement: _Element, path: Path) -> list[ManifestInstance]:
     instances = []
     titlesByLang = {}
     base = path.parent
     tocElts = list(xmlRootElement.iterchildren(tag=Constants.qnEdinetManifestTocComposition.clarkNotation))
-    assert len(tocElts) == 1, 'There should be exactly one tocComposition element in the manifest.'
+    assert len(tocElts) == 1, _('There should be exactly one tocComposition element in the manifest.')
     for titleElt in tocElts[0].iterchildren(tag=Constants.qnEdinetManifestTitle.clarkNotation):
         lang = titleElt.attrib.get(XbrlConst.qnXmlLang.clarkNotation, "")
         titlesByLang[lang] = titleElt.text.strip() if titleElt.text else ""
     tocItems = _parseManifestTocItems(tocElts[0], None)
+    tocItemsByRef = defaultdict(list)
+    for tocItem in tocItems:
+        tocItemsByRef[tocItem.ref].append(tocItem)
     listElts = list(xmlRootElement.iterchildren(tag=Constants.qnEdinetManifestList.clarkNotation))
-    assert len(listElts) == 1, 'There should be exactly one list element in the manifest.'
+    assert len(listElts) == 1, _('There should be exactly one list element in the manifest.')
     for instanceElt in listElts[0].iterchildren(tag=Constants.qnEdinetManifestInstance.clarkNotation):
         instanceId = str(instanceElt.attrib.get("id", ""))
         instanceType = str(instanceElt.attrib.get("type", ""))
@@ -85,40 +105,65 @@ def _parseManifestDoc(xmlRootElement: _Element, path: Path) -> Manifest:
         instances.append(ManifestInstance(
             id=instanceId,
             ixbrlFiles=ixbrlFiles,
+            path=path,
             preferredFilename=preferredFilename,
+            titlesByLang=titlesByLang,
+            tocItems=tocItemsByRef.get(instanceId, []),
             type=instanceType,
         ))
-    return Manifest(
-        instances=instances,
-        path=path,
-        titlesByLang=titlesByLang,
-        tocItems=tocItems,
-    )
+    return instances
 
 
 @lru_cache(1)
-def parseManifests(filesource: FileSource) -> list[Manifest]:
-    manifests: list[Manifest] = []
+def parseManifests(filesource: FileSource) -> list[ManifestInstance]:
+    assert filesource.cntlr is not None, "FileSource controller must be set before parsing manifests."
+    cntlr = filesource.cntlr
+    instances: list[ManifestInstance] = []
     if filesource.isArchive:
         if filesource.isTaxonomyPackage:
-            return manifests
+            return instances
         if filesource.reportPackage is not None:
-            return manifests
-        for _archiveFile in (filesource.dir or ()):
-            if not Path(_archiveFile).stem.startswith('manifest'):
-                continue
-            assert isinstance(filesource.fs, zipfile.ZipFile), \
-                "The EDINET plugin only supports archives in .zip format."
-            with filesource.fs.open(_archiveFile) as manifestDoc:
-                xmlRootElement = etree.fromstring(manifestDoc.read())
-                manifests.append(_parseManifestDoc(xmlRootElement, Path(_archiveFile)))
+            return instances
+        if not isinstance(filesource.fs, zipfile.ZipFile):
+            _invalidManifestError(
+                cntlr,
+                cast(str, filesource.url),
+                _("The EDINET plugin only supports archives in .zip format.")
+            )
+        else:
+            for _archiveFile in (filesource.dir or ()):
+                if not Path(_archiveFile).stem.startswith('manifest'):
+                    continue
+                try:
+                    with filesource.fs.open(_archiveFile) as manifestDoc:
+                        xmlRootElement = etree.fromstring(manifestDoc.read())
+                        instances.extend(_parseManifestDoc(xmlRootElement, Path(_archiveFile)))
+                except AssertionError as err:
+                    _invalidManifestError(cntlr, str(_archiveFile), str(err))
+                except Exception as err:
+                    _invalidManifestError(cntlr, str(_archiveFile))
+                    cntlr.addToLog(_("[Exception] Failed to parse manifest \"{0}\": \n{1} \n{2}").format(
+                        str(_archiveFile),
+                        err,
+                        traceback.format_exc()
+                    ))
     elif (dirpath := Path(str(filesource.url))).is_dir():
         for file in dirpath.rglob("*"):
             if not file.is_file():
                 continue
             if not file.stem.startswith('manifest'):
                 continue
-            with open(file, 'rb') as manifestDoc:
-                xmlRootElement = etree.fromstring(manifestDoc.read())
-                manifests.append(_parseManifestDoc(xmlRootElement, file))
-    return manifests
+            try:
+                with open(file, 'rb') as manifestDoc:
+                    xmlRootElement = etree.fromstring(manifestDoc.read())
+                    instances.extend(_parseManifestDoc(xmlRootElement, file))
+            except AssertionError as err:
+                _invalidManifestError(cntlr, str(file), str(err))
+            except Exception as err:
+                _invalidManifestError(cntlr, str(file))
+                cntlr.addToLog(_("[Exception] Failed to parse manifest \"{0}\": \n{1} \n{2}").format(
+                    str(file),
+                    err,
+                    traceback.format_exc()
+                ))
+    return instances

arelle/plugin/validate/EDINET/PluginValidationDataExtension.py

@@ -22,16 +22,19 @@ from arelle.ValidateXbrl import ValidateXbrl
 from arelle.XmlValidate import VALID
 from arelle.typing import TypeGetText
 from arelle.utils.PluginData import PluginData
-from .FormType import FormType
+from .Constants import CORPORATE_FORMS
+from .ControllerPluginData import ControllerPluginData
+from .InstanceType import InstanceType
+from .ManifestInstance import ManifestInstance
 
 _: TypeGetText
 
 
 @dataclass(frozen=True)
 class UploadContents:
-    amendmentPaths: dict[FormType, frozenset[Path]]
+    amendmentPaths: dict[InstanceType, frozenset[Path]]
     directories: frozenset[Path]
-    forms: dict[FormType, frozenset[Path]]
+    instances: dict[InstanceType, frozenset[Path]]
     unknownPaths: frozenset[Path]
 
 
@@ -44,6 +47,7 @@ class PluginValidationDataExtension(PluginData):
     jpspsFilingDateCoverPageQn: QName
     liabilitiesAndEquityIfrsQn: QName
     nonConsolidatedMemberQn: QName
+    ratioOfFemaleDirectorsAndOtherOfficersQn: QName
 
     contextIdPattern: regex.Pattern[str]
 
@@ -64,6 +68,7 @@ class PluginValidationDataExtension(PluginData):
         self.jpspsFilingDateCoverPageQn = qname(jpspsNamespace, 'FilingDateCoverPage')
         self.liabilitiesAndEquityIfrsQn = qname(jpigpNamespace, "LiabilitiesAndEquityIFRS")
         self.nonConsolidatedMemberQn = qname(jppfsNamespace, "NonConsolidatedMember")
+        self.ratioOfFemaleDirectorsAndOtherOfficersQn = qname(jpcrpNamespace, "RatioOfFemaleDirectorsAndOtherOfficers")
 
         self.contextIdPattern = regex.compile(r'(Prior[1-9]Year|CurrentYear|Prior[1-9]Interim|Interim)(Duration|Instant)')
 
@@ -71,6 +76,13 @@ class PluginValidationDataExtension(PluginData):
     def __hash__(self) -> int:
         return id(self)
 
+    @lru_cache(1)
+    def isCorporateForm(self, modelXbrl: ModelXbrl) -> bool:
+        documentTypes = self.getDocumentTypes(modelXbrl)
+        if any(documentType == form.value for form in CORPORATE_FORMS for documentType in documentTypes):
+            return True
+        return False
+
     @lru_cache(1)
     def shouldValidateUpload(self, val: ValidateXbrl) -> bool:
         """
@@ -132,6 +144,15 @@ class PluginValidationDataExtension(PluginData):
             if isinstance(elt, (ModelObject, LinkPrototype))
         ]
 
+    @lru_cache(1)
+    def getManifestInstance(self, modelXbrl: ModelXbrl) -> ManifestInstance | None:
+        controllerPluginData = ControllerPluginData.get(modelXbrl.modelManager.cntlr, self.name)
+        return controllerPluginData.matchManifestInstance(modelXbrl.ixdsDocUrls)
+
+    @lru_cache(1)
+    def getManifestInstances(self, modelXbrl: ModelXbrl) -> list[ManifestInstance]:
+        controllerPluginData = ControllerPluginData.get(modelXbrl.modelManager.cntlr, self.name)
+        return controllerPluginData.getManifestInstances()
 
     def getUploadFileSizes(self, modelXbrl: ModelXbrl) -> dict[Path, int]:
         """
@@ -162,14 +183,14 @@ class PluginValidationDataExtension(PluginData):
             if parents[0] == 'XBRL':
                 if len(parents) > 1:
                     formName = parents[1]
-                    formType = FormType.parse(formName)
-                    if formType is not None:
-                        forms[formType].append(path)
+                    instanceType = InstanceType.parse(formName)
+                    if instanceType is not None:
+                        forms[instanceType].append(path)
                         continue
             formName = parents[0]
-            formType = FormType.parse(formName)
-            if formType is not None:
-                amendmentPaths[formType].append(path)
+            instanceType = InstanceType.parse(formName)
+            if instanceType is not None:
+                amendmentPaths[instanceType].append(path)
                 continue
             if len(path.suffix) == 0:
                 directories.append(path)
@@ -178,7 +199,7 @@ class PluginValidationDataExtension(PluginData):
         return UploadContents(
             amendmentPaths={k: frozenset(v) for k, v in amendmentPaths.items() if len(v) > 0},
             directories=frozenset(directories),
-            forms={k: frozenset(v) for k, v in forms.items() if len(v) > 0},
+            instances={k: frozenset(v) for k, v in forms.items() if len(v) > 0},
             unknownPaths=frozenset(unknownPaths)
         )
 
@@ -194,6 +215,10 @@ class PluginValidationDataExtension(PluginData):
             paths.update(path.parents)
         return sorted(paths)
 
+    def hasValidNonNilFact(self, modelXbrl: ModelXbrl, qname: QName) -> bool:
+        requiredFacts = modelXbrl.factsByQname.get(qname, set())
+        return any(fact.xValid >= VALID and not fact.isNil for fact in requiredFacts)
+
     @lru_cache(1)
     def isUpload(self, modelXbrl: ModelXbrl) -> bool:
         if not modelXbrl.fileSource.fs or \

arelle/plugin/validate/EDINET/ValidationPluginExtension.py

@@ -5,16 +5,36 @@ from __future__ import annotations
 
 from typing import Any
 
+from arelle.FileSource import FileSource
 from arelle.ValidateXbrl import ValidateXbrl
 from arelle.typing import TypeGetText
 from arelle.utils.validate.ValidationPlugin import ValidationPlugin
+from .ControllerPluginData import ControllerPluginData
 from .DisclosureSystems import DISCLOSURE_SYSTEM_EDINET
+from .ManifestInstance import parseManifests
 from .PluginValidationDataExtension import PluginValidationDataExtension
 
 _: TypeGetText
 
 
 class ValidationPluginExtension(ValidationPlugin):
+
+    def fileSourceEntrypointFiles(self, filesource: FileSource, *args: Any, **kwargs: Any) -> list[dict[str, Any]] | None:
+        instances = parseManifests(filesource)
+        if len(instances) == 0:
+            return None
+        assert filesource.cntlr is not None
+        pluginData = ControllerPluginData.get(filesource.cntlr, self.name)
+        entrypointFiles = []
+        for instance in instances:
+            pluginData.addManifestInstance(instance)
+            entrypoints = []
+            for ixbrlFile in instance.ixbrlFiles:
+                filesource.select(str(ixbrlFile))
+                entrypoints.append({"file": filesource.url})
+            entrypointFiles.append({'ixds': entrypoints, 'id': instance.id})
+        return entrypointFiles
+
     def newPluginData(self, validateXbrl: ValidateXbrl) -> PluginValidationDataExtension:
         disclosureSystem = validateXbrl.disclosureSystem.name
         if disclosureSystem == DISCLOSURE_SYSTEM_EDINET:
@@ -24,6 +44,3 @@ class ValidationPluginExtension(ValidationPlugin):
         return PluginValidationDataExtension(
             self.name,
         )
-
-    def modelXbrlLoadComplete(self, *args: Any, **kwargs: Any) -> None:
-        return None

arelle/plugin/validate/EDINET/__init__.py

@@ -5,17 +5,14 @@ See COPYRIGHT.md for copyright information.
 """
 from __future__ import annotations
 
-from collections import defaultdict
 from pathlib import Path
 from typing import Any
 
-from arelle.FileSource import FileSource
 from arelle.ModelXbrl import ModelXbrl
 from arelle.Version import authorLabel, copyrightLabel
 from . import Constants
-from .Manifest import Manifest, ManifestInstance, parseManifests
 from .ValidationPluginExtension import ValidationPluginExtension
-from .rules import contexts, edinet, frta, gfm, upload
+from .rules import contexts, edinet, frta, gfm, manifests, upload
 
 PLUGIN_NAME = "Validate EDINET"
 DISCLOSURE_SYSTEM_VALIDATION_TYPE = "EDINET"
@@ -38,6 +35,7 @@ validationPlugin = ValidationPluginExtension(
         edinet,
         frta,
         gfm,
+        manifests,
         upload,
     ],
 )
@@ -51,19 +49,8 @@ def disclosureSystemConfigURL(*args: Any, **kwargs: Any) -> str:
     return validationPlugin.disclosureSystemConfigURL
 
 
-def fileSourceEntrypointFiles(filesource: FileSource, inlineOnly: bool, *args: Any, **kwargs: Any) -> list[dict[str, Any]] | None:
-    manifests = parseManifests(filesource)
-    if len(manifests) == 0:
-        return None
-    entrypointFiles = []
-    for manifest in manifests:
-        for instance in manifest.instances:
-            entrypoints = []
-            for ixbrlFile in instance.ixbrlFiles:
-                filesource.select(str(ixbrlFile))
-                entrypoints.append({"file": filesource.url})
-            entrypointFiles.append({'ixds': entrypoints})
-    return entrypointFiles
+def fileSourceEntrypointFiles(*args: Any, **kwargs: Any) -> list[dict[str, Any]] | None:
+    return validationPlugin.fileSourceEntrypointFiles(*args, **kwargs)
 
 
 def loggingSeverityReleveler(modelXbrl: ModelXbrl, level: str, messageCode: str, args: Any, **kwargs: Any) -> tuple[str | None, str | None]:
@@ -72,10 +59,6 @@ def loggingSeverityReleveler(modelXbrl: ModelXbrl, level: str, messageCode: str,
     return level, messageCode
 
 
-def modelXbrlLoadComplete(*args: Any, **kwargs: Any) -> None:
-    return validationPlugin.modelXbrlLoadComplete(*args, **kwargs)
-
-
 def validateFinally(*args: Any, **kwargs: Any) -> None:
     return validationPlugin.validateFinally(*args, **kwargs)
 
@@ -96,7 +79,6 @@ __pluginInfo__ = {
     "DisclosureSystem.ConfigURL": disclosureSystemConfigURL,
     "FileSource.EntrypointFiles": fileSourceEntrypointFiles,
     "Logging.Severity.Releveler": loggingSeverityReleveler,
-    "ModelXbrl.LoadComplete": modelXbrlLoadComplete,
     "Validate.XBRL.Finally": validateXbrlFinally,
     "ValidateFormula.Finished": validateFinally,
 }

arelle/plugin/validate/EDINET/rules/edinet.py

@@ -11,7 +11,6 @@ from arelle import XbrlConst, ValidateDuplicateFacts
 from arelle.LinkbaseType import LinkbaseType
 from arelle.ValidateDuplicateFacts import DuplicateType
 from arelle.ValidateXbrl import ValidateXbrl
-from arelle.XmlValidateConst import VALID
 from arelle.typing import TypeGetText
 from arelle.utils.PluginHooks import ValidationHook
 from arelle.utils.validate.Decorator import validation
@@ -39,11 +38,9 @@ def rule_EC1057E(
     """
     dei = pluginData.getDocumentTypes(val.modelXbrl)
     if len(dei) > 0:
-        jpcrpEsrFacts = val.modelXbrl.factsByQname.get(pluginData.jpcrpEsrFilingDateCoverPageQn, set())
-        jpcrpFacts = val.modelXbrl.factsByQname.get(pluginData.jpcrpFilingDateCoverPageQn, set())
-        jpspsFacts = val.modelXbrl.factsByQname.get(pluginData.jpspsFilingDateCoverPageQn, set())
-        requiredFacts = jpcrpFacts.union(jpspsFacts, jpcrpEsrFacts)
-        if not any(fact.xValid >= VALID and not fact.isNil for fact in requiredFacts):
+        if not (pluginData.hasValidNonNilFact(val.modelXbrl, pluginData.jpcrpEsrFilingDateCoverPageQn)
+                or pluginData.hasValidNonNilFact(val.modelXbrl, pluginData.jpcrpFilingDateCoverPageQn)
+                or pluginData.hasValidNonNilFact(val.modelXbrl, pluginData.jpspsFilingDateCoverPageQn)):
             yield Validation.error(
                 codes='EDINET.EC1057E',
                 msg=_("The [Submission Date] on the cover page has not been filled in."),
@@ -157,7 +154,7 @@ def rule_EC8027W(
                 continue
             arcroles = linkbaseType.getArcroles()
             relSet = val.modelXbrl.relationshipSet(tuple(arcroles), roleType.roleURI)
-            relSetFrom = relSet.loadModelRelationshipsFrom()
+            relSetFrom = relSet.fromModelObjects()
             rootConcepts = relSet.rootConcepts
             if len(rootConcepts) < 2:
                 continue
@@ -224,3 +221,25 @@ def rule_EC8062W(
                 assetSum=f"{assetSum:,}",
                 modelObject=facts,
             )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC8075W(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC8075W: The percentage of female executives has not been tagged in detail. Ensure that there is
+    a nonnil value disclosed for jpcrp_cor:RatioOfFemaleDirectorsAndOtherOfficers.
+    """
+    if pluginData.isCorporateForm(val.modelXbrl):
+        if not pluginData.hasValidNonNilFact(val.modelXbrl, pluginData.ratioOfFemaleDirectorsAndOtherOfficersQn):
+            yield Validation.warning(
+                codes='EDINET.EC8075W',
+                msg=_("The percentage of female executives has not been tagged in detail."),
+                )

arelle/plugin/validate/EDINET/rules/manifests.py

@@ -0,0 +1,88 @@
+"""
+See COPYRIGHT.md for copyright information.
+"""
+from __future__ import annotations
+
+from typing import Any, Iterable
+
+from arelle.LinkbaseType import LinkbaseType
+from arelle.ModelXbrl import ModelXbrl
+from arelle.ValidateXbrl import ValidateXbrl
+from arelle.typing import TypeGetText
+from arelle.utils.PluginHooks import ValidationHook
+from arelle.utils.validate.Decorator import validation
+from arelle.utils.validate.Validation import Validation
+from ..DisclosureSystems import (DISCLOSURE_SYSTEM_EDINET)
+from ..ManifestInstance import ManifestTocItem
+from ..PluginValidationDataExtension import PluginValidationDataExtension
+
+_: TypeGetText
+
+
+def _validateTocItem(modelXbrl: ModelXbrl, tocItem: ManifestTocItem, instanceId: str) -> Iterable[Validation]:
+    for childTocItem in tocItem.childItems:
+        yield from _validateTocItem(modelXbrl, childTocItem, instanceId)
+    relSet = modelXbrl.relationshipSet(tuple(LinkbaseType.PRESENTATION.getArcroles()), tocItem.extrole)
+    if len(relSet.fromModelObjects()) == 0:
+        yield Validation.error(
+            codes="EDINET.EC5800E.FATAL_ERROR_TOC_TREE_NOT_DEFINED",
+            msg=_("A table of contents item specified an extended link role "
+                  "that does not exist in the presentation linkbase. "),
+            modelObject=tocItem.element,
+        )
+    for conceptQname in {tocItem.parent, tocItem.start, tocItem.end}:
+        if conceptQname is None:
+            continue
+        concept = modelXbrl.qnameConcepts.get(conceptQname)
+        if concept is None or not relSet.contains(concept):
+            yield Validation.error(
+                codes="EDINET.EC5800E.ERROR_ELEMENT_NOT_DEFINED_IN_EXTENDED_LINK_ROLE",
+                msg=_("A table of contents item specified an extended link role "
+                      "that does not contain the element specified by the parent "
+                      "attribute of the insert element or the start or end "
+                      "attribute of the item element. Check the extended link "
+                      "role and correct it."),
+                modelObject=tocItem.element,
+            )
+    if tocItem.end is not None:
+        if tocItem.start is None or \
+                not relSet.isRelated(tocItem.start, "child", tocItem.end):
+            yield Validation.error(
+                codes="EDINET.EC5800E.ERROR_ENDING_ELEMENT_NOT_DEFINED_UNDER_STARTING_ELEMENT",
+                msg=_("A table of contents item specified an end element that "
+                      "is not a descendant of the start element within the "
+                      "specified extended link role. Please check and correct "
+                      "the table of contents items."),
+                modelObject=tocItem.element,
+            )
+
+
+@validation(
+    hook=ValidationHook.XBRL_FINALLY,
+    disclosureSystems=[DISCLOSURE_SYSTEM_EDINET],
+)
+def rule_EC5800E(
+        pluginData: PluginValidationDataExtension,
+        val: ValidateXbrl,
+        *args: Any,
+        **kwargs: Any,
+) -> Iterable[Validation]:
+    """
+    EDINET.EC5800E.FATAL_ERROR_TOC_TREE_NOT_DEFINED:
+    A table of contents item specified an extended link role that does not
+    exist in the presentation linkbase.
+    EDINET.EC5800E.ERROR_ELEMENT_NOT_DEFINED_IN_EXTENDED_LINK_ROLE:
+    A table of contents item specified an extended link role that does not
+    contain the element specified by the parent attribute of the insert
+    element or the start or end attribute of the item element. Check the
+    extended link role and correct it.
+    EDINET.EC5800E.ERROR_ENDING_ELEMENT_NOT_DEFINED_UNDER_STARTING_ELEMENT:
+    A table of contents item specified an end element that is not a descendant
+    of the start element within the specified extended link role. Please check
+    and correct the table of contents items.
+    """
+    instance = pluginData.getManifestInstance(val.modelXbrl)
+    if instance is None:
+        return
+    for tocItem in instance.tocItems:
+        yield from _validateTocItem(val.modelXbrl, tocItem, instance.id)