/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- */ /* vim: set ts=8 sts=2 et sw=2 tw=80: */ /* 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/. */ /* * rendering object for CSS display:block, inline-block, and list-item * boxes, also used for various anonymous boxes */ #ifndef nsBlockFrame_h___ #define nsBlockFrame_h___ #include "mozilla/IntrinsicISizesCache.h" #include "nsCSSPseudoElements.h" #include "nsContainerFrame.h" #include "nsFloatManager.h" #include "nsHTMLParts.h" #include "nsLineBox.h" enum class LineReflowStatus { // The line was completely reflowed and fit in available width, and we should // try to pull up content from the next line if possible. OK, // The line was completely reflowed and fit in available width, but we should // not try to pull up content from the next line. Stop, // We need to reflow the line again at its current vertical position. The // new reflow should not try to pull up any frames from the next line. RedoNoPull, // We need to reflow the line again using the floats from its height // this reflow, since its height made it hit floats that were not // adjacent to its top. RedoMoreFloats, // We need to reflow the line again at a lower vertical postion where there // may be more horizontal space due to different float configuration. RedoNextBand, // The line did not fit in the available vertical space. Try pushing it to // the next page or column if it's not the first line on the current // page/column. Truncated }; class nsBlockInFlowLineIterator; namespace mozilla { class BlockReflowState; class PresShell; class ServoRestyleState; class ServoStyleSet; } // namespace mozilla /** * Some invariants: * -- The overflow out-of-flows list contains the out-of- * flow frames whose placeholders are in the overflow list. * -- A given piece of content has at most one placeholder * frame in a block's normal child list. * -- While a block is being reflowed, and from then until * its next-in-flow is reflowed it may have a * PushedFloatProperty frame property that points to * an nsFrameList. This list contains continuations for * floats whose prev-in-flow is in the block's regular float * list and first-in-flows of floats that did not fit, but * whose placeholders are in the block or one of its * prev-in-flows. * -- In all these frame lists, if there are two frames for * the same content appearing in the list, then the frames * appear with the prev-in-flow before the next-in-flow. * -- While reflowing a block, its overflow line list * will usually be empty but in some cases will have lines * (while we reflow the block at its shrink-wrap width). * In this case any new overflowing content must be * prepended to the overflow lines. */ /* * Base class for block and inline frames. * The block frame has an additional child list, FrameChildListID::Absolute, * which contains the absolutely positioned frames. */ class nsBlockFrame : public nsContainerFrame { using BlockReflowState = mozilla::BlockReflowState; public: NS_DECL_FRAMEARENA_HELPERS(nsBlockFrame) typedef nsLineList::iterator LineIterator; typedef nsLineList::const_iterator ConstLineIterator; typedef nsLineList::reverse_iterator ReverseLineIterator; typedef nsLineList::const_reverse_iterator ConstReverseLineIterator; LineIterator LinesBegin() { return mLines.begin(); } LineIterator LinesEnd() { return mLines.end(); } ConstLineIterator LinesBegin() const { return mLines.begin(); } ConstLineIterator LinesEnd() const { return mLines.end(); } ReverseLineIterator LinesRBegin() { return mLines.rbegin(); } ReverseLineIterator LinesREnd() { return mLines.rend(); } ConstReverseLineIterator LinesRBegin() const { return mLines.rbegin(); } ConstReverseLineIterator LinesREnd() const { return mLines.rend(); } LineIterator LinesBeginFrom(nsLineBox* aList) { return mLines.begin(aList); } ReverseLineIterator LinesRBeginFrom(nsLineBox* aList) { return mLines.rbegin(aList); } // Methods declared to be used in 'range-based-for-loop' nsLineList& Lines() { return mLines; } const nsLineList& Lines() const { return mLines; } friend nsBlockFrame* NS_NewBlockFrame(mozilla::PresShell* aPresShell, ComputedStyle* aStyle); // nsQueryFrame NS_DECL_QUERYFRAME // nsIFrame void Init(nsIContent* aContent, nsContainerFrame* aParent, nsIFrame* aPrevInFlow) override; void SetInitialChildList(ChildListID aListID, nsFrameList&& aChildList) override; void AppendFrames(ChildListID aListID, nsFrameList&& aFrameList) override; void InsertFrames(ChildListID aListID, nsIFrame* aPrevFrame, const nsLineList::iterator* aPrevFrameLine, nsFrameList&& aFrameList) override; void RemoveFrame(DestroyContext&, ChildListID, nsIFrame* aOldFrame) override; nsContainerFrame* GetContentInsertionFrame() override; void AppendDirectlyOwnedAnonBoxes(nsTArray& aResult) override; const nsFrameList& GetChildList(ChildListID aListID) const override; void GetChildLists(nsTArray* aLists) const override; nscoord SynthesizeFallbackBaseline( mozilla::WritingMode aWM, BaselineSharingGroup aBaselineGroup) const override; BaselineSharingGroup GetDefaultBaselineSharingGroup() const override { return BaselineSharingGroup::Last; } Maybe GetNaturalBaselineBOffset( mozilla::WritingMode aWM, BaselineSharingGroup aBaselineGroup, BaselineExportContext aExportContext) const override; nscoord GetCaretBaseline() const override; void Destroy(DestroyContext&) override; bool IsFloatContainingBlock() const override; void BuildDisplayList(nsDisplayListBuilder* aBuilder, const nsDisplayListSet& aLists) override; void InvalidateFrame(uint32_t aDisplayItemKey = 0, bool aRebuildDisplayItems = true) override; void InvalidateFrameWithRect(const nsRect& aRect, uint32_t aDisplayItemKey = 0, bool aRebuildDisplayItems = true) override; #ifdef DEBUG_FRAME_DUMP void List(FILE* out = stderr, const char* aPrefix = "", ListFlags aFlags = ListFlags()) const override; nsresult GetFrameName(nsAString& aResult) const override; #endif #ifdef ACCESSIBILITY mozilla::a11y::AccType AccessibleType() override; #endif // Line cursor methods to speed up line searching in which one query result // is expected to be close to the next in general. This is mainly for // searching line(s) containing a point. It is also used as a cache for local // computation. The basic idea for the former is that we set the cursor // property if the lines' overflowArea.InkOverflow().ys and // overflowArea.InkOverflow().yMosts are non-decreasing // (considering only non-empty overflowArea.InkOverflow()s; empty // overflowArea.InkOverflow()s never participate in event handling // or painting), and the block has sufficient number of lines. The // cursor property points to a "recently used" line. If we get a // series of requests that work on lines // "near" the cursor, then we can find those nearby lines quickly by // starting our search at the cursor. // We have two independent line cursors, one used for display-list building // and the other for a11y or other frame queries. Either or both may be // present at any given time. When we reflow or otherwise munge the lines, // both cursors will be cleared. // The display cursor is only created and used if the lines satisfy the non- // decreasing y-coordinate condition (see SetupLineCursorForDisplay comment // below), whereas the query cursor may be created for any block. The two // are separated so creating a cursor for a11y queries (eg GetRenderedText) // does not risk confusing the display-list building code. // Clear out line cursors because we're disturbing the lines (i.e., Reflow) void ClearLineCursors() { if (MaybeHasLineCursor()) { ClearLineCursorForDisplay(); ClearLineCursorForQuery(); RemoveStateBits(NS_BLOCK_HAS_LINE_CURSOR); } ClearLineIterator(); } void ClearLineCursorForDisplay() { RemoveProperty(LineCursorPropertyDisplay()); } void ClearLineCursorForQuery() { RemoveProperty(LineCursorPropertyQuery()); } // Clear just the line-iterator property; this is used if we need to get a // LineIterator temporarily during reflow, when using a persisted iterator // would be invalid. So we clear the stored property immediately after use. void ClearLineIterator() { RemoveProperty(LineIteratorProperty()); } // Get the first line that might contain y-coord 'y', or nullptr if you must // search all lines. If nonnull is returned then we guarantee that the lines' // combinedArea.ys and combinedArea.yMosts are non-decreasing. // The actual line returned might not contain 'y', but if not, it is // guaranteed to be before any line which does contain 'y'. nsLineBox* GetFirstLineContaining(nscoord y); // Ensure the frame has a display-list line cursor, initializing it to the // first line if it is not already present. (If there's an existing cursor, // it is left untouched.) Only call this if you guarantee that the lines' // combinedArea.ys and combinedArea.yMosts are non-decreasing. void SetupLineCursorForDisplay(); // Ensure the frame has a query line cursor, initializing it to the first // line if it is not already present. (If there's an existing cursor, it is // left untouched.) void SetupLineCursorForQuery(); void ChildIsDirty(nsIFrame* aChild) override; bool IsEmpty() override; bool CachedIsEmpty() override; bool IsSelfEmpty() override; bool LinesAreEmpty() const; // Given that we have a ::marker frame, does it actually draw something, i.e., // do we have either a 'list-style-type' or 'list-style-image' that is // not 'none', and no 'content'? // This is expected to be used only for outside markers, and when the caller // already has a pointer to the marker frame. bool MarkerIsEmpty(const nsIFrame* aMarker) const; // Return true if this frame has a ::marker frame. bool HasMarker() const { return HasAnyStateBits(NS_BLOCK_HAS_MARKER); } // Return true if this frame has an outside ::marker frame. bool HasOutsideMarker() const; /** * @return the first-letter frame or nullptr if we don't have one. */ nsIFrame* GetFirstLetter() const; /** * @return the ::first-line frame or nullptr if we don't have one. */ nsIFrame* GetFirstLineFrame() const; void MarkIntrinsicISizesDirty() override; private: // Whether CSS text-indent should be applied to the given line. bool TextIndentAppliesTo(const LineIterator& aLine) const; void CheckIntrinsicCacheAgainstShrinkWrapState(); nsRect ComputePaddingInflatedScrollableOverflow( const nsRect& aInFlowChildBounds) const; Maybe GetLineFrameInFlowBounds( const nsLineBox& aLine, const nsIFrame& aLineChildFrame, bool aConsiderPositiveMargins = true) const; template Maybe GetBaselineBOffset(LineIteratorType aStart, LineIteratorType aEnd, mozilla::WritingMode aWM, BaselineSharingGroup aBaselineGroup, BaselineExportContext aExportContext) const; protected: // MinISize() and PrefISize() are helpers to implement IntrinsicISize(). nscoord MinISize(const mozilla::IntrinsicSizeInput& aInput); nscoord PrefISize(const mozilla::IntrinsicSizeInput& aInput); public: nscoord IntrinsicISize(const mozilla::IntrinsicSizeInput& aInput, mozilla::IntrinsicISizeType aType) override; nsRect ComputeTightBounds(DrawTarget* aDrawTarget) const override; nsresult GetPrefWidthTightBounds(gfxContext* aContext, nscoord* aX, nscoord* aXMost) override; /** * Compute the final block size of this frame. * * @param aState BlockReflowState passed from parent during reflow. * Note: aState.mReflowStatus is mostly an "input" parameter. When this * method is called, it should represent what our status would be as if * we were shrinkwrapping our children's block-size. This method will * then adjust it before returning if our status is different in light * of our actual final block-size and current page/column's available * block-size. * @param aBEndEdgeOfChildren The distance between this frame's block-start * border-edge and the block-end edge of our last child's border-box. * This is effectively our block-start border-padding plus the * block-size of our children, precomputed outside of this function. * @return our final block-size with respect to aReflowInput's writing-mode. */ nscoord ComputeFinalBSize(BlockReflowState& aState, nscoord aBEndEdgeOfChildren); void Reflow(nsPresContext* aPresContext, ReflowOutput& aDesiredSize, const ReflowInput& aReflowInput, nsReflowStatus& aStatus) override; /** * Move any frames on our overflow list to the end of our principal list. * @return true if there were any overflow frames */ bool DrainSelfOverflowList() override; void StealFrame(nsIFrame* aChild) override; void DeleteNextInFlowChild(DestroyContext&, nsIFrame* aNextInFlow, bool aDeletingEmptyFrames) override; /** * This is a special method that allows a child class of nsBlockFrame to * return a special, customized nsStyleText object to the nsLineLayout * constructor. It is used when the nsBlockFrame child needs to specify its * custom rendering style. */ virtual const nsStyleText* StyleTextForLineLayout(); /** * Determines whether the collapsed margin carried out of the last * line includes the margin-top of a line with clearance (in which * case we must avoid collapsing that margin with our bottom margin) */ bool CheckForCollapsedBEndMarginFromClearanceLine(); static nsresult GetCurrentLine(BlockReflowState* aState, nsLineBox** aOutCurrentLine); /** * Determine if this block is a margin root at the top/bottom edges. */ void IsMarginRoot(bool* aBStartMarginRoot, bool* aBEndMarginRoot); static bool BlockNeedsFloatManager(nsIFrame* aBlock); /** * Returns whether aFrame is a block frame that will wrap its contents * around floats intruding on it from the outside. (aFrame need not * be a block frame, but if it's not, the result will be false.) * * Note: We often use the term "float-avoiding block" to refer to * block-level frames for whom this function returns false. */ static bool BlockCanIntersectFloats(nsIFrame* aFrame); /** * Returns the inline size that needs to be cleared past floats for * blocks that avoid (i.e. cannot intersect) floats. aState must already * have GetFloatAvailableSpace called on it for the block-dir position that * we care about (which need not be its current mBCoord) */ struct FloatAvoidingISizeToClear { // Note that we care about the inline-start margin but can ignore // the inline-end margin. nscoord marginIStart, borderBoxISize; }; static FloatAvoidingISizeToClear ISizeToClearPastFloats( const BlockReflowState& aState, const mozilla::LogicalRect& aFloatAvailableSpace, nsIFrame* aFloatAvoidingBlock); /** * Creates a contination for aFloat and adds it to the list of overflow * floats. Also updates aState.mReflowStatus to include the float's * incompleteness. Must only be called while this block frame is in reflow. * aFloatStatus must be the float's true, unmodified reflow status. */ void SplitFloat(BlockReflowState& aState, nsIFrame* aFloat, const nsReflowStatus& aFloatStatus); /** * Walks up the frame tree, starting with aCandidate, and returns the first * block frame that it encounters. */ static nsBlockFrame* GetNearestAncestorBlock(nsIFrame* aCandidate); struct FrameLines { nsLineList mLines; nsFrameList mFrames; }; /** * Update the styles of our various pseudo-elements (marker, first-line, * etc, but _not_ first-letter). */ void UpdatePseudoElementStyles(mozilla::ServoRestyleState& aRestyleState); // Update our first-letter styles during stylo post-traversal. This needs to // be done at a slightly different time than our other pseudo-elements. void UpdateFirstLetterStyle(mozilla::ServoRestyleState& aRestyleState); protected: explicit nsBlockFrame(ComputedStyle* aStyle, nsPresContext* aPresContext, ClassID aID = kClassID) : nsContainerFrame(aStyle, aPresContext, aID) { #ifdef DEBUG InitDebugFlags(); #endif } virtual ~nsBlockFrame(); void DidSetComputedStyle(ComputedStyle* aOldStyle) override; #ifdef DEBUG already_AddRefed GetFirstLetterStyle( nsPresContext* aPresContext); #endif NS_DECLARE_FRAME_PROPERTY_WITHOUT_DTOR(LineCursorPropertyDisplay, nsLineBox) NS_DECLARE_FRAME_PROPERTY_WITHOUT_DTOR(LineCursorPropertyQuery, nsLineBox) // Note that the NS_BLOCK_HAS_LINE_CURSOR flag does not necessarily mean the // cursor is present, as it covers both the "display" and "query" cursors, // but may remain set if they have been separately deleted. In such a case, // the Get* accessors will be slightly more expensive, but will still safely // return null if the cursor is absent. bool MaybeHasLineCursor() { return HasAnyStateBits(NS_BLOCK_HAS_LINE_CURSOR); } nsLineBox* GetLineCursorForDisplay() { return MaybeHasLineCursor() ? GetProperty(LineCursorPropertyDisplay()) : nullptr; } nsLineBox* GetLineCursorForQuery() { return MaybeHasLineCursor() ? GetProperty(LineCursorPropertyQuery()) : nullptr; } void SetLineCursorForDisplay(nsLineBox* aLine) { MOZ_ASSERT(aLine, "must have a line"); MOZ_ASSERT(!mLines.empty(), "aLine isn't my line"); SetProperty(LineCursorPropertyDisplay(), aLine); AddStateBits(NS_BLOCK_HAS_LINE_CURSOR); } nsLineBox* NewLineBox(nsIFrame* aFrame, bool aIsBlock) { return NS_NewLineBox(PresShell(), aFrame, aIsBlock); } nsLineBox* NewLineBox(nsLineBox* aFromLine, nsIFrame* aFrame, int32_t aCount) { return NS_NewLineBox(PresShell(), aFromLine, aFrame, aCount); } void FreeLineBox(nsLineBox* aLine) { if (aLine == GetLineCursorForDisplay()) { ClearLineCursorForDisplay(); } if (aLine == GetLineCursorForQuery()) { ClearLineCursorForQuery(); } aLine->Destroy(PresShell()); } /** * Helper method for StealFrame. */ void RemoveFrameFromLine(nsIFrame* aChild, nsLineList::iterator aLine, nsFrameList& aFrameList, nsLineList& aLineList); void TryAllLines(nsLineList::iterator* aIterator, nsLineList::iterator* aStartIterator, nsLineList::iterator* aEndIterator, bool* aInOverflowLines, FrameLines** aOverflowLines); /** move the frames contained by aLine by aDeltaBCoord * if aLine is a block, its child floats are added to the state manager */ void SlideLine(BlockReflowState& aState, nsLineBox* aLine, nscoord aDeltaBCoord); void UpdateLineContainerSize(nsLineBox* aLine, const nsSize& aNewContainerSize); // helper for SlideLine and UpdateLineContainerSize void MoveChildFramesOfLine(nsLineBox* aLine, nscoord aDeltaBCoord); // Returns block-end edge of children. nscoord ComputeFinalSize(const ReflowInput& aReflowInput, BlockReflowState& aState, ReflowOutput& aMetrics); /** * Calculates the necessary shift to honor 'align-content' and applies it. */ void AlignContent(BlockReflowState& aState, ReflowOutput& aMetrics, nscoord aBEndEdgeOfChildren); // Stash the effective align-content shift value between reflows NS_DECLARE_FRAME_PROPERTY_SMALL_VALUE(AlignContentShift, nscoord) /** * Helper method for Reflow(). Computes the overflow areas created by our * children, and includes them into aOverflowAreas. */ void ComputeOverflowAreas(mozilla::OverflowAreas& aOverflowAreas, const nsStyleDisplay* aDisplay) const; /** * Add the frames in aFrameList to this block after aPrevSibling. * This block thinks in terms of lines, but the frame construction code * knows nothing about lines at all so we need to find the line that * contains aPrevSibling and add aFrameList after aPrevSibling on that line. * New lines are created as necessary to handle block data in aFrameList. * This function will clear aFrameList. * * aPrevSiblingLine, if present, must be the line containing aPrevSibling. * Providing it will make this function faster. */ void AddFrames(nsFrameList&& aFrameList, nsIFrame* aPrevSibling, const nsLineList::iterator* aPrevSiblingLine); // Return the :-moz-block-ruby-content child frame, if any. // (It's non-null only if this block frame is for 'display:block ruby'.) nsContainerFrame* GetRubyContentPseudoFrame(); /** * Perform Bidi resolution on this frame */ nsresult ResolveBidi(); public: bool IsButtonControlFrame() const { return IsInputButtonControlFrame() || IsColorControlFrame() || IsComboboxControlFrame(); } bool IsButtonLike() const { if (mContent->IsHTMLElement(nsGkAtoms::button)) { // NOTE(emilio): We need the IsAnonBox check to deal with things like the // :-moz-anonymous-item of a