diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 15:38:57 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 15:38:57 +0000 |
commit | cef992060b8b78e85c8aaa79278bd443d8403508 (patch) | |
tree | 760e1ce2817be3805fb928a7addba63aae117fa7 /generic | |
parent | b30fa09e2c710acca96970f306b09a5ddb65cabe (diff) |
pg-xml-parse-buffer: generalise to take region arguments.
Diffstat (limited to 'generic')
-rw-r--r-- | generic/pg-xml.el | 17 |
1 files changed, 7 insertions, 10 deletions
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 "<foo/>"))) - (pg-internal-warning "An old version of xml.el was loaded! It is buggy. See Proof General FAQ.")) - ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; Helper functions for parsing |