line |
stmt |
bran |
cond |
sub |
pod |
time |
code |
1
|
|
|
|
|
|
|
|
2
|
|
|
|
|
|
|
package PRANG; |
3
|
|
|
|
|
|
|
$PRANG::VERSION = '0.20'; |
4
|
7
|
|
|
7
|
|
16770
|
use strict; |
|
7
|
|
|
|
|
14
|
|
|
7
|
|
|
|
|
170
|
|
5
|
7
|
|
|
7
|
|
28
|
use warnings; |
|
7
|
|
|
|
|
13
|
|
|
7
|
|
|
|
|
229
|
|
6
|
|
|
|
|
|
|
|
7
|
|
|
|
|
|
|
our $EMIT_CDATA = 0; |
8
|
|
|
|
|
|
|
|
9
|
|
|
|
|
|
|
1; |
10
|
|
|
|
|
|
|
|
11
|
|
|
|
|
|
|
__END__ |
12
|
|
|
|
|
|
|
|
13
|
|
|
|
|
|
|
=encoding utf8 |
14
|
|
|
|
|
|
|
|
15
|
|
|
|
|
|
|
=head1 NAME |
16
|
|
|
|
|
|
|
|
17
|
|
|
|
|
|
|
PRANG - XML graph engine - XML to Moose objects and back! |
18
|
|
|
|
|
|
|
|
19
|
|
|
|
|
|
|
=head1 SYNOPSIS |
20
|
|
|
|
|
|
|
|
21
|
|
|
|
|
|
|
# step 1. define a common role for nodes in your XML language |
22
|
|
|
|
|
|
|
package XML::Language::Node; |
23
|
|
|
|
|
|
|
use Moose::Role; |
24
|
|
|
|
|
|
|
sub xmlns { "http://example.com/language/1.0" } |
25
|
|
|
|
|
|
|
|
26
|
|
|
|
|
|
|
# step 2. define the root node(s) of your language |
27
|
|
|
|
|
|
|
package XML::Language; |
28
|
|
|
|
|
|
|
use Moose; |
29
|
|
|
|
|
|
|
use PRANG::Graph; |
30
|
|
|
|
|
|
|
sub root_element { |
31
|
|
|
|
|
|
|
"envy" |
32
|
|
|
|
|
|
|
}; |
33
|
|
|
|
|
|
|
has_attr 'laziness' => |
34
|
|
|
|
|
|
|
is => "ro", |
35
|
|
|
|
|
|
|
isa => "Str", |
36
|
|
|
|
|
|
|
; |
37
|
|
|
|
|
|
|
has_element 'lust' => |
38
|
|
|
|
|
|
|
is => "ro", |
39
|
|
|
|
|
|
|
isa => "XML::Language::Lust", |
40
|
|
|
|
|
|
|
; |
41
|
|
|
|
|
|
|
with 'PRANG::Graph', 'XML::Language::Node'; |
42
|
|
|
|
|
|
|
|
43
|
|
|
|
|
|
|
# step 3. define further elements in your schema |
44
|
|
|
|
|
|
|
package XML::Language::Lust; |
45
|
|
|
|
|
|
|
use Moose; |
46
|
|
|
|
|
|
|
use PRANG::Graph; |
47
|
|
|
|
|
|
|
use PRANG::XMLSchema::Types; |
48
|
|
|
|
|
|
|
|
49
|
|
|
|
|
|
|
has_attr 'gluttony' => |
50
|
|
|
|
|
|
|
is => "ro", |
51
|
|
|
|
|
|
|
isa => "PRANG::XMLSchema::byte", |
52
|
|
|
|
|
|
|
; |
53
|
|
|
|
|
|
|
has_element 'sins' => |
54
|
|
|
|
|
|
|
is => "ro", |
55
|
|
|
|
|
|
|
isa => "ArrayRef[XML::Language::Lust|Str]", |
56
|
|
|
|
|
|
|
xml_nodeName => { |
57
|
|
|
|
|
|
|
'lust' => 'XML::Language::Lust', |
58
|
|
|
|
|
|
|
'anger' => 'Str', |
59
|
|
|
|
|
|
|
}, |
60
|
|
|
|
|
|
|
; |
61
|
|
|
|
|
|
|
has_element 'greed' => |
62
|
|
|
|
|
|
|
is => "ro", |
63
|
|
|
|
|
|
|
isa => "Bool", |
64
|
|
|
|
|
|
|
; |
65
|
|
|
|
|
|
|
with 'XML::Language::Node'; |
66
|
|
|
|
|
|
|
|
67
|
|
|
|
|
|
|
# step 4a. parse! |
68
|
|
|
|
|
|
|
my $object = XML::Language->parse(<<XML); |
69
|
|
|
|
|
|
|
<envy laziness="Very"> |
70
|
|
|
|
|
|
|
<lust gluttony="127"> |
71
|
|
|
|
|
|
|
<anger>You wouldn't like me when I'm angry</anger> |
72
|
|
|
|
|
|
|
<lust> |
73
|
|
|
|
|
|
|
<anger>You've done it now!</anger> |
74
|
|
|
|
|
|
|
<greed /> |
75
|
|
|
|
|
|
|
</lust> |
76
|
|
|
|
|
|
|
</lust> |
77
|
|
|
|
|
|
|
</envy> |
78
|
|
|
|
|
|
|
XML |
79
|
|
|
|
|
|
|
|
80
|
|
|
|
|
|
|
# Parsing the above would give you the same structure as this: |
81
|
|
|
|
|
|
|
XML::Language->new( |
82
|
|
|
|
|
|
|
laziness => "Very", |
83
|
|
|
|
|
|
|
lust => XML::Language::Lust->new( |
84
|
|
|
|
|
|
|
gluttony => 127, |
85
|
|
|
|
|
|
|
sins => [ |
86
|
|
|
|
|
|
|
"You wouldn't like me when I'm angry", |
87
|
|
|
|
|
|
|
XML::Language::Lust->new( |
88
|
|
|
|
|
|
|
sins => [ "You've done it now!" ], |
89
|
|
|
|
|
|
|
greed => 1, |
90
|
|
|
|
|
|
|
), |
91
|
|
|
|
|
|
|
], |
92
|
|
|
|
|
|
|
) |
93
|
|
|
|
|
|
|
); |
94
|
|
|
|
|
|
|
|
95
|
|
|
|
|
|
|
# step 4b. emit! |
96
|
|
|
|
|
|
|
$format = 1; |
97
|
|
|
|
|
|
|
print $object->to_xml($format); |
98
|
|
|
|
|
|
|
|
99
|
|
|
|
|
|
|
=head1 DESCRIPTION |
100
|
|
|
|
|
|
|
|
101
|
|
|
|
|
|
|
PRANG is an B<XML Graph> engine, which provides B<post-schema |
102
|
|
|
|
|
|
|
validation objects> (PSVO). |
103
|
|
|
|
|
|
|
|
104
|
|
|
|
|
|
|
It is designed for implementing XML languages for which a description |
105
|
|
|
|
|
|
|
of the valid sets of XML documents is available - for example, a DTD, |
106
|
|
|
|
|
|
|
W3C XML Schema or Relax specification. With PRANG (and, like |
107
|
|
|
|
|
|
|
L<XML::Toolkit>), your class structure I<is> your XML Graph. |
108
|
|
|
|
|
|
|
|
109
|
|
|
|
|
|
|
XML namespaces are supported, and the module tries to make many XML |
110
|
|
|
|
|
|
|
conventions as convenient as possible in the generated classes. This |
111
|
|
|
|
|
|
|
includes XML data (elements with no attributes and textnode contents), |
112
|
|
|
|
|
|
|
and presence elements (empty elements with no attributes which |
113
|
|
|
|
|
|
|
indicate something). It also supports mixed and unprocessed portions |
114
|
|
|
|
|
|
|
of the XML, and "pluggable" specifications. |
115
|
|
|
|
|
|
|
|
116
|
|
|
|
|
|
|
Currently, these must be manually constructed as in the example - |
117
|
|
|
|
|
|
|
details on this are to be found on the L<PRANG::Graph::Meta::Element> |
118
|
|
|
|
|
|
|
and L<PRANG::Graph::Meta::Attr> perldoc. There is also a cookbook of |
119
|
|
|
|
|
|
|
examples - see L<PRANG::Cookbook>. |
120
|
|
|
|
|
|
|
|
121
|
|
|
|
|
|
|
However, eventually it should be possible to automatically process |
122
|
|
|
|
|
|
|
schema documents to produce a class structure (see L</KNOWN |
123
|
|
|
|
|
|
|
LIMITATIONS>). |
124
|
|
|
|
|
|
|
|
125
|
|
|
|
|
|
|
Once the L<PRANG::Graph> has been built, you can: |
126
|
|
|
|
|
|
|
|
127
|
|
|
|
|
|
|
=over |
128
|
|
|
|
|
|
|
|
129
|
|
|
|
|
|
|
=item B<marshall XML in> |
130
|
|
|
|
|
|
|
|
131
|
|
|
|
|
|
|
The L<PRANG::Marshaller> takes any well-formed document parsable by |
132
|
|
|
|
|
|
|
L<XML::LibXML>, and constructs a corresponding set of Moose objects. |
133
|
|
|
|
|
|
|
|
134
|
|
|
|
|
|
|
A shortcut is available via the C<parse> method on the starting point |
135
|
|
|
|
|
|
|
of the graph (indicated by using the role 'L<PRANG::Graph>'). |
136
|
|
|
|
|
|
|
|
137
|
|
|
|
|
|
|
You can also parse documents which have multiple start nodes, by |
138
|
|
|
|
|
|
|
defining a role which the concrete instances use. |
139
|
|
|
|
|
|
|
|
140
|
|
|
|
|
|
|
eg, for the example in the SYNOPSIS; define a role |
141
|
|
|
|
|
|
|
'XML::Language::Family' - the root node will be parsed by the class |
142
|
|
|
|
|
|
|
with a matching C<root_element> (and C<xmlns>) value. |
143
|
|
|
|
|
|
|
|
144
|
|
|
|
|
|
|
package XML::Language::Family; |
145
|
|
|
|
|
|
|
use Moose::Role; |
146
|
|
|
|
|
|
|
with 'PRANG::Graph'; |
147
|
|
|
|
|
|
|
|
148
|
|
|
|
|
|
|
package XML::Language; |
149
|
|
|
|
|
|
|
use Moose; |
150
|
|
|
|
|
|
|
with 'XML::Language::Family'; |
151
|
|
|
|
|
|
|
|
152
|
|
|
|
|
|
|
# later ... |
153
|
|
|
|
|
|
|
my $marshaller = PRANG::Marshaller->get("XML::Language::Family"); |
154
|
|
|
|
|
|
|
my $object = $marshaller->parse($xml); |
155
|
|
|
|
|
|
|
|
156
|
|
|
|
|
|
|
B<note> the C<PRANG::Marshaller> API will probably go away in a future |
157
|
|
|
|
|
|
|
release, once the "parse" role method is made to work correctly. |
158
|
|
|
|
|
|
|
|
159
|
|
|
|
|
|
|
=item B<marshall XML out> |
160
|
|
|
|
|
|
|
|
161
|
|
|
|
|
|
|
A L<PRANG::Graph> structure also has a C<to_xml> method, which emits |
162
|
|
|
|
|
|
|
XML (optionally indented). |
163
|
|
|
|
|
|
|
|
164
|
|
|
|
|
|
|
=back |
165
|
|
|
|
|
|
|
|
166
|
|
|
|
|
|
|
=head1 Global Options |
167
|
|
|
|
|
|
|
|
168
|
|
|
|
|
|
|
There are some (well, one at the moment) global options which can be |
169
|
|
|
|
|
|
|
set via: |
170
|
|
|
|
|
|
|
|
171
|
|
|
|
|
|
|
$PRANG::OPTION = 'value'; |
172
|
|
|
|
|
|
|
|
173
|
|
|
|
|
|
|
=item B<EMIT_CDATA> |
174
|
|
|
|
|
|
|
|
175
|
|
|
|
|
|
|
Setting this to true will emit all text nodes as CDATA elements rather |
176
|
|
|
|
|
|
|
than just text. Default is false. |
177
|
|
|
|
|
|
|
|
178
|
|
|
|
|
|
|
Note, for parsing, CDATA and text are treated as the same. |
179
|
|
|
|
|
|
|
|
180
|
|
|
|
|
|
|
=back |
181
|
|
|
|
|
|
|
|
182
|
|
|
|
|
|
|
=head1 Why "XML Graph"? |
183
|
|
|
|
|
|
|
|
184
|
|
|
|
|
|
|
The term B<XML Graph> is from the paper, "XML Graphs in Program |
185
|
|
|
|
|
|
|
Analysis", Møller and Schwartzbach (2007). |
186
|
|
|
|
|
|
|
|
187
|
|
|
|
|
|
|
L<http://www.brics.dk/~amoeller/papers/xmlgraphs/> |
188
|
|
|
|
|
|
|
|
189
|
|
|
|
|
|
|
The difference between an B<Graph> and a B<Tree>, is that a Graph can |
190
|
|
|
|
|
|
|
contain cycles, whereas a Tree cannot - there is only one correct way |
191
|
|
|
|
|
|
|
to follow a tree, whereas there can be many correct ways to follow a |
192
|
|
|
|
|
|
|
graph. |
193
|
|
|
|
|
|
|
|
194
|
|
|
|
|
|
|
So, XML documents are considered to be trees, and the mechanisms which |
195
|
|
|
|
|
|
|
describe allowable forms for those trees XML graphs. |
196
|
|
|
|
|
|
|
|
197
|
|
|
|
|
|
|
They are graphs, because they can contain cycles - cycles in an XML |
198
|
|
|
|
|
|
|
graph might point back to the same element (indicating an "any number |
199
|
|
|
|
|
|
|
of this element" condition), or point to a different element closer to |
200
|
|
|
|
|
|
|
the initial element (indicating an arbitrary level of nesting). |
201
|
|
|
|
|
|
|
|
202
|
|
|
|
|
|
|
=head1 KNOWN LIMITATIONS |
203
|
|
|
|
|
|
|
|
204
|
|
|
|
|
|
|
Support for these features will be considered as tuits allow. If you |
205
|
|
|
|
|
|
|
can create a patch for any of these features which meets the coding |
206
|
|
|
|
|
|
|
standards, they are very likely to be accepted. The authors will |
207
|
|
|
|
|
|
|
provide guidance and/or assistance through this process, time and |
208
|
|
|
|
|
|
|
patience permitting. |
209
|
|
|
|
|
|
|
|
210
|
|
|
|
|
|
|
=head2 Creating XML Graphs from Schema documents |
211
|
|
|
|
|
|
|
|
212
|
|
|
|
|
|
|
Validating/Parsing schema documents, and transforming those |
213
|
|
|
|
|
|
|
to a L<PRANG::Graph> structure, could well be a valid approach to |
214
|
|
|
|
|
|
|
address these issues and may be addressed by later releases and/or |
215
|
|
|
|
|
|
|
modules which implement those XML languages using PRANG. |
216
|
|
|
|
|
|
|
|
217
|
|
|
|
|
|
|
=head2 Creating XML Graphs from example documents |
218
|
|
|
|
|
|
|
|
219
|
|
|
|
|
|
|
This is a bit more shonky an approach, but can be very useful for |
220
|
|
|
|
|
|
|
I<ad-hoc> XML conventions for which no rigid definition can be found. |
221
|
|
|
|
|
|
|
Currently, L<XML::Toolkit> is the best module for this. |
222
|
|
|
|
|
|
|
|
223
|
|
|
|
|
|
|
=head2 Validating Indeterminate Graphs |
224
|
|
|
|
|
|
|
|
225
|
|
|
|
|
|
|
It's possible that at a given point in time, a graph may be followed |
226
|
|
|
|
|
|
|
in more than one direction, and the correct direction cannot be |
227
|
|
|
|
|
|
|
determined based on the currently input token. However, few if any |
228
|
|
|
|
|
|
|
XML languages are this indeterminate, so while many schema languages |
229
|
|
|
|
|
|
|
may allow this to be specified, they should (hopefully) not correspond |
230
|
|
|
|
|
|
|
to major standards. |
231
|
|
|
|
|
|
|
|
232
|
|
|
|
|
|
|
=head1 SOURCE, SUBMISSIONS, SUPPORT |
233
|
|
|
|
|
|
|
|
234
|
|
|
|
|
|
|
Source code is available from Catalyst: |
235
|
|
|
|
|
|
|
|
236
|
|
|
|
|
|
|
git://git.catalyst.net.nz/PRANG.git |
237
|
|
|
|
|
|
|
|
238
|
|
|
|
|
|
|
And Github: |
239
|
|
|
|
|
|
|
|
240
|
|
|
|
|
|
|
git://github.com/catalyst/PRANG.git |
241
|
|
|
|
|
|
|
|
242
|
|
|
|
|
|
|
Please see the file F<SubmittingPatches> for information on preferred |
243
|
|
|
|
|
|
|
submission format. |
244
|
|
|
|
|
|
|
|
245
|
|
|
|
|
|
|
Suggested avenues for support: |
246
|
|
|
|
|
|
|
|
247
|
|
|
|
|
|
|
=over |
248
|
|
|
|
|
|
|
|
249
|
|
|
|
|
|
|
=item * |
250
|
|
|
|
|
|
|
|
251
|
|
|
|
|
|
|
Moose user's mailing list - see the L<Moose> perldoc for more |
252
|
|
|
|
|
|
|
information. Please check with the latest release of PRANG - if there |
253
|
|
|
|
|
|
|
is sufficient interest, a separate list may have been created. |
254
|
|
|
|
|
|
|
|
255
|
|
|
|
|
|
|
=item * |
256
|
|
|
|
|
|
|
|
257
|
|
|
|
|
|
|
Contact the author and ask either politely or commercially for help. |
258
|
|
|
|
|
|
|
|
259
|
|
|
|
|
|
|
=item * |
260
|
|
|
|
|
|
|
|
261
|
|
|
|
|
|
|
Log a ticket on L<http://rt.cpan.org/> |
262
|
|
|
|
|
|
|
|
263
|
|
|
|
|
|
|
=back |
264
|
|
|
|
|
|
|
|
265
|
|
|
|
|
|
|
=head1 AUTHOR AND LICENCE |
266
|
|
|
|
|
|
|
|
267
|
|
|
|
|
|
|
Development commissioned by NZ Registry Services, and carried out by |
268
|
|
|
|
|
|
|
Catalyst IT - L<http://www.catalyst.net.nz/> |
269
|
|
|
|
|
|
|
|
270
|
|
|
|
|
|
|
Copyright 2009, 2010, NZ Registry Services. This module is licensed |
271
|
|
|
|
|
|
|
under the Artistic License v2.0, which permits relicensing under other |
272
|
|
|
|
|
|
|
Free Software licenses. |
273
|
|
|
|
|
|
|
|
274
|
|
|
|
|
|
|
=cut |