ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/CBOR-XS/XS.pm
(Generate patch)

Comparing CBOR-XS/XS.pm (file contents):
Revision 1.4 by root, Sat Oct 26 22:25:47 2013 UTC vs.
Revision 1.26 by root, Thu Nov 28 12:11:06 2013 UTC

12 $perl_value = decode_cbor $binary_cbor_data; 12 $perl_value = decode_cbor $binary_cbor_data;
13 13
14 # OO-interface 14 # OO-interface
15 15
16 $coder = CBOR::XS->new; 16 $coder = CBOR::XS->new;
17 #TODO 17 $binary_cbor_data = $coder->encode ($perl_value);
18 $perl_value = $coder->decode ($binary_cbor_data);
19
20 # prefix decoding
21
22 my $many_cbor_strings = ...;
23 while (length $many_cbor_strings) {
24 my ($data, $length) = $cbor->decode_prefix ($many_cbor_strings);
25 # data was decoded
26 substr $many_cbor_strings, 0, $length, ""; # remove decoded cbor string
27 }
18 28
19=head1 DESCRIPTION 29=head1 DESCRIPTION
20 30
21WARNING! THIS IS A PRE-ALPHA RELEASE! IT WILL CRASH, CORRUPT YOUR DATA AND 31WARNING! This module is very new, and not very well tested (that's up
22EAT YOUR CHILDREN! 32to you to do). Furthermore, details of the implementation might change
33freely before version 1.0. And lastly, most extensions depend on an IANA
34assignment, and until that assignment is official, this implementation is
35not interoperable with other implementations (even future versions of this
36module) until the assignment is done.
23 37
24This module converts Perl data structures to CBOR and vice versa. Its 38You are still invited to try out CBOR, and this module.
39
40This module converts Perl data structures to the Concise Binary Object
41Representation (CBOR) and vice versa. CBOR is a fast binary serialisation
42format that aims to use a superset of the JSON data model, i.e. when you
43can represent something in JSON, you should be able to represent it in
44CBOR.
45
46In short, CBOR is a faster and very compact binary alternative to JSON,
47with the added ability of supporting serialisation of Perl objects. (JSON
48often compresses better than CBOR though, so if you plan to compress the
49data later you might want to compare both formats first).
50
51To give you a general idea about speed, with texts in the megabyte range,
52C<CBOR::XS> usually encodes roughly twice as fast as L<Storable> or
53L<JSON::XS> and decodes about 15%-30% faster than those. The shorter the
54data, the worse L<Storable> performs in comparison.
55
56As for compactness, C<CBOR::XS> encoded data structures are usually about
5720% smaller than the same data encoded as (compact) JSON or L<Storable>.
58
59In addition to the core CBOR data format, this module implements a number
60of extensions, to support cyclic and self-referencing data structures
61(see C<allow_sharing>), string deduplication (see C<pack_strings>) and
62scalar references (always enabled).
63
25primary goal is to be I<correct> and its secondary goal is to be 64The primary goal of this module is to be I<correct> and the secondary goal
26I<fast>. To reach the latter goal it was written in C. 65is to be I<fast>. To reach the latter goal it was written in C.
27 66
28See MAPPING, below, on how CBOR::XS maps perl values to CBOR values and 67See MAPPING, below, on how CBOR::XS maps perl values to CBOR values and
29vice versa. 68vice versa.
30 69
31=cut 70=cut
32 71
33package CBOR::XS; 72package CBOR::XS;
34 73
35use common::sense; 74use common::sense;
36 75
37our $VERSION = 0.02; 76our $VERSION = 0.09;
38our @ISA = qw(Exporter); 77our @ISA = qw(Exporter);
39 78
40our @EXPORT = qw(encode_cbor decode_cbor); 79our @EXPORT = qw(encode_cbor decode_cbor);
41 80
42use Exporter; 81use Exporter;
43use XSLoader; 82use XSLoader;
44 83
84use Types::Serialiser;
85
45our $MAGIC = "\xd9\xd9\xf7"; 86our $MAGIC = "\xd9\xd9\xf7";
46 87
47=head1 FUNCTIONAL INTERFACE 88=head1 FUNCTIONAL INTERFACE
48 89
49The following convenience methods are provided by this module. They are 90The following convenience methods are provided by this module. They are
77strings. All boolean flags described below are by default I<disabled>. 118strings. All boolean flags described below are by default I<disabled>.
78 119
79The mutators for flags all return the CBOR object again and thus calls can 120The mutators for flags all return the CBOR object again and thus calls can
80be chained: 121be chained:
81 122
82#TODO
83 my $cbor = CBOR::XS->new->encode ({a => [1,2]}); 123 my $cbor = CBOR::XS->new->encode ({a => [1,2]});
84 124
85=item $cbor = $cbor->max_depth ([$maximum_nesting_depth]) 125=item $cbor = $cbor->max_depth ([$maximum_nesting_depth])
86 126
87=item $max_depth = $cbor->get_max_depth 127=item $max_depth = $cbor->get_max_depth
121If no argument is given, the limit check will be deactivated (same as when 161If no argument is given, the limit check will be deactivated (same as when
122C<0> is specified). 162C<0> is specified).
123 163
124See SECURITY CONSIDERATIONS, below, for more info on why this is useful. 164See SECURITY CONSIDERATIONS, below, for more info on why this is useful.
125 165
166=item $cbor = $cbor->allow_unknown ([$enable])
167
168=item $enabled = $cbor->get_allow_unknown
169
170If C<$enable> is true (or missing), then C<encode> will I<not> throw an
171exception when it encounters values it cannot represent in CBOR (for
172example, filehandles) but instead will encode a CBOR C<error> value.
173
174If C<$enable> is false (the default), then C<encode> will throw an
175exception when it encounters anything it cannot encode as CBOR.
176
177This option does not affect C<decode> in any way, and it is recommended to
178leave it off unless you know your communications partner.
179
180=item $cbor = $cbor->allow_sharing ([$enable])
181
182=item $enabled = $cbor->get_allow_sharing
183
184If C<$enable> is true (or missing), then C<encode> will not double-encode
185values that have been referenced before (e.g. when the same object, such
186as an array, is referenced multiple times), but instead will emit a
187reference to the earlier value.
188
189This means that such values will only be encoded once, and will not result
190in a deep cloning of the value on decode, in decoders supporting the value
191sharing extension. This also makes it possible to encode cyclic data
192structures.
193
194It is recommended to leave it off unless you know your
195communication partner supports the value sharing extensions to CBOR
196(L<http://cbor.schmorp.de/value-sharing>), as without decoder support, the
197resulting data structure might be unusable.
198
199Detecting shared values incurs a runtime overhead when values are encoded
200that have a reference counter large than one, and might unnecessarily
201increase the encoded size, as potentially shared values are encode as
202sharable whether or not they are actually shared.
203
204At the moment, only targets of references can be shared (e.g. scalars,
205arrays or hashes pointed to by a reference). Weirder constructs, such as
206an array with multiple "copies" of the I<same> string, which are hard but
207not impossible to create in Perl, are not supported (this is the same as
208with L<Storable>).
209
210If C<$enable> is false (the default), then C<encode> will encode shared
211data structures repeatedly, unsharing them in the process. Cyclic data
212structures cannot be encoded in this mode.
213
214This option does not affect C<decode> in any way - shared values and
215references will always be decoded properly if present.
216
217=item $cbor = $cbor->pack_strings ([$enable])
218
219=item $enabled = $cbor->get_pack_strings
220
221If C<$enable> is true (or missing), then C<encode> will try not to encode
222the same string twice, but will instead encode a reference to the string
223instead. Depending on your data format, this can save a lot of space, but
224also results in a very large runtime overhead (expect encoding times to be
2252-4 times as high as without).
226
227It is recommended to leave it off unless you know your
228communications partner supports the stringref extension to CBOR
229(L<http://cbor.schmorp.de/stringref>), as without decoder support, the
230resulting data structure might not be usable.
231
232If C<$enable> is false (the default), then C<encode> will encode strings
233the standard CBOR way.
234
235This option does not affect C<decode> in any way - string references will
236always be decoded properly if present.
237
238=item $cbor = $cbor->filter ([$cb->($tag, $value)])
239
240=item $cb_or_undef = $cbor->get_filter
241
242Sets or replaces the tagged value decoding filter (when C<$cb> is
243specified) or clears the filter (if no argument or C<undef> is provided).
244
245The filter callback is called only during decoding, when a non-enforced
246tagged value has been decoded (see L<TAG HANDLING AND EXTENSIONS> for a
247list of enforced tags). For specific tags, it's often better to provide a
248default converter using the C<%CBOR::XS::FILTER> hash (see below).
249
250The first argument is the numerical tag, the second is the (decoded) value
251that has been tagged.
252
253The filter function should return either exactly one value, which will
254replace the tagged value in the decoded data structure, or no values,
255which will result in default handling, which currently means the decoder
256creates a C<CBOR::XS::Tagged> object to hold the tag and the value.
257
258When the filter is cleared (the default state), the default filter
259function, C<CBOR::XS::default_filter>, is used. This function simply looks
260up the tag in the C<%CBOR::XS::FILTER> hash. If an entry exists it must be
261a code reference that is called with tag and value, and is responsible for
262decoding the value. If no entry exists, it returns no values.
263
264Example: decode all tags not handled internally into CBOR::XS::Tagged
265objects, with no other special handling (useful when working with
266potentially "unsafe" CBOR data).
267
268 CBOR::XS->new->filter (sub { })->decode ($cbor_data);
269
270Example: provide a global filter for tag 1347375694, converting the value
271into some string form.
272
273 $CBOR::XS::FILTER{1347375694} = sub {
274 my ($tag, $value);
275
276 "tag 1347375694 value $value"
277 };
278
126=item $cbor_data = $cbor->encode ($perl_scalar) 279=item $cbor_data = $cbor->encode ($perl_scalar)
127 280
128Converts the given Perl data structure (a scalar value) to its CBOR 281Converts the given Perl data structure (a scalar value) to its CBOR
129representation. 282representation.
130 283
186 339
187CBOR arrays and CBOR maps will be converted into references to a Perl 340CBOR arrays and CBOR maps will be converted into references to a Perl
188array or hash, respectively. The keys of the map will be stringified 341array or hash, respectively. The keys of the map will be stringified
189during this process. 342during this process.
190 343
344=item null
345
346CBOR null becomes C<undef> in Perl.
347
191=item true, false 348=item true, false, undefined
192 349
193These CBOR values become C<CBOR::XS::true> and C<CBOR::XS::false>, 350These CBOR values become C<Types:Serialiser::true>,
351C<Types:Serialiser::false> and C<Types::Serialiser::error>,
194respectively. They are overloaded to act almost exactly like the numbers 352respectively. They are overloaded to act almost exactly like the numbers
195C<1> and C<0>. You can check whether a scalar is a CBOR boolean by using 353C<1> and C<0> (for true and false) or to throw an exception on access (for
196the C<CBOR::XS::is_bool> function. 354error). See the L<Types::Serialiser> manpage for details.
197 355
198=item null, undefined 356=item tagged values
199 357
200CBOR null and undefined values becomes C<undef> in Perl (in the future,
201Undefined may raise an exception or something else).
202
203=item tags
204
205Tagged items consists of a numeric tag and another CBOR value. The tag 358Tagged items consists of a numeric tag and another CBOR value.
20655799 is ignored (this tag implements the magic header).
207 359
208All other tags are currently converted into a L<CBOR::XS::Tagged> object, 360See L<TAG HANDLING AND EXTENSIONS> and the description of C<< ->filter >>
209which is simply a blessed array reference consistsing of the numeric tag 361for details.
210value followed by the (decoded) BOR value.
211 362
212=item anything else 363=item anything else
213 364
214Anything else (e.g. unsupported simple values) will raise a decoding 365Anything else (e.g. unsupported simple values) will raise a decoding
215error. 366error.
245C<1>, which get turned into false and true in CBOR. 396C<1>, which get turned into false and true in CBOR.
246 397
247=item CBOR::XS::Tagged objects 398=item CBOR::XS::Tagged objects
248 399
249Objects of this type must be arrays consisting of a single C<[tag, value]> 400Objects of this type must be arrays consisting of a single C<[tag, value]>
250pair. The (numerical) tag will be encoded as a CBOR tag, the value will be 401pair. The (numerical) tag will be encoded as a CBOR tag, the value will
251encoded as appropriate for the value. 402be encoded as appropriate for the value. You cna use C<CBOR::XS::tag> to
403create such objects.
252 404
253=item CBOR::XS::true, CBOR::XS::false 405=item Types::Serialiser::true, Types::Serialiser::false, Types::Serialiser::error
254 406
255These special values become CBOR true and CBOR false values, 407These special values become CBOR true, CBOR false and CBOR undefined
256respectively. You can also use C<\1> and C<\0> directly if you want. 408values, respectively. You can also use C<\1>, C<\0> and C<\undef> directly
409if you want.
257 410
258=item blessed objects 411=item other blessed objects
259 412
260Other blessed objects currently need to have a C<TO_CBOR> method. It 413Other blessed objects are serialised via C<TO_CBOR> or C<FREEZE>. See
261will be called on every object that is being serialised, and must return 414L<TAG HANDLING AND EXTENSIONS> for specific classes handled by this
262something that can be encoded in CBOR. 415module, and L<OBJECT SERIALISATION> for generic object serialisation.
263 416
264=item simple scalars 417=item simple scalars
265 418
266TODO
267Simple Perl scalars (any scalar that is not a reference) are the most 419Simple Perl scalars (any scalar that is not a reference) are the most
268difficult objects to encode: CBOR::XS will encode undefined scalars as 420difficult objects to encode: CBOR::XS will encode undefined scalars as
269CBOR null values, scalars that have last been used in a string context 421CBOR null values, scalars that have last been used in a string context
270before encoding as CBOR strings, and anything else as number value: 422before encoding as CBOR strings, and anything else as number value:
271 423
305represent numerical values are supported, but might suffer loss of 457represent numerical values are supported, but might suffer loss of
306precision. 458precision.
307 459
308=back 460=back
309 461
462=head2 OBJECT SERIALISATION
310 463
464This module knows two way to serialise a Perl object: The CBOR-specific
465way, and the generic way.
466
467Whenever the encoder encounters a Perl object that it cnanot serialise
468directly (most of them), it will first look up the C<TO_CBOR> method on
469it.
470
471If it has a C<TO_CBOR> method, it will call it with the object as only
472argument, and expects exactly one return value, which it will then
473substitute and encode it in the place of the object.
474
475Otherwise, it will look up the C<FREEZE> method. If it exists, it will
476call it with the object as first argument, and the constant string C<CBOR>
477as the second argument, to distinguish it from other serialisers.
478
479The C<FREEZE> method can return any number of values (i.e. zero or
480more). These will be encoded as CBOR perl object, together with the
481classname.
482
483If an object supports neither C<TO_CBOR> nor C<FREEZE>, encoding will fail
484with an error.
485
486Objects encoded via C<TO_CBOR> cannot be automatically decoded, but
487objects encoded via C<FREEZE> can be decoded using the following protocol:
488
489When an encoded CBOR perl object is encountered by the decoder, it will
490look up the C<THAW> method, by using the stored classname, and will fail
491if the method cannot be found.
492
493After the lookup it will call the C<THAW> method with the stored classname
494as first argument, the constant string C<CBOR> as second argument, and all
495values returned by C<FREEZE> as remaining arguments.
496
497=head4 EXAMPLES
498
499Here is an example C<TO_CBOR> method:
500
501 sub My::Object::TO_CBOR {
502 my ($obj) = @_;
503
504 ["this is a serialised My::Object object", $obj->{id}]
505 }
506
507When a C<My::Object> is encoded to CBOR, it will instead encode a simple
508array with two members: a string, and the "object id". Decoding this CBOR
509string will yield a normal perl array reference in place of the object.
510
511A more useful and practical example would be a serialisation method for
512the URI module. CBOR has a custom tag value for URIs, namely 32:
513
514 sub URI::TO_CBOR {
515 my ($self) = @_;
516 my $uri = "$self"; # stringify uri
517 utf8::upgrade $uri; # make sure it will be encoded as UTF-8 string
518 CBOR::XS::tagged 32, "$_[0]"
519 }
520
521This will encode URIs as a UTF-8 string with tag 32, which indicates an
522URI.
523
524Decoding such an URI will not (currently) give you an URI object, but
525instead a CBOR::XS::Tagged object with tag number 32 and the string -
526exactly what was returned by C<TO_CBOR>.
527
528To serialise an object so it can automatically be deserialised, you need
529to use C<FREEZE> and C<THAW>. To take the URI module as example, this
530would be a possible implementation:
531
532 sub URI::FREEZE {
533 my ($self, $serialiser) = @_;
534 "$self" # encode url string
535 }
536
537 sub URI::THAW {
538 my ($class, $serialiser, $uri) = @_;
539
540 $class->new ($uri)
541 }
542
543Unlike C<TO_CBOR>, multiple values can be returned by C<FREEZE>. For
544example, a C<FREEZE> method that returns "type", "id" and "variant" values
545would cause an invocation of C<THAW> with 5 arguments:
546
547 sub My::Object::FREEZE {
548 my ($self, $serialiser) = @_;
549
550 ($self->{type}, $self->{id}, $self->{variant})
551 }
552
553 sub My::Object::THAW {
554 my ($class, $serialiser, $type, $id, $variant) = @_;
555
556 $class-<new (type => $type, id => $id, variant => $variant)
557 }
558
559
311=head2 MAGIC HEADER 560=head1 MAGIC HEADER
312 561
313There is no way to distinguish CBOR from other formats 562There is no way to distinguish CBOR from other formats
314programmatically. To make it easier to distinguish CBOR from other 563programmatically. To make it easier to distinguish CBOR from other
315formats, the CBOR specification has a special "magic string" that can be 564formats, the CBOR specification has a special "magic string" that can be
316prepended to any CBOR string without changing it's meaning. 565prepended to any CBOR string without changing its meaning.
317 566
318This string is available as C<$CBOR::XS::MAGIC>. This module does not 567This string is available as C<$CBOR::XS::MAGIC>. This module does not
319prepend this string tot he CBOR data it generates, but it will ignroe it 568prepend this string to the CBOR data it generates, but it will ignore it
320if present, so users can prepend this string as a "file type" indicator as 569if present, so users can prepend this string as a "file type" indicator as
321required. 570required.
322 571
323 572
573=head1 THE CBOR::XS::Tagged CLASS
574
575CBOR has the concept of tagged values - any CBOR value can be tagged with
576a numeric 64 bit number, which are centrally administered.
577
578C<CBOR::XS> handles a few tags internally when en- or decoding. You can
579also create tags yourself by encoding C<CBOR::XS::Tagged> objects, and the
580decoder will create C<CBOR::XS::Tagged> objects itself when it hits an
581unknown tag.
582
583These objects are simply blessed array references - the first member of
584the array being the numerical tag, the second being the value.
585
586You can interact with C<CBOR::XS::Tagged> objects in the following ways:
587
588=over 4
589
590=item $tagged = CBOR::XS::tag $tag, $value
591
592This function(!) creates a new C<CBOR::XS::Tagged> object using the given
593C<$tag> (0..2**64-1) to tag the given C<$value> (which can be any Perl
594value that can be encoded in CBOR, including serialisable Perl objects and
595C<CBOR::XS::Tagged> objects).
596
597=item $tagged->[0]
598
599=item $tagged->[0] = $new_tag
600
601=item $tag = $tagged->tag
602
603=item $new_tag = $tagged->tag ($new_tag)
604
605Access/mutate the tag.
606
607=item $tagged->[1]
608
609=item $tagged->[1] = $new_value
610
611=item $value = $tagged->value
612
613=item $new_value = $tagged->value ($new_value)
614
615Access/mutate the tagged value.
616
617=back
618
619=cut
620
621sub tag($$) {
622 bless [@_], CBOR::XS::Tagged::;
623}
624
625sub CBOR::XS::Tagged::tag {
626 $_[0][0] = $_[1] if $#_;
627 $_[0][0]
628}
629
630sub CBOR::XS::Tagged::value {
631 $_[0][1] = $_[1] if $#_;
632 $_[0][1]
633}
634
635=head2 EXAMPLES
636
637Here are some examples of C<CBOR::XS::Tagged> uses to tag objects.
638
639You can look up CBOR tag value and emanings in the IANA registry at
640L<http://www.iana.org/assignments/cbor-tags/cbor-tags.xhtml>.
641
642Prepend a magic header (C<$CBOR::XS::MAGIC>):
643
644 my $cbor = encode_cbor CBOR::XS::tag 55799, $value;
645 # same as:
646 my $cbor = $CBOR::XS::MAGIC . encode_cbor $value;
647
648Serialise some URIs and a regex in an array:
649
650 my $cbor = encode_cbor [
651 (CBOR::XS::tag 32, "http://www.nethype.de/"),
652 (CBOR::XS::tag 32, "http://software.schmorp.de/"),
653 (CBOR::XS::tag 35, "^[Pp][Ee][Rr][lL]\$"),
654 ];
655
656Wrap CBOR data in CBOR:
657
658 my $cbor_cbor = encode_cbor
659 CBOR::XS::tag 24,
660 encode_cbor [1, 2, 3];
661
662=head1 TAG HANDLING AND EXTENSIONS
663
664This section describes how this module handles specific tagged values
665and extensions. If a tag is not mentioned here and no additional filters
666are provided for it, then the default handling applies (creating a
667CBOR::XS::Tagged object on decoding, and only encoding the tag when
668explicitly requested).
669
670Tags not handled specifically are currently converted into a
671L<CBOR::XS::Tagged> object, which is simply a blessed array reference
672consisting of the numeric tag value followed by the (decoded) CBOR value.
673
674Future versions of this module reserve the right to special case
675additional tags (such as base64url).
676
677=head2 ENFORCED TAGS
678
679These tags are always handled when decoding, and their handling cannot be
680overriden by the user.
681
682=over 4
683
684=item 26 (perl-object, L<http://cbor.schmorp.de/perl-object>)
685
686These tags are automatically created (and decoded) for serialisable
687objects using the C<FREEZE/THAW> methods (the L<Types::Serialier> object
688serialisation protocol). See L<OBJECT SERIALISATION> for details.
689
690=item 28, 29 (sharable, sharedref, L <http://cbor.schmorp.de/value-sharing>)
691
692These tags are automatically decoded when encountered, resulting in
693shared values in the decoded object. They are only encoded, however, when
694C<allow_sharable> is enabled.
695
696=item 256, 25 (stringref-namespace, stringref, L <http://cbor.schmorp.de/stringref>)
697
698These tags are automatically decoded when encountered. They are only
699encoded, however, when C<pack_strings> is enabled.
700
701=item 22098 (indirection, L<http://cbor.schmorp.de/indirection>)
702
703This tag is automatically generated when a reference are encountered (with
704the exception of hash and array refernces). It is converted to a reference
705when decoding.
706
707=item 55799 (self-describe CBOR, RFC 7049)
708
709This value is not generated on encoding (unless explicitly requested by
710the user), and is simply ignored when decoding.
711
712=back
713
714=head2 NON-ENFORCED TAGS
715
716These tags have default filters provided when decoding. Their handling can
717be overriden by changing the C<%CBOR::XS::FILTER> entry for the tag, or by
718providing a custom C<filter> callback when decoding.
719
720When they result in decoding into a specific Perl class, the module
721usually provides a corresponding C<TO_CBOR> method as well.
722
723When any of these need to load additional modules that are not part of the
724perl core distribution (e.g. L<URI>), it is (currently) up to the user to
725provide these modules. The decoding usually fails with an exception if the
726required module cannot be loaded.
727
728=over 4
729
730=item 2, 3 (positive/negative bignum)
731
732These tags are decoded into L<Math::BigInt> objects. The corresponding
733C<Math::BigInt::TO_CBOR> method encodes "small" bigints into normal CBOR
734integers, and others into positive/negative CBOR bignums.
735
736=item 4, 5 (decimal fraction/bigfloat)
737
738Both decimal fractions and bigfloats are decoded into L<Math::BigFloat>
739objects. The corresponding C<Math::BigFloat::TO_CBOR> method I<always>
740encodes into a decimal fraction.
741
742CBOR cannot represent bigfloats with I<very> large exponents - conversion
743of such big float objects is undefined.
744
745Also, NaN and infinities are not encoded properly.
746
747=item 21, 22, 23 (expected later JSON conversion)
748
749CBOR::XS is not a CBOR-to-JSON converter, and will simply ignore these
750tags.
751
752=item 32 (URI)
753
754These objects decode into L<URI> objects. The corresponding
755C<URI::TO_CBOR> method again results in a CBOR URI value.
756
757=back
758
759=cut
760
761our %FILTER = (
762 # 0 # rfc4287 datetime, utf-8
763 # 1 # unix timestamp, any
764
765 2 => sub { # pos bigint
766 require Math::BigInt;
767 Math::BigInt->new ("0x" . unpack "H*", pop)
768 },
769
770 3 => sub { # neg bigint
771 require Math::BigInt;
772 -Math::BigInt->new ("0x" . unpack "H*", pop)
773 },
774
775 4 => sub { # decimal fraction, array
776 require Math::BigFloat;
777 Math::BigFloat->new ($_[1][1] . "E" . $_[1][0])
778 },
779
780 5 => sub { # bigfloat, array
781 require Math::BigFloat;
782 scalar Math::BigFloat->new ($_[1][1])->blsft ($_[1][0], 2)
783 },
784
785 21 => sub { pop }, # expected conversion to base64url encoding
786 22 => sub { pop }, # expected conversion to base64 encoding
787 23 => sub { pop }, # expected conversion to base16 encoding
788
789 # 24 # embedded cbor, byte string
790
791 32 => sub {
792 require URI;
793 URI->new (pop)
794 },
795
796 # 33 # base64url rfc4648, utf-8
797 # 34 # base64 rfc46484, utf-8
798 # 35 # regex pcre/ecma262, utf-8
799 # 36 # mime message rfc2045, utf-8
800);
801
802
324=head2 CBOR and JSON 803=head1 CBOR and JSON
325 804
326CBOR is supposed to implement a superset of the JSON data model, and is, 805CBOR is supposed to implement a superset of the JSON data model, and is,
327with some coercion, able to represent all JSON texts (something that other 806with some coercion, able to represent all JSON texts (something that other
328"binary JSON" formats such as BSON generally do not support). 807"binary JSON" formats such as BSON generally do not support).
329 808
409Please refrain from using rt.cpan.org or any other bug reporting 888Please refrain from using rt.cpan.org or any other bug reporting
410service. I put the contact address into my modules for a reason. 889service. I put the contact address into my modules for a reason.
411 890
412=cut 891=cut
413 892
414our $true = do { bless \(my $dummy = 1), "CBOR::XS::Boolean" }; 893our %FILTER = (
415our $false = do { bless \(my $dummy = 0), "CBOR::XS::Boolean" }; 894 # 0 # rfc4287 datetime, utf-8
895 # 1 # unix timestamp, any
416 896
417sub true() { $true } 897 2 => sub { # pos bigint
418sub false() { $false } 898 require Math::BigInt;
899 Math::BigInt->new ("0x" . unpack "H*", pop)
900 },
419 901
420sub is_bool($) { 902 3 => sub { # neg bigint
421 UNIVERSAL::isa $_[0], "CBOR::XS::Boolean" 903 require Math::BigInt;
422# or UNIVERSAL::isa $_[0], "CBOR::Literal" 904 -Math::BigInt->new ("0x" . unpack "H*", pop)
905 },
906
907 4 => sub { # decimal fraction, array
908 require Math::BigFloat;
909 Math::BigFloat->new ($_[1][1] . "E" . $_[1][0])
910 },
911
912 5 => sub { # bigfloat, array
913 require Math::BigFloat;
914 scalar Math::BigFloat->new ($_[1][1])->blsft ($_[1][0], 2)
915 },
916
917 21 => sub { pop }, # expected conversion to base64url encoding
918 22 => sub { pop }, # expected conversion to base64 encoding
919 23 => sub { pop }, # expected conversion to base16 encoding
920
921 # 24 # embedded cbor, byte string
922
923 32 => sub {
924 require URI;
925 URI->new (pop)
926 },
927
928 # 33 # base64url rfc4648, utf-8
929 # 34 # base64 rfc46484, utf-8
930 # 35 # regex pcre/ecma262, utf-8
931 # 36 # mime message rfc2045, utf-8
932);
933
934sub CBOR::XS::default_filter {
935 &{ $FILTER{$_[0]} or return }
423} 936}
424 937
938sub URI::TO_CBOR {
939 my $uri = $_[0]->as_string;
940 utf8::upgrade $uri;
941 CBOR::XS::tag 32, $uri
942}
943
944sub Math::BigInt::TO_CBOR {
945 if ($_[0] >= -2147483648 && $_[0] <= 2147483647) {
946 $_[0]->numify
947 } else {
948 my $hex = substr $_[0]->as_hex, 2;
949 $hex = "0$hex" if 1 & length $hex; # sigh
950 CBOR::XS::tag $_[0] >= 0 ? 2 : 3, pack "H*", $hex
951 }
952}
953
954sub Math::BigFloat::TO_CBOR {
955 my ($m, $e) = $_[0]->parts;
956 CBOR::XS::tag 4, [$e->numify, $m]
957}
958
425XSLoader::load "CBOR::XS", $VERSION; 959XSLoader::load "CBOR::XS", $VERSION;
426
427package CBOR::XS::Boolean;
428
429use overload
430 "0+" => sub { ${$_[0]} },
431 "++" => sub { $_[0] = ${$_[0]} + 1 },
432 "--" => sub { $_[0] = ${$_[0]} - 1 },
433 fallback => 1;
434
4351;
436 960
437=head1 SEE ALSO 961=head1 SEE ALSO
438 962
439The L<JSON> and L<JSON::XS> modules that do similar, but human-readable, 963The L<JSON> and L<JSON::XS> modules that do similar, but human-readable,
440serialisation. 964serialisation.
441 965
966The L<Types::Serialiser> module provides the data model for true, false
967and error values.
968
442=head1 AUTHOR 969=head1 AUTHOR
443 970
444 Marc Lehmann <schmorp@schmorp.de> 971 Marc Lehmann <schmorp@schmorp.de>
445 http://home.schmorp.de/ 972 http://home.schmorp.de/
446 973
447=cut 974=cut
448 975
9761
977

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines