Class MarkupExtent


  • public class MarkupExtent
    extends java.lang.Object
    Represents an element in a list of markup extents. Knows about the length of the extent, as well as the depth of markup. Depth of markup means, how many annotations cover this extent?
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private int end
      The end.
      private int markupDepth
      The markup depth.
      private int start
      The start.
    • Constructor Summary

      Constructors 
      Constructor Description
      MarkupExtent​(int start, int end, int markupDepth)
      Instantiates a new markup extent.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int getEnd()
      Gets the end.
      int getLength()
      Gets the length.
      int getMarkupDepth()
      Gets the markup depth.
      int getStart()
      Gets the start.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • start

        private int start
        The start.
      • end

        private int end
        The end.
      • markupDepth

        private int markupDepth
        The markup depth.
    • Constructor Detail

      • MarkupExtent

        public MarkupExtent​(int start,
                            int end,
                            int markupDepth)
        Instantiates a new markup extent.
        Parameters:
        start - the start
        end - the end
        markupDepth - the markup depth
    • Method Detail

      • getLength

        public int getLength()
        Gets the length.
        Returns:
        the length
      • getMarkupDepth

        public int getMarkupDepth()
        Gets the markup depth.
        Returns:
        the markup depth
      • getEnd

        public int getEnd()
        Gets the end.
        Returns:
        int
      • getStart

        public int getStart()
        Gets the start.
        Returns:
        int