Class ChildDocument

    • Constructor Detail

      • ChildDocument

        public ChildDocument​(IDocument masterDocument)
        Creates a new child document.
        Parameters:
        masterDocument - the master document
    • Method Detail

      • setParentDocumentRange

        public void setParentDocumentRange​(int offset,
                                           int length)
                                    throws BadLocationException
        Sets the parent document range covered by this child document to the given range.
        Parameters:
        offset - the offset of the range
        length - the length of the range
        Throws:
        BadLocationException - if the given range is not valid
      • getParentDocumentRange

        public Position getParentDocumentRange()
        Returns the parent document range of this child document.
        Returns:
        the parent document range of this child document