/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- */ /* This Source Code Form is subject to the terms of the Mozilla Public * License, v. 2.0. If a copy of the MPL was not distributed with this file, * You can obtain one at http://mozilla.org/MPL/2.0/. */ #include "ChildIterator.h" #include "nsContentUtils.h" #include "mozilla/dom/HTMLSlotElement.h" #include "mozilla/dom/XBLChildrenElement.h" #include "mozilla/dom/ShadowRoot.h" #include "nsIAnonymousContentCreator.h" #include "nsIFrame.h" #include "nsCSSAnonBoxes.h" #include "nsDocument.h" namespace mozilla { namespace dom { ExplicitChildIterator::ExplicitChildIterator(const nsIContent* aParent, bool aStartAtBeginning) : mParent(aParent), mChild(nullptr), mDefaultChild(nullptr), mIsFirst(aStartAtBeginning), mIndexInInserted(0) { mParentAsSlot = nsDocument::IsWebComponentsEnabled(mParent) ? HTMLSlotElement::FromContent(mParent) : nullptr; } nsIContent* ExplicitChildIterator::GetNextChild() { // If we're already in the inserted-children array, look there first if (mIndexInInserted) { MOZ_ASSERT(mChild); MOZ_ASSERT(!mDefaultChild); if (mParentAsSlot) { const nsTArray>& assignedNodes = mParentAsSlot->AssignedNodes(); mChild = (mIndexInInserted < assignedNodes.Length()) ? assignedNodes[mIndexInInserted++]->AsContent() : nullptr; return mChild; } MOZ_ASSERT(mChild->IsActiveChildrenElement()); auto* childrenElement = static_cast(mChild); if (mIndexInInserted < childrenElement->InsertedChildrenLength()) { return childrenElement->InsertedChild(mIndexInInserted++); } mIndexInInserted = 0; mChild = mChild->GetNextSibling(); } else if (mDefaultChild) { // If we're already in default content, check if there are more nodes there MOZ_ASSERT(mChild); MOZ_ASSERT(mChild->IsActiveChildrenElement()); mDefaultChild = mDefaultChild->GetNextSibling(); if (mDefaultChild) { return mDefaultChild; } mChild = mChild->GetNextSibling(); } else if (mIsFirst) { // at the beginning of the child list // For slot parent, iterate over assigned nodes if not empty, otherwise // fall through and iterate over direct children (fallback content). if (mParentAsSlot) { const nsTArray>& assignedNodes = mParentAsSlot->AssignedNodes(); if (!assignedNodes.IsEmpty()) { mIndexInInserted = 1; mChild = assignedNodes[0]->AsContent(); mIsFirst = false; return mChild; } } mChild = mParent->GetFirstChild(); mIsFirst = false; } else if (mChild) { // in the middle of the child list mChild = mChild->GetNextSibling(); } // Iterate until we find a non-insertion point, or an insertion point with // content. while (mChild) { if (mChild->IsActiveChildrenElement()) { // If the current child being iterated is a content insertion point // then the iterator needs to return the nodes distributed into // the content insertion point. auto* childrenElement = static_cast(mChild); if (childrenElement->HasInsertedChildren()) { // Iterate through elements projected on insertion point. mIndexInInserted = 1; return childrenElement->InsertedChild(0); } // Insertion points inside fallback/default content // are considered inactive and do not get assigned nodes. mDefaultChild = mChild->GetFirstChild(); if (mDefaultChild) { return mDefaultChild; } // If we have an insertion point with no assigned nodes and // no default content, move on to the next node. mChild = mChild->GetNextSibling(); } else { // mChild is not an insertion point, thus it is the next node to // return from this iterator. break; } } return mChild; } void FlattenedChildIterator::Init(bool aIgnoreXBL) { if (aIgnoreXBL) { return; } nsXBLBinding* binding = mParent->OwnerDoc()->BindingManager()->GetBindingWithContent(mParent); if (binding) { nsIContent* anon = binding->GetAnonymousContent(); if (anon) { mParent = anon; mXBLInvolved = true; } } // We set mXBLInvolved to true if either: // - The node we're iterating has a binding with content attached to it. // - The node is generated XBL content and has an child. if (!mXBLInvolved && mParent->GetBindingParent()) { for (nsIContent* child = mParent->GetFirstChild(); child; child = child->GetNextSibling()) { if (child->NodeInfo()->Equals(nsGkAtoms::children, kNameSpaceID_XBL)) { MOZ_ASSERT(child->GetBindingParent()); mXBLInvolved = true; break; } } } } bool ExplicitChildIterator::Seek(const nsIContent* aChildToFind) { if (aChildToFind->GetParent() == mParent && !aChildToFind->IsRootOfAnonymousSubtree()) { // Fast path: just point ourselves to aChildToFind, which is a // normal DOM child of ours. mChild = const_cast(aChildToFind); mIndexInInserted = 0; mDefaultChild = nullptr; mIsFirst = false; MOZ_ASSERT(!mChild->IsActiveChildrenElement()); return true; } // Can we add more fast paths here based on whether the parent of aChildToFind // is a shadow insertion point or content insertion point? // Slow path: just walk all our kids. return Seek(aChildToFind, nullptr); } nsIContent* ExplicitChildIterator::Get() const { MOZ_ASSERT(!mIsFirst); // When mParentAsSlot is set, mChild is always set to the current child. It // does not matter whether mChild is an assigned node or a fallback content. if (mParentAsSlot) { return mChild; } if (mIndexInInserted) { MOZ_ASSERT(mChild->IsActiveChildrenElement()); auto* childrenElement = static_cast(mChild); return childrenElement->InsertedChild(mIndexInInserted - 1); } return mDefaultChild ? mDefaultChild : mChild; } nsIContent* ExplicitChildIterator::GetPreviousChild() { // If we're already in the inserted-children array, look there first if (mIndexInInserted) { if (mParentAsSlot) { const nsTArray>& assignedNodes = mParentAsSlot->AssignedNodes(); mChild = (--mIndexInInserted) ? assignedNodes[mIndexInInserted - 1]->AsContent() : nullptr; if (!mChild) { mIsFirst = true; } return mChild; } // NB: mIndexInInserted points one past the last returned child so we need // to look *two* indices back in order to return the previous child. MOZ_ASSERT(mChild->IsActiveChildrenElement()); auto* childrenElement = static_cast(mChild); if (--mIndexInInserted) { return childrenElement->InsertedChild(mIndexInInserted - 1); } mChild = mChild->GetPreviousSibling(); } else if (mDefaultChild) { // If we're already in default content, check if there are more nodes there mDefaultChild = mDefaultChild->GetPreviousSibling(); if (mDefaultChild) { return mDefaultChild; } mChild = mChild->GetPreviousSibling(); } else if (mIsFirst) { // at the beginning of the child list return nullptr; } else if (mChild) { // in the middle of the child list mChild = mChild->GetPreviousSibling(); } else { // at the end of the child list // For slot parent, iterate over assigned nodes if not empty, otherwise // fall through and iterate over direct children (fallback content). if (mParentAsSlot) { const nsTArray>& assignedNodes = mParentAsSlot->AssignedNodes(); if (!assignedNodes.IsEmpty()) { mIndexInInserted = assignedNodes.Length(); mChild = assignedNodes[mIndexInInserted - 1]->AsContent(); return mChild; } } mChild = mParent->GetLastChild(); } // Iterate until we find a non-insertion point, or an insertion point with // content. while (mChild) { if (mChild->IsActiveChildrenElement()) { // If the current child being iterated is a content insertion point // then the iterator needs to return the nodes distributed into // the content insertion point. auto* childrenElement = static_cast(mChild); if (childrenElement->HasInsertedChildren()) { mIndexInInserted = childrenElement->InsertedChildrenLength(); return childrenElement->InsertedChild(mIndexInInserted - 1); } mDefaultChild = mChild->GetLastChild(); if (mDefaultChild) { return mDefaultChild; } mChild = mChild->GetPreviousSibling(); } else { // mChild is not an insertion point, thus it is the next node to // return from this iterator. break; } } if (!mChild) { mIsFirst = true; } return mChild; } nsIContent* AllChildrenIterator::Get() const { switch (mPhase) { case eAtBeforeKid: { Element* before = nsLayoutUtils::GetBeforePseudo(mOriginalContent); MOZ_ASSERT(before, "No content before frame at eAtBeforeKid phase"); return before; } case eAtExplicitKids: return ExplicitChildIterator::Get(); case eAtAnonKids: return mAnonKids[mAnonKidsIdx]; case eAtAfterKid: { Element* after = nsLayoutUtils::GetAfterPseudo(mOriginalContent); MOZ_ASSERT(after, "No content after frame at eAtAfterKid phase"); return after; } default: return nullptr; } } bool AllChildrenIterator::Seek(const nsIContent* aChildToFind) { if (mPhase == eAtBegin || mPhase == eAtBeforeKid) { mPhase = eAtExplicitKids; Element* beforePseudo = nsLayoutUtils::GetBeforePseudo(mOriginalContent); if (beforePseudo && beforePseudo == aChildToFind) { mPhase = eAtBeforeKid; return true; } } if (mPhase == eAtExplicitKids) { if (ExplicitChildIterator::Seek(aChildToFind)) { return true; } mPhase = eAtAnonKids; } nsIContent* child = nullptr; do { child = GetNextChild(); } while (child && child != aChildToFind); return child == aChildToFind; } void AllChildrenIterator::AppendNativeAnonymousChildren() { AppendNativeAnonymousChildrenFromFrame(mOriginalContent->GetPrimaryFrame()); // The root scroll frame is not the primary frame of the root element. // Detect and handle this case. if (!(mFlags & nsIContent::eSkipDocumentLevelNativeAnonymousContent) && mOriginalContent == mOriginalContent->OwnerDoc()->GetRootElement()) { nsContentUtils::AppendDocumentLevelNativeAnonymousContentTo( mOriginalContent->OwnerDoc(), mAnonKids); } } void AllChildrenIterator::AppendNativeAnonymousChildrenFromFrame(nsIFrame* aFrame) { nsIAnonymousContentCreator* ac = do_QueryFrame(aFrame); if (ac) { ac->AppendAnonymousContentTo(mAnonKids, mFlags); } } nsIContent* AllChildrenIterator::GetNextChild() { if (mPhase == eAtBegin) { mPhase = eAtExplicitKids; Element* beforeContent = nsLayoutUtils::GetBeforePseudo(mOriginalContent); if (beforeContent) { mPhase = eAtBeforeKid; return beforeContent; } } if (mPhase == eAtBeforeKid) { // Advance into our explicit kids. mPhase = eAtExplicitKids; } if (mPhase == eAtExplicitKids) { nsIContent* kid = ExplicitChildIterator::GetNextChild(); if (kid) { return kid; } mPhase = eAtAnonKids; } if (mPhase == eAtAnonKids) { if (mAnonKids.IsEmpty()) { MOZ_ASSERT(mAnonKidsIdx == UINT32_MAX); AppendNativeAnonymousChildren(); mAnonKidsIdx = 0; } else { if (mAnonKidsIdx == UINT32_MAX) { mAnonKidsIdx = 0; } else { mAnonKidsIdx++; } } if (mAnonKidsIdx < mAnonKids.Length()) { return mAnonKids[mAnonKidsIdx]; } Element* afterContent = nsLayoutUtils::GetAfterPseudo(mOriginalContent); if (afterContent) { mPhase = eAtAfterKid; return afterContent; } } mPhase = eAtEnd; return nullptr; } nsIContent* AllChildrenIterator::GetPreviousChild() { if (mPhase == eAtEnd) { MOZ_ASSERT(mAnonKidsIdx == mAnonKids.Length()); mPhase = eAtAnonKids; Element* afterContent = nsLayoutUtils::GetAfterPseudo(mOriginalContent); if (afterContent) { mPhase = eAtAfterKid; return afterContent; } } if (mPhase == eAtAfterKid) { mPhase = eAtAnonKids; } if (mPhase == eAtAnonKids) { if (mAnonKids.IsEmpty()) { AppendNativeAnonymousChildren(); mAnonKidsIdx = mAnonKids.Length(); } // If 0 then it turns into UINT32_MAX, which indicates the iterator is // before the anonymous children. --mAnonKidsIdx; if (mAnonKidsIdx < mAnonKids.Length()) { return mAnonKids[mAnonKidsIdx]; } mPhase = eAtExplicitKids; } if (mPhase == eAtExplicitKids) { nsIContent* kid = ExplicitChildIterator::GetPreviousChild(); if (kid) { return kid; } Element* beforeContent = nsLayoutUtils::GetBeforePseudo(mOriginalContent); if (beforeContent) { mPhase = eAtBeforeKid; return beforeContent; } } mPhase = eAtBegin; return nullptr; } static bool IsNativeAnonymousImplementationOfPseudoElement(nsIContent* aContent) { // First, we need a frame. This leads to the tricky issue of what we can // infer if the frame is null. // // Unlike regular nodes, native anonymous content (NAC) gets created during // frame construction, which happens after the main style traversal. This // means that we have to manually resolve style for those nodes shortly after // they're created, either by (a) invoking ResolvePseudoElementStyle (for PE // NAC), or (b) handing the subtree off to Servo for a mini-traversal (for // non-PE NAC). We have assertions in nsCSSFrameConstructor that we don't do // both. // // Once that happens, the NAC has a frame. So if we have no frame here, // we're either not NAC, or in the process of doing (b). Either way, this // isn't a PE. nsIFrame* f = aContent->GetPrimaryFrame(); if (!f) { return false; } // Get the pseudo type. CSSPseudoElementType pseudoType = f->StyleContext()->GetPseudoType(); // In general nodes never get anonymous box style. However, there are a few // special cases: // // * We somewhat-confusingly give text nodes a style context tagged with // ":-moz-text", so we need to check for the anonymous box case here. // * The primary frame for table elements is an anonymous box that inherits // from the table's style. if (pseudoType == CSSPseudoElementType::AnonBox) { MOZ_ASSERT(f->StyleContext()->GetPseudo() == nsCSSAnonBoxes::mozText || f->StyleContext()->GetPseudo() == nsCSSAnonBoxes::tableWrapper); return false; } // Finally check the actual pseudo type. bool isImpl = pseudoType != CSSPseudoElementType::NotPseudo; MOZ_ASSERT_IF(isImpl, aContent->IsRootOfNativeAnonymousSubtree()); return isImpl; } /* static */ bool StyleChildrenIterator::IsNeeded(const Element* aElement) { // If the node is in an anonymous subtree, we conservatively return true to // handle insertion points. if (aElement->IsInAnonymousSubtree()) { return true; } // If the node has an XBL binding with anonymous content return true. if (aElement->HasFlag(NODE_MAY_BE_IN_BINDING_MNGR)) { nsBindingManager* manager = aElement->OwnerDoc()->BindingManager(); nsXBLBinding* binding = manager->GetBindingWithContent(aElement); if (binding && binding->GetAnonymousContent()) { return true; } } // If the node has native anonymous content, return true. nsIAnonymousContentCreator* ac = do_QueryFrame(aElement->GetPrimaryFrame()); if (ac) { return true; } return false; } nsIContent* StyleChildrenIterator::GetNextChild() { while (nsIContent* child = AllChildrenIterator::GetNextChild()) { if (IsNativeAnonymousImplementationOfPseudoElement(child)) { // Skip any native-anonymous children that are used to implement pseudo- // elements. These match pseudo-element selectors instead of being // considered a child of their host, and thus the style system needs to // handle them separately. } else { return child; } } return nullptr; } } // namespace dom } // namespace mozilla