From cef992060b8b78e85c8aaa79278bd443d8403508 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 6 Sep 2009 15:38:57 +0000 Subject: pg-xml-parse-buffer: generalise to take region arguments. --- generic/pg-xml.el | 17 +++++++---------- 1 file changed, 7 insertions(+), 10 deletions(-) (limited to 'generic/pg-xml.el') diff --git a/generic/pg-xml.el b/generic/pg-xml.el index adf907eb..993fe25e 100644 --- a/generic/pg-xml.el +++ b/generic/pg-xml.el @@ -47,23 +47,20 @@ (pg-xml-parse-buffer (current-buffer) 'nomessage)))) -(defun pg-xml-parse-buffer (&optional buffer nomsg) +(defun pg-xml-parse-buffer (&optional buffer nomsg start end) "Parse an XML documment in BUFFER (defaulting to current buffer). -Parsing according to `xml-parse-file' of xml.el." +Parsing according to `xml-parse-file' of xml.el. +Optional START and END bound the parse." (unless nomsg (message "Parsing %s..." (buffer-name buffer))) - (let ((xml (xml-parse-region (point-min) - (point-max) - (current-buffer) - nil))) + (let ((xml (xml-parse-region (or start (point-min)) + (or end (point-max)) + (or buffer (current-buffer)) + nil))) (unless nomsg (message "Parsing %s...done" (buffer-name buffer))) xml)) -;; Check that the empty parsing bug isn't present -(if (xml-node-children (car (pg-xml-parse-string ""))) - (pg-internal-warning "An old version of xml.el was loaded! It is buggy. See Proof General FAQ.")) - ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; Helper functions for parsing -- cgit v1.2.3