~ubuntu-branches/ubuntu/intrepid/mit-scheme/intrepid-updates

« back to all changes in this revision

Viewing changes to src/xml/xml.pkg

  • Committer: Bazaar Package Importer
  • Author(s): Chris Hanson
  • Date: 2002-03-14 17:04:07 UTC
  • Revision ID: james.westby@ubuntu.com-20020314170407-m5lg1d6bdsl9lv0s
Tags: upstream-7.7.0
ImportĀ upstreamĀ versionĀ 7.7.0

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
;;; -*-Scheme-*-
 
2
;;;
 
3
;;; $Id: xml.pkg,v 1.9 2001/12/20 06:46:58 cph Exp $
 
4
;;;
 
5
;;; Copyright (c) 2001 Massachusetts Institute of Technology
 
6
;;;
 
7
;;; This program is free software; you can redistribute it and/or
 
8
;;; modify it under the terms of the GNU General Public License as
 
9
;;; published by the Free Software Foundation; either version 2 of the
 
10
;;; License, or (at your option) any later version.
 
11
;;;
 
12
;;; This program is distributed in the hope that it will be useful,
 
13
;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
 
14
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 
15
;;; General Public License for more details.
 
16
;;;
 
17
;;; You should have received a copy of the GNU General Public License
 
18
;;; along with this program; if not, write to the Free Software
 
19
;;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 
20
;;; 02111-1307, USA.
 
21
 
 
22
;;;; XML: packaging
 
23
 
 
24
(global-definitions "../runtime/runtime")
 
25
(global-definitions "../sos/sos")
 
26
(global-definitions "../star-parser/parser")
 
27
 
 
28
(define-package (runtime xml)
 
29
  (parent (runtime)))
 
30
 
 
31
(define-package (runtime xml structure)
 
32
  (files "xml-struct")
 
33
  (parent (runtime xml))
 
34
  (export ()
 
35
          make-xml-!attlist
 
36
          make-xml-!element
 
37
          make-xml-!entity
 
38
          make-xml-!notation
 
39
          make-xml-declaration
 
40
          make-xml-document
 
41
          make-xml-dtd
 
42
          make-xml-element
 
43
          make-xml-external-id
 
44
          make-xml-parameter-!entity
 
45
          make-xml-processing-instructions
 
46
          make-xml-uninterpreted
 
47
          make-xml-unparsed-!entity
 
48
          set-xml-!attlist-definitions!
 
49
          set-xml-!attlist-name!
 
50
          set-xml-!element-content-type!
 
51
          set-xml-!element-name!
 
52
          set-xml-!entity-name!
 
53
          set-xml-!entity-value!
 
54
          set-xml-!notation-id!
 
55
          set-xml-!notation-name!
 
56
          set-xml-declaration-encoding!
 
57
          set-xml-declaration-standalone!
 
58
          set-xml-declaration-version!
 
59
          set-xml-document-declaration!
 
60
          set-xml-document-dtd!
 
61
          set-xml-document-misc-1!
 
62
          set-xml-document-misc-2!
 
63
          set-xml-document-misc-3!
 
64
          set-xml-document-root!
 
65
          set-xml-dtd-external!
 
66
          set-xml-dtd-internal!
 
67
          set-xml-dtd-root!
 
68
          set-xml-element-attributes!
 
69
          set-xml-element-contents!
 
70
          set-xml-element-name!
 
71
          set-xml-external-id-id!
 
72
          set-xml-external-id-uri!
 
73
          set-xml-parameter-!entity-name!
 
74
          set-xml-parameter-!entity-value!
 
75
          set-xml-processing-instructions-name!
 
76
          set-xml-processing-instructions-text!
 
77
          set-xml-uninterpreted-text!
 
78
          set-xml-unparsed-!entity-id!
 
79
          set-xml-unparsed-!entity-name!
 
80
          set-xml-unparsed-!entity-notation!
 
81
          xml-!attlist-definitions
 
82
          xml-!attlist-name
 
83
          xml-!attlist-rtd
 
84
          xml-!attlist?
 
85
          xml-!element-content-type
 
86
          xml-!element-name
 
87
          xml-!element-rtd
 
88
          xml-!element?
 
89
          xml-!entity-name
 
90
          xml-!entity-rtd
 
91
          xml-!entity-value
 
92
          xml-!entity?
 
93
          xml-!notation-id
 
94
          xml-!notation-name
 
95
          xml-!notation-rtd
 
96
          xml-!notation?
 
97
          xml-declaration-encoding
 
98
          xml-declaration-rtd
 
99
          xml-declaration-standalone
 
100
          xml-declaration-version
 
101
          xml-declaration?
 
102
          xml-document-declaration
 
103
          xml-document-dtd
 
104
          xml-document-misc-1
 
105
          xml-document-misc-2
 
106
          xml-document-misc-3
 
107
          xml-document-root
 
108
          xml-document-rtd
 
109
          xml-document?
 
110
          xml-dtd-external
 
111
          xml-dtd-internal
 
112
          xml-dtd-root
 
113
          xml-dtd-rtd
 
114
          xml-dtd?
 
115
          xml-element-attributes
 
116
          xml-element-contents
 
117
          xml-element-name
 
118
          xml-element-rtd
 
119
          xml-element?
 
120
          xml-external-id-id
 
121
          xml-external-id-rtd
 
122
          xml-external-id-uri
 
123
          xml-external-id?
 
124
          xml-intern
 
125
          xml-parameter-!entity-name
 
126
          xml-parameter-!entity-rtd
 
127
          xml-parameter-!entity-value
 
128
          xml-parameter-!entity?
 
129
          xml-processing-instructions-name
 
130
          xml-processing-instructions-rtd
 
131
          xml-processing-instructions-text
 
132
          xml-processing-instructions?
 
133
          xml-uninterpreted-rtd
 
134
          xml-uninterpreted-text
 
135
          xml-uninterpreted?
 
136
          xml-unparsed-!entity-id
 
137
          xml-unparsed-!entity-name
 
138
          xml-unparsed-!entity-notation
 
139
          xml-unparsed-!entity-rtd
 
140
          xml-unparsed-!entity?))
 
141
 
 
142
(define-package (runtime xml parser)
 
143
  (files "xml-chars" "xml-parser")
 
144
  (parent (runtime xml))
 
145
  (export ()
 
146
          parse-xml-document))
 
147
 
 
148
(define-package (runtime xml output)
 
149
  (files "xml-output")
 
150
  (parent (runtime xml))
 
151
  (export ()
 
152
          write-xml))
 
 
b'\\ No newline at end of file'