2013-03-01 21:57:05 -06:00
|
|
|
// Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
|
2012-12-03 18:48:01 -06:00
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
2011-05-12 10:24:54 -05:00
|
|
|
// Simple Extensible Binary Markup Language (ebml) reader and writer on a
|
2011-03-22 15:59:17 -05:00
|
|
|
// cursor model. See the specification here:
|
|
|
|
// http://www.matroska.org/technical/specs/rfc/index.html
|
|
|
|
|
2012-11-24 15:38:23 -06:00
|
|
|
// Common data structures
|
2012-10-07 18:33:20 -05:00
|
|
|
struct EbmlTag {
|
|
|
|
id: uint,
|
|
|
|
size: uint,
|
|
|
|
}
|
2011-06-15 13:19:50 -05:00
|
|
|
|
2012-10-07 18:33:20 -05:00
|
|
|
struct EbmlState {
|
|
|
|
ebml_tag: EbmlTag,
|
|
|
|
tag_pos: uint,
|
|
|
|
data_pos: uint,
|
|
|
|
}
|
2011-03-22 15:59:17 -05:00
|
|
|
|
2013-01-08 21:37:25 -06:00
|
|
|
pub struct Doc {
|
2012-10-07 18:33:20 -05:00
|
|
|
data: @~[u8],
|
|
|
|
start: uint,
|
|
|
|
end: uint,
|
|
|
|
}
|
2011-07-27 07:19:39 -05:00
|
|
|
|
2013-01-08 21:37:25 -06:00
|
|
|
pub struct TaggedDoc {
|
2012-10-07 18:33:20 -05:00
|
|
|
tag: uint,
|
|
|
|
doc: Doc,
|
|
|
|
}
|
2012-02-10 18:38:33 -06:00
|
|
|
|
2013-01-08 21:37:25 -06:00
|
|
|
pub enum EbmlEncoderTag {
|
2013-05-01 19:54:54 -05:00
|
|
|
EsUint, // 0
|
|
|
|
EsU64, // 1
|
|
|
|
EsU32, // 2
|
|
|
|
EsU16, // 3
|
|
|
|
EsU8, // 4
|
|
|
|
EsInt, // 5
|
|
|
|
EsI64, // 6
|
|
|
|
EsI32, // 7
|
|
|
|
EsI16, // 8
|
|
|
|
EsI8, // 9
|
|
|
|
EsBool, // 10
|
|
|
|
EsStr, // 11
|
|
|
|
EsF64, // 12
|
|
|
|
EsF32, // 13
|
|
|
|
EsFloat, // 14
|
|
|
|
EsEnum, // 15
|
|
|
|
EsEnumVid, // 16
|
|
|
|
EsEnumBody, // 17
|
|
|
|
EsVec, // 18
|
|
|
|
EsVecLen, // 19
|
|
|
|
EsVecElt, // 20
|
2012-07-27 21:32:42 -05:00
|
|
|
|
2012-11-24 15:38:23 -06:00
|
|
|
EsOpaque,
|
2011-03-22 15:59:17 -05:00
|
|
|
|
2012-11-24 15:38:23 -06:00
|
|
|
EsLabel // Used only when debugging
|
2011-04-06 19:53:25 -05:00
|
|
|
}
|
2012-11-24 15:38:23 -06:00
|
|
|
// --------------------------------------
|
|
|
|
|
2012-12-06 18:13:54 -06:00
|
|
|
pub mod reader {
|
2013-01-08 21:37:25 -06:00
|
|
|
use ebml::{Doc, EbmlEncoderTag, EsBool, EsEnum, EsEnumBody, EsEnumVid};
|
2013-03-26 15:38:07 -05:00
|
|
|
use ebml::{EsI16, EsI32, EsI64, EsI8, EsInt};
|
2013-01-08 21:37:25 -06:00
|
|
|
use ebml::{EsLabel, EsOpaque, EsStr, EsU16, EsU32, EsU64, EsU8, EsUint};
|
|
|
|
use ebml::{EsVec, EsVecElt, EsVecLen, TaggedDoc};
|
2012-12-23 16:41:37 -06:00
|
|
|
use serialize;
|
|
|
|
|
2013-04-03 13:50:43 -05:00
|
|
|
use core::cast::transmute;
|
2012-12-23 16:41:37 -06:00
|
|
|
use core::int;
|
|
|
|
use core::io;
|
2013-04-03 13:50:43 -05:00
|
|
|
use core::ptr::offset;
|
2012-12-23 16:41:37 -06:00
|
|
|
use core::str;
|
2013-04-03 13:50:43 -05:00
|
|
|
use core::unstable::intrinsics::bswap32;
|
2012-12-23 16:41:37 -06:00
|
|
|
use core::vec;
|
2012-11-24 15:38:23 -06:00
|
|
|
|
|
|
|
// ebml reading
|
2011-03-22 15:59:17 -05:00
|
|
|
|
2013-03-26 14:04:30 -05:00
|
|
|
pub impl Doc {
|
|
|
|
fn get(&self, tag: uint) -> Doc {
|
|
|
|
get_doc(*self, tag)
|
2012-11-28 15:51:50 -06:00
|
|
|
}
|
|
|
|
}
|
2011-03-22 15:59:17 -05:00
|
|
|
|
2013-02-04 18:48:52 -06:00
|
|
|
struct Res {
|
|
|
|
val: uint,
|
|
|
|
next: uint
|
|
|
|
}
|
|
|
|
|
2013-04-03 13:50:43 -05:00
|
|
|
#[inline(never)]
|
|
|
|
fn vuint_at_slow(data: &[u8], start: uint) -> Res {
|
2012-11-24 15:38:23 -06:00
|
|
|
let a = data[start];
|
|
|
|
if a & 0x80u8 != 0u8 {
|
2013-02-04 18:48:52 -06:00
|
|
|
return Res {val: (a & 0x7fu8) as uint, next: start + 1u};
|
2012-11-24 15:38:23 -06:00
|
|
|
}
|
|
|
|
if a & 0x40u8 != 0u8 {
|
2013-02-04 18:48:52 -06:00
|
|
|
return Res {val: ((a & 0x3fu8) as uint) << 8u |
|
2012-11-24 15:38:23 -06:00
|
|
|
(data[start + 1u] as uint),
|
|
|
|
next: start + 2u};
|
2013-04-03 13:50:43 -05:00
|
|
|
}
|
|
|
|
if a & 0x20u8 != 0u8 {
|
2013-02-04 18:48:52 -06:00
|
|
|
return Res {val: ((a & 0x1fu8) as uint) << 16u |
|
2012-11-24 15:38:23 -06:00
|
|
|
(data[start + 1u] as uint) << 8u |
|
|
|
|
(data[start + 2u] as uint),
|
|
|
|
next: start + 3u};
|
2013-04-03 13:50:43 -05:00
|
|
|
}
|
|
|
|
if a & 0x10u8 != 0u8 {
|
2013-02-04 18:48:52 -06:00
|
|
|
return Res {val: ((a & 0x0fu8) as uint) << 24u |
|
2012-11-24 15:38:23 -06:00
|
|
|
(data[start + 1u] as uint) << 16u |
|
|
|
|
(data[start + 2u] as uint) << 8u |
|
|
|
|
(data[start + 3u] as uint),
|
|
|
|
next: start + 4u};
|
2013-04-03 13:50:43 -05:00
|
|
|
}
|
|
|
|
fail!(~"vint too big");
|
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(target_arch = "x86")]
|
|
|
|
#[cfg(target_arch = "x86_64")]
|
|
|
|
pub fn vuint_at(data: &[u8], start: uint) -> Res {
|
|
|
|
if data.len() - start < 4 {
|
|
|
|
return vuint_at_slow(data, start);
|
|
|
|
}
|
|
|
|
|
|
|
|
unsafe {
|
|
|
|
let (ptr, _): (*u8, uint) = transmute(data);
|
|
|
|
let ptr = offset(ptr, start);
|
|
|
|
let ptr: *i32 = transmute(ptr);
|
|
|
|
let val = bswap32(*ptr);
|
|
|
|
let val: u32 = transmute(val);
|
|
|
|
if (val & 0x80000000) != 0 {
|
|
|
|
Res {
|
|
|
|
val: ((val >> 24) & 0x7f) as uint,
|
|
|
|
next: start + 1
|
|
|
|
}
|
|
|
|
} else if (val & 0x40000000) != 0 {
|
|
|
|
Res {
|
|
|
|
val: ((val >> 16) & 0x3fff) as uint,
|
|
|
|
next: start + 2
|
|
|
|
}
|
|
|
|
} else if (val & 0x20000000) != 0 {
|
|
|
|
Res {
|
|
|
|
val: ((val >> 8) & 0x1fffff) as uint,
|
|
|
|
next: start + 3
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
Res {
|
|
|
|
val: (val & 0x0fffffff) as uint,
|
|
|
|
next: start + 4
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(target_arch = "arm")]
|
|
|
|
pub fn vuint_at(data: &[u8], start: uint) -> Res {
|
|
|
|
vuint_at_slow(data, start)
|
2012-11-24 15:38:23 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn Doc(data: @~[u8]) -> Doc {
|
|
|
|
Doc { data: data, start: 0u, end: vec::len::<u8>(*data) }
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn doc_at(data: @~[u8], start: uint) -> TaggedDoc {
|
|
|
|
let elt_tag = vuint_at(*data, start);
|
|
|
|
let elt_size = vuint_at(*data, elt_tag.next);
|
|
|
|
let end = elt_size.next + elt_size.val;
|
|
|
|
TaggedDoc {
|
|
|
|
tag: elt_tag.val,
|
|
|
|
doc: Doc { data: data, start: elt_size.next, end: end }
|
2011-03-25 19:53:46 -05:00
|
|
|
}
|
2011-03-22 15:59:17 -05:00
|
|
|
}
|
|
|
|
|
2012-11-24 15:38:23 -06:00
|
|
|
pub fn maybe_get_doc(d: Doc, tg: uint) -> Option<Doc> {
|
|
|
|
let mut pos = d.start;
|
|
|
|
while pos < d.end {
|
|
|
|
let elt_tag = vuint_at(*d.data, pos);
|
|
|
|
let elt_size = vuint_at(*d.data, elt_tag.next);
|
|
|
|
pos = elt_size.next + elt_size.val;
|
|
|
|
if elt_tag.val == tg {
|
2012-11-24 15:59:21 -06:00
|
|
|
return Some(Doc { data: d.data, start: elt_size.next,
|
|
|
|
end: pos });
|
2012-11-24 15:38:23 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
None
|
2011-04-06 19:53:25 -05:00
|
|
|
}
|
2011-03-22 15:59:17 -05:00
|
|
|
|
2012-11-24 15:38:23 -06:00
|
|
|
pub fn get_doc(d: Doc, tg: uint) -> Doc {
|
|
|
|
match maybe_get_doc(d, tg) {
|
|
|
|
Some(d) => d,
|
|
|
|
None => {
|
|
|
|
error!("failed to find block with tag %u", tg);
|
2013-02-11 21:26:38 -06:00
|
|
|
fail!();
|
2012-11-24 15:38:23 -06:00
|
|
|
}
|
2012-07-26 15:43:27 -05:00
|
|
|
}
|
2011-03-31 16:37:09 -05:00
|
|
|
}
|
|
|
|
|
2013-03-07 16:38:38 -06:00
|
|
|
pub fn docs(d: Doc, it: &fn(uint, Doc) -> bool) {
|
2012-11-24 15:38:23 -06:00
|
|
|
let mut pos = d.start;
|
|
|
|
while pos < d.end {
|
|
|
|
let elt_tag = vuint_at(*d.data, pos);
|
|
|
|
let elt_size = vuint_at(*d.data, elt_tag.next);
|
|
|
|
pos = elt_size.next + elt_size.val;
|
2012-10-07 18:33:20 -05:00
|
|
|
let doc = Doc { data: d.data, start: elt_size.next, end: pos };
|
2012-11-24 15:38:23 -06:00
|
|
|
if !it(elt_tag.val, doc) {
|
2012-07-26 15:43:27 -05:00
|
|
|
break;
|
|
|
|
}
|
2011-04-06 19:53:25 -05:00
|
|
|
}
|
|
|
|
}
|
2011-03-22 15:59:17 -05:00
|
|
|
|
2013-03-07 16:38:38 -06:00
|
|
|
pub fn tagged_docs(d: Doc, tg: uint, it: &fn(Doc) -> bool) {
|
2012-11-24 15:38:23 -06:00
|
|
|
let mut pos = d.start;
|
|
|
|
while pos < d.end {
|
|
|
|
let elt_tag = vuint_at(*d.data, pos);
|
|
|
|
let elt_size = vuint_at(*d.data, elt_tag.next);
|
|
|
|
pos = elt_size.next + elt_size.val;
|
|
|
|
if elt_tag.val == tg {
|
2012-11-24 15:59:21 -06:00
|
|
|
let doc = Doc { data: d.data, start: elt_size.next,
|
|
|
|
end: pos };
|
2012-11-24 15:38:23 -06:00
|
|
|
if !it(doc) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2012-02-14 17:21:53 -06:00
|
|
|
|
2013-02-08 13:28:20 -06:00
|
|
|
pub fn doc_data(d: Doc) -> ~[u8] {
|
|
|
|
vec::slice::<u8>(*d.data, d.start, d.end).to_vec()
|
|
|
|
}
|
|
|
|
|
2013-03-07 16:38:38 -06:00
|
|
|
pub fn with_doc_data<T>(d: Doc, f: &fn(x: &[u8]) -> T) -> T {
|
2013-02-08 13:28:20 -06:00
|
|
|
f(vec::slice(*d.data, d.start, d.end))
|
2012-11-24 15:38:23 -06:00
|
|
|
}
|
2011-03-22 19:28:35 -05:00
|
|
|
|
2012-11-24 15:38:23 -06:00
|
|
|
pub fn doc_as_str(d: Doc) -> ~str { str::from_bytes(doc_data(d)) }
|
2011-03-22 19:28:35 -05:00
|
|
|
|
2012-11-24 15:38:23 -06:00
|
|
|
pub fn doc_as_u8(d: Doc) -> u8 {
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(d.end == d.start + 1u);
|
2012-11-24 15:38:23 -06:00
|
|
|
(*d.data)[d.start]
|
|
|
|
}
|
2011-03-22 19:28:35 -05:00
|
|
|
|
2012-11-24 15:38:23 -06:00
|
|
|
pub fn doc_as_u16(d: Doc) -> u16 {
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(d.end == d.start + 2u);
|
2012-11-24 15:38:23 -06:00
|
|
|
io::u64_from_be_bytes(*d.data, d.start, 2u) as u16
|
|
|
|
}
|
2012-02-12 21:02:08 -06:00
|
|
|
|
2012-11-24 15:38:23 -06:00
|
|
|
pub fn doc_as_u32(d: Doc) -> u32 {
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(d.end == d.start + 4u);
|
2012-11-24 15:38:23 -06:00
|
|
|
io::u64_from_be_bytes(*d.data, d.start, 4u) as u32
|
|
|
|
}
|
2011-06-15 13:19:50 -05:00
|
|
|
|
2012-11-24 15:38:23 -06:00
|
|
|
pub fn doc_as_u64(d: Doc) -> u64 {
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(d.end == d.start + 8u);
|
2012-11-24 15:38:23 -06:00
|
|
|
io::u64_from_be_bytes(*d.data, d.start, 8u)
|
2012-02-14 17:21:53 -06:00
|
|
|
}
|
2011-03-22 19:28:35 -05:00
|
|
|
|
2012-11-24 15:38:23 -06:00
|
|
|
pub fn doc_as_i8(d: Doc) -> i8 { doc_as_u8(d) as i8 }
|
|
|
|
pub fn doc_as_i16(d: Doc) -> i16 { doc_as_u16(d) as i16 }
|
|
|
|
pub fn doc_as_i32(d: Doc) -> i32 { doc_as_u32(d) as i32 }
|
|
|
|
pub fn doc_as_i64(d: Doc) -> i64 { doc_as_u64(d) as i64 }
|
2012-02-12 21:02:08 -06:00
|
|
|
|
2013-05-01 19:54:54 -05:00
|
|
|
pub struct Decoder {
|
|
|
|
priv parent: Doc,
|
|
|
|
priv pos: uint,
|
|
|
|
}
|
|
|
|
|
2012-12-17 21:31:04 -06:00
|
|
|
pub fn Decoder(d: Doc) -> Decoder {
|
2013-05-01 19:54:54 -05:00
|
|
|
Decoder {
|
|
|
|
parent: d,
|
|
|
|
pos: d.start
|
|
|
|
}
|
2012-02-14 17:21:53 -06:00
|
|
|
}
|
|
|
|
|
2012-12-17 21:31:04 -06:00
|
|
|
priv impl Decoder {
|
2013-05-01 19:54:54 -05:00
|
|
|
fn _check_label(&mut self, lbl: &str) {
|
|
|
|
if self.pos < self.parent.end {
|
|
|
|
let TaggedDoc { tag: r_tag, doc: r_doc } =
|
|
|
|
doc_at(self.parent.data, self.pos);
|
|
|
|
|
|
|
|
if r_tag == (EsLabel as uint) {
|
|
|
|
self.pos = r_doc.end;
|
|
|
|
let str = doc_as_str(r_doc);
|
|
|
|
if lbl != str {
|
|
|
|
fail!(fmt!("Expected label %s but found %s",
|
|
|
|
lbl,
|
|
|
|
str));
|
2012-11-24 15:38:23 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2012-04-25 19:18:06 -05:00
|
|
|
}
|
2012-02-14 17:21:53 -06:00
|
|
|
|
2013-05-01 19:54:54 -05:00
|
|
|
fn next_doc(&mut self, exp_tag: EbmlEncoderTag) -> Doc {
|
|
|
|
debug!(". next_doc(exp_tag=%?)", exp_tag);
|
|
|
|
if self.pos >= self.parent.end {
|
|
|
|
fail!(~"no more documents in current node!");
|
|
|
|
}
|
|
|
|
let TaggedDoc { tag: r_tag, doc: r_doc } =
|
|
|
|
doc_at(self.parent.data, self.pos);
|
|
|
|
debug!("self.parent=%?-%? self.pos=%? r_tag=%? r_doc=%?-%?",
|
|
|
|
copy self.parent.start, copy self.parent.end,
|
|
|
|
copy self.pos, r_tag, r_doc.start, r_doc.end);
|
|
|
|
if r_tag != (exp_tag as uint) {
|
|
|
|
fail!(fmt!("expected EBML doc with tag %? but found tag %?",
|
|
|
|
exp_tag, r_tag));
|
|
|
|
}
|
|
|
|
if r_doc.end > self.parent.end {
|
|
|
|
fail!(fmt!("invalid EBML, child extends to 0x%x, \
|
|
|
|
parent to 0x%x", r_doc.end, self.parent.end));
|
|
|
|
}
|
|
|
|
self.pos = r_doc.end;
|
|
|
|
r_doc
|
|
|
|
}
|
|
|
|
|
|
|
|
fn push_doc<T>(&mut self, d: Doc, f: &fn() -> T) -> T {
|
|
|
|
let old_parent = self.parent;
|
|
|
|
let old_pos = self.pos;
|
|
|
|
self.parent = d;
|
|
|
|
self.pos = d.start;
|
|
|
|
let r = f();
|
|
|
|
self.parent = old_parent;
|
|
|
|
self.pos = old_pos;
|
|
|
|
r
|
|
|
|
}
|
|
|
|
|
|
|
|
fn _next_uint(&mut self, exp_tag: EbmlEncoderTag) -> uint {
|
|
|
|
let r = doc_as_u32(self.next_doc(exp_tag));
|
|
|
|
debug!("_next_uint exp_tag=%? result=%?", exp_tag, r);
|
|
|
|
r as uint
|
|
|
|
}
|
2012-02-10 08:01:32 -06:00
|
|
|
}
|
|
|
|
|
2013-02-26 19:47:41 -06:00
|
|
|
pub impl Decoder {
|
2013-05-01 19:54:54 -05:00
|
|
|
fn read_opaque<R>(&mut self, op: &fn(&mut Decoder, Doc) -> R) -> R {
|
|
|
|
let doc = self.next_doc(EsOpaque);
|
|
|
|
|
|
|
|
let (old_parent, old_pos) = (self.parent, self.pos);
|
|
|
|
self.parent = doc;
|
|
|
|
self.pos = doc.start;
|
|
|
|
|
|
|
|
let result = op(self, doc);
|
|
|
|
|
|
|
|
self.parent = old_parent;
|
|
|
|
self.pos = old_pos;
|
|
|
|
result
|
|
|
|
}
|
2012-02-14 17:21:53 -06:00
|
|
|
}
|
|
|
|
|
2013-05-01 19:54:54 -05:00
|
|
|
impl serialize::Decoder for Decoder {
|
|
|
|
fn read_nil(&mut self) -> () { () }
|
|
|
|
|
|
|
|
fn read_u64(&mut self) -> u64 { doc_as_u64(self.next_doc(EsU64)) }
|
|
|
|
fn read_u32(&mut self) -> u32 { doc_as_u32(self.next_doc(EsU32)) }
|
|
|
|
fn read_u16(&mut self) -> u16 { doc_as_u16(self.next_doc(EsU16)) }
|
|
|
|
fn read_u8 (&mut self) -> u8 { doc_as_u8 (self.next_doc(EsU8 )) }
|
|
|
|
fn read_uint(&mut self) -> uint {
|
|
|
|
let v = doc_as_u64(self.next_doc(EsUint));
|
|
|
|
if v > (::core::uint::max_value as u64) {
|
|
|
|
fail!(fmt!("uint %? too large for this architecture", v));
|
|
|
|
}
|
|
|
|
v as uint
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_i64(&mut self) -> i64 {
|
|
|
|
doc_as_u64(self.next_doc(EsI64)) as i64
|
|
|
|
}
|
|
|
|
fn read_i32(&mut self) -> i32 {
|
|
|
|
doc_as_u32(self.next_doc(EsI32)) as i32
|
|
|
|
}
|
|
|
|
fn read_i16(&mut self) -> i16 {
|
|
|
|
doc_as_u16(self.next_doc(EsI16)) as i16
|
|
|
|
}
|
|
|
|
fn read_i8 (&mut self) -> i8 {
|
|
|
|
doc_as_u8(self.next_doc(EsI8 )) as i8
|
|
|
|
}
|
|
|
|
fn read_int(&mut self) -> int {
|
|
|
|
let v = doc_as_u64(self.next_doc(EsInt)) as i64;
|
|
|
|
if v > (int::max_value as i64) || v < (int::min_value as i64) {
|
|
|
|
fail!(fmt!("int %? out of range for this architecture", v));
|
|
|
|
}
|
|
|
|
v as int
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_bool(&mut self) -> bool {
|
|
|
|
doc_as_u8(self.next_doc(EsBool)) as bool
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_f64(&mut self) -> f64 { fail!(~"read_f64()"); }
|
|
|
|
fn read_f32(&mut self) -> f32 { fail!(~"read_f32()"); }
|
|
|
|
fn read_float(&mut self) -> float { fail!(~"read_float()"); }
|
|
|
|
fn read_char(&mut self) -> char { fail!(~"read_char()"); }
|
|
|
|
fn read_str(&mut self) -> ~str { doc_as_str(self.next_doc(EsStr)) }
|
|
|
|
|
|
|
|
// Compound types:
|
|
|
|
fn read_enum<T>(&mut self,
|
|
|
|
name: &str,
|
|
|
|
f: &fn(&mut Decoder) -> T)
|
|
|
|
-> T {
|
|
|
|
debug!("read_enum(%s)", name);
|
|
|
|
self._check_label(name);
|
|
|
|
|
|
|
|
let doc = self.next_doc(EsEnum);
|
|
|
|
|
|
|
|
let (old_parent, old_pos) = (self.parent, self.pos);
|
|
|
|
self.parent = doc;
|
|
|
|
self.pos = self.parent.start;
|
|
|
|
|
|
|
|
let result = f(self);
|
|
|
|
|
|
|
|
self.parent = old_parent;
|
|
|
|
self.pos = old_pos;
|
|
|
|
result
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_enum_variant<T>(&mut self,
|
|
|
|
_: &[&str],
|
|
|
|
f: &fn(&mut Decoder, uint) -> T)
|
|
|
|
-> T {
|
|
|
|
debug!("read_enum_variant()");
|
|
|
|
let idx = self._next_uint(EsEnumVid);
|
|
|
|
debug!(" idx=%u", idx);
|
|
|
|
|
|
|
|
let doc = self.next_doc(EsEnumBody);
|
|
|
|
|
|
|
|
let (old_parent, old_pos) = (self.parent, self.pos);
|
|
|
|
self.parent = doc;
|
|
|
|
self.pos = self.parent.start;
|
|
|
|
|
|
|
|
let result = f(self, idx);
|
|
|
|
|
|
|
|
self.parent = old_parent;
|
|
|
|
self.pos = old_pos;
|
|
|
|
result
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_enum_variant_arg<T>(&mut self,
|
|
|
|
idx: uint,
|
|
|
|
f: &fn(&mut Decoder) -> T) -> T {
|
|
|
|
debug!("read_enum_variant_arg(idx=%u)", idx);
|
|
|
|
f(self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_enum_struct_variant<T>(&mut self,
|
|
|
|
_: &[&str],
|
|
|
|
f: &fn(&mut Decoder, uint) -> T)
|
|
|
|
-> T {
|
|
|
|
debug!("read_enum_struct_variant()");
|
|
|
|
let idx = self._next_uint(EsEnumVid);
|
|
|
|
debug!(" idx=%u", idx);
|
|
|
|
|
|
|
|
let doc = self.next_doc(EsEnumBody);
|
|
|
|
|
|
|
|
let (old_parent, old_pos) = (self.parent, self.pos);
|
|
|
|
self.parent = doc;
|
|
|
|
self.pos = self.parent.start;
|
|
|
|
|
|
|
|
let result = f(self, idx);
|
|
|
|
|
|
|
|
self.parent = old_parent;
|
|
|
|
self.pos = old_pos;
|
|
|
|
result
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_enum_struct_variant_field<T>(&mut self,
|
|
|
|
name: &str,
|
|
|
|
idx: uint,
|
|
|
|
f: &fn(&mut Decoder) -> T)
|
|
|
|
-> T {
|
|
|
|
debug!("read_enum_struct_variant_arg(name=%?, idx=%u)", name, idx);
|
|
|
|
f(self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_struct<T>(&mut self,
|
|
|
|
name: &str,
|
|
|
|
_: uint,
|
|
|
|
f: &fn(&mut Decoder) -> T)
|
|
|
|
-> T {
|
|
|
|
debug!("read_struct(name=%s)", name);
|
|
|
|
f(self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_struct_field<T>(&mut self,
|
|
|
|
name: &str,
|
|
|
|
idx: uint,
|
|
|
|
f: &fn(&mut Decoder) -> T)
|
|
|
|
-> T {
|
|
|
|
debug!("read_struct_field(name=%?, idx=%u)", name, idx);
|
|
|
|
self._check_label(name);
|
|
|
|
f(self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_tuple<T>(&mut self, f: &fn(&mut Decoder, uint) -> T) -> T {
|
|
|
|
debug!("read_tuple()");
|
|
|
|
self.read_seq(f)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_tuple_arg<T>(&mut self, idx: uint, f: &fn(&mut Decoder) -> T)
|
|
|
|
-> T {
|
|
|
|
debug!("read_tuple_arg(idx=%u)", idx);
|
|
|
|
self.read_seq_elt(idx, f)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_tuple_struct<T>(&mut self,
|
|
|
|
name: &str,
|
|
|
|
f: &fn(&mut Decoder, uint) -> T)
|
|
|
|
-> T {
|
|
|
|
debug!("read_tuple_struct(name=%?)", name);
|
|
|
|
self.read_tuple(f)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_tuple_struct_arg<T>(&mut self,
|
|
|
|
idx: uint,
|
|
|
|
f: &fn(&mut Decoder) -> T)
|
|
|
|
-> T {
|
|
|
|
debug!("read_tuple_struct_arg(idx=%u)", idx);
|
|
|
|
self.read_tuple_arg(idx, f)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_option<T>(&mut self, f: &fn(&mut Decoder, bool) -> T) -> T {
|
|
|
|
debug!("read_option()");
|
|
|
|
do self.read_enum("Option") |this| {
|
|
|
|
do this.read_enum_variant(["None", "Some"]) |this, idx| {
|
|
|
|
match idx {
|
|
|
|
0 => f(this, false),
|
|
|
|
1 => f(this, true),
|
|
|
|
_ => fail!(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_seq<T>(&mut self, f: &fn(&mut Decoder, uint) -> T) -> T {
|
|
|
|
debug!("read_seq()");
|
|
|
|
let doc = self.next_doc(EsVec);
|
|
|
|
|
|
|
|
let (old_parent, old_pos) = (self.parent, self.pos);
|
|
|
|
self.parent = doc;
|
|
|
|
self.pos = self.parent.start;
|
|
|
|
|
|
|
|
let len = self._next_uint(EsVecLen);
|
|
|
|
debug!(" len=%u", len);
|
|
|
|
let result = f(self, len);
|
|
|
|
|
|
|
|
self.parent = old_parent;
|
|
|
|
self.pos = old_pos;
|
|
|
|
result
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_seq_elt<T>(&mut self, idx: uint, f: &fn(&mut Decoder) -> T)
|
|
|
|
-> T {
|
|
|
|
debug!("read_seq_elt(idx=%u)", idx);
|
|
|
|
let doc = self.next_doc(EsVecElt);
|
|
|
|
|
|
|
|
let (old_parent, old_pos) = (self.parent, self.pos);
|
|
|
|
self.parent = doc;
|
|
|
|
self.pos = self.parent.start;
|
|
|
|
|
|
|
|
let result = f(self);
|
|
|
|
|
|
|
|
self.parent = old_parent;
|
|
|
|
self.pos = old_pos;
|
|
|
|
result
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_map<T>(&mut self, _: &fn(&mut Decoder, uint) -> T) -> T {
|
|
|
|
debug!("read_map()");
|
|
|
|
fail!(~"read_map is unimplemented");
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_map_elt_key<T>(&mut self,
|
|
|
|
idx: uint,
|
|
|
|
_: &fn(&mut Decoder) -> T)
|
|
|
|
-> T {
|
|
|
|
debug!("read_map_elt_key(idx=%u)", idx);
|
|
|
|
fail!(~"read_map_elt_val is unimplemented");
|
|
|
|
}
|
|
|
|
|
|
|
|
fn read_map_elt_val<T>(&mut self,
|
|
|
|
idx: uint,
|
|
|
|
_: &fn(&mut Decoder) -> T)
|
|
|
|
-> T {
|
|
|
|
debug!("read_map_elt_val(idx=%u)", idx);
|
|
|
|
fail!(~"read_map_elt_val is unimplemented");
|
|
|
|
}
|
|
|
|
}
|
2012-11-24 15:38:23 -06:00
|
|
|
}
|
2012-10-07 18:33:20 -05:00
|
|
|
|
2012-12-06 18:13:54 -06:00
|
|
|
pub mod writer {
|
2013-03-26 15:38:07 -05:00
|
|
|
use ebml::{EbmlEncoderTag, EsBool, EsEnum, EsEnumBody, EsEnumVid};
|
|
|
|
use ebml::{EsI16, EsI32, EsI64, EsI8, EsInt};
|
2013-01-08 21:37:25 -06:00
|
|
|
use ebml::{EsLabel, EsOpaque, EsStr, EsU16, EsU32, EsU64, EsU8, EsUint};
|
2013-03-26 15:38:07 -05:00
|
|
|
use ebml::{EsVec, EsVecElt, EsVecLen};
|
2013-01-08 21:37:25 -06:00
|
|
|
|
2012-12-23 16:41:37 -06:00
|
|
|
use core::io;
|
|
|
|
use core::str;
|
|
|
|
use core::vec;
|
2012-11-24 15:38:23 -06:00
|
|
|
|
|
|
|
// ebml writing
|
2012-12-17 21:31:04 -06:00
|
|
|
pub struct Encoder {
|
2013-03-12 15:00:50 -05:00
|
|
|
writer: @io::Writer,
|
2012-11-24 15:38:23 -06:00
|
|
|
priv mut size_positions: ~[uint],
|
2012-10-07 18:33:20 -05:00
|
|
|
}
|
2012-03-12 12:19:35 -05:00
|
|
|
|
2013-03-12 15:00:50 -05:00
|
|
|
fn write_sized_vuint(w: @io::Writer, n: uint, size: uint) {
|
2012-11-24 15:38:23 -06:00
|
|
|
match size {
|
|
|
|
1u => w.write(&[0x80u8 | (n as u8)]),
|
|
|
|
2u => w.write(&[0x40u8 | ((n >> 8_u) as u8), n as u8]),
|
|
|
|
3u => w.write(&[0x20u8 | ((n >> 16_u) as u8), (n >> 8_u) as u8,
|
|
|
|
n as u8]),
|
|
|
|
4u => w.write(&[0x10u8 | ((n >> 24_u) as u8), (n >> 16_u) as u8,
|
|
|
|
(n >> 8_u) as u8, n as u8]),
|
2013-02-11 21:26:38 -06:00
|
|
|
_ => fail!(fmt!("vint to write too big: %?", n))
|
2012-11-24 15:38:23 -06:00
|
|
|
};
|
2012-10-07 18:33:20 -05:00
|
|
|
}
|
2012-03-12 12:19:35 -05:00
|
|
|
|
2013-03-12 15:00:50 -05:00
|
|
|
fn write_vuint(w: @io::Writer, n: uint) {
|
2012-11-24 15:38:23 -06:00
|
|
|
if n < 0x7f_u { write_sized_vuint(w, n, 1u); return; }
|
|
|
|
if n < 0x4000_u { write_sized_vuint(w, n, 2u); return; }
|
|
|
|
if n < 0x200000_u { write_sized_vuint(w, n, 3u); return; }
|
|
|
|
if n < 0x10000000_u { write_sized_vuint(w, n, 4u); return; }
|
2013-02-11 21:26:38 -06:00
|
|
|
fail!(fmt!("vint to write too big: %?", n));
|
2012-10-07 18:33:20 -05:00
|
|
|
}
|
|
|
|
|
2013-03-12 15:00:50 -05:00
|
|
|
pub fn Encoder(w: @io::Writer) -> Encoder {
|
2012-11-24 15:38:23 -06:00
|
|
|
let size_positions: ~[uint] = ~[];
|
2012-12-17 21:31:04 -06:00
|
|
|
Encoder { writer: w, mut size_positions: size_positions }
|
2012-10-07 18:33:20 -05:00
|
|
|
}
|
|
|
|
|
2012-11-24 15:38:23 -06:00
|
|
|
// FIXME (#2741): Provide a function to write the standard ebml header.
|
2013-05-01 19:54:54 -05:00
|
|
|
pub impl Encoder {
|
|
|
|
fn start_tag(&mut self, tag_id: uint) {
|
|
|
|
debug!("Start tag %u", tag_id);
|
|
|
|
|
|
|
|
// Write the enum ID:
|
|
|
|
write_vuint(self.writer, tag_id);
|
|
|
|
|
|
|
|
// Write a placeholder four-byte size.
|
|
|
|
self.size_positions.push(self.writer.tell());
|
|
|
|
let zeroes: &[u8] = &[0u8, 0u8, 0u8, 0u8];
|
|
|
|
self.writer.write(zeroes);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn end_tag(&mut self) {
|
|
|
|
let last_size_pos = self.size_positions.pop();
|
|
|
|
let cur_pos = self.writer.tell();
|
|
|
|
self.writer.seek(last_size_pos as int, io::SeekSet);
|
|
|
|
let size = (cur_pos - last_size_pos - 4u);
|
|
|
|
write_sized_vuint(self.writer, size, 4u);
|
|
|
|
self.writer.seek(cur_pos as int, io::SeekSet);
|
|
|
|
|
|
|
|
debug!("End tag (size = %u)", size);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn wr_tag(&mut self, tag_id: uint, blk: &fn()) {
|
|
|
|
self.start_tag(tag_id);
|
|
|
|
blk();
|
|
|
|
self.end_tag();
|
|
|
|
}
|
|
|
|
|
|
|
|
fn wr_tagged_bytes(&mut self, tag_id: uint, b: &[u8]) {
|
|
|
|
write_vuint(self.writer, tag_id);
|
|
|
|
write_vuint(self.writer, vec::len(b));
|
|
|
|
self.writer.write(b);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn wr_tagged_u64(&mut self, tag_id: uint, v: u64) {
|
|
|
|
do io::u64_to_be_bytes(v, 8u) |v| {
|
|
|
|
self.wr_tagged_bytes(tag_id, v);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn wr_tagged_u32(&mut self, tag_id: uint, v: u32) {
|
|
|
|
do io::u64_to_be_bytes(v as u64, 4u) |v| {
|
|
|
|
self.wr_tagged_bytes(tag_id, v);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn wr_tagged_u16(&mut self, tag_id: uint, v: u16) {
|
|
|
|
do io::u64_to_be_bytes(v as u64, 2u) |v| {
|
|
|
|
self.wr_tagged_bytes(tag_id, v);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn wr_tagged_u8(&mut self, tag_id: uint, v: u8) {
|
|
|
|
self.wr_tagged_bytes(tag_id, &[v]);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn wr_tagged_i64(&mut self, tag_id: uint, v: i64) {
|
|
|
|
do io::u64_to_be_bytes(v as u64, 8u) |v| {
|
|
|
|
self.wr_tagged_bytes(tag_id, v);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn wr_tagged_i32(&mut self, tag_id: uint, v: i32) {
|
|
|
|
do io::u64_to_be_bytes(v as u64, 4u) |v| {
|
|
|
|
self.wr_tagged_bytes(tag_id, v);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn wr_tagged_i16(&mut self, tag_id: uint, v: i16) {
|
|
|
|
do io::u64_to_be_bytes(v as u64, 2u) |v| {
|
|
|
|
self.wr_tagged_bytes(tag_id, v);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn wr_tagged_i8(&mut self, tag_id: uint, v: i8) {
|
|
|
|
self.wr_tagged_bytes(tag_id, &[v as u8]);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn wr_tagged_str(&mut self, tag_id: uint, v: &str) {
|
|
|
|
str::byte_slice(v, |b| self.wr_tagged_bytes(tag_id, b));
|
|
|
|
}
|
|
|
|
|
|
|
|
fn wr_bytes(&mut self, b: &[u8]) {
|
|
|
|
debug!("Write %u bytes", vec::len(b));
|
|
|
|
self.writer.write(b);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn wr_str(&mut self, s: &str) {
|
|
|
|
debug!("Write str: %?", s);
|
|
|
|
self.writer.write(str::to_bytes(s));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-11-24 15:38:23 -06:00
|
|
|
// FIXME (#2743): optionally perform "relaxations" on end_tag to more
|
|
|
|
// efficiently encode sizes; this is a fixed point iteration
|
|
|
|
|
2012-12-17 21:31:04 -06:00
|
|
|
// Set to true to generate more debugging in EBML code.
|
2012-11-24 15:38:23 -06:00
|
|
|
// Totally lame approach.
|
2013-05-01 19:54:54 -05:00
|
|
|
static debug: bool = true;
|
2012-11-24 15:38:23 -06:00
|
|
|
|
2013-05-01 19:54:54 -05:00
|
|
|
priv impl Encoder {
|
|
|
|
// used internally to emit things like the vector length and so on
|
|
|
|
fn _emit_tagged_uint(&mut self, t: EbmlEncoderTag, v: uint) {
|
|
|
|
assert!(v <= 0xFFFF_FFFF_u);
|
|
|
|
self.wr_tagged_u32(t as uint, v as u32);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn _emit_label(&mut self, label: &str) {
|
|
|
|
// There are various strings that we have access to, such as
|
|
|
|
// the name of a record field, which do not actually appear in
|
|
|
|
// the encoded EBML (normally). This is just for
|
|
|
|
// efficiency. When debugging, though, we can emit such
|
|
|
|
// labels and then they will be checked by decoder to
|
|
|
|
// try and check failures more quickly.
|
|
|
|
if debug { self.wr_tagged_str(EsLabel as uint, label) }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub impl Encoder {
|
|
|
|
fn emit_opaque(&mut self, f: &fn(&mut Encoder)) {
|
|
|
|
self.start_tag(EsOpaque as uint);
|
|
|
|
f(self);
|
|
|
|
self.end_tag();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ::serialize::Encoder for Encoder {
|
|
|
|
fn emit_nil(&mut self) {}
|
|
|
|
|
|
|
|
fn emit_uint(&mut self, v: uint) {
|
|
|
|
self.wr_tagged_u64(EsUint as uint, v as u64);
|
|
|
|
}
|
|
|
|
fn emit_u64(&mut self, v: u64) {
|
|
|
|
self.wr_tagged_u64(EsU64 as uint, v);
|
|
|
|
}
|
|
|
|
fn emit_u32(&mut self, v: u32) {
|
|
|
|
self.wr_tagged_u32(EsU32 as uint, v);
|
|
|
|
}
|
|
|
|
fn emit_u16(&mut self, v: u16) {
|
|
|
|
self.wr_tagged_u16(EsU16 as uint, v);
|
|
|
|
}
|
|
|
|
fn emit_u8(&mut self, v: u8) {
|
|
|
|
self.wr_tagged_u8(EsU8 as uint, v);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_int(&mut self, v: int) {
|
|
|
|
self.wr_tagged_i64(EsInt as uint, v as i64);
|
|
|
|
}
|
|
|
|
fn emit_i64(&mut self, v: i64) {
|
|
|
|
self.wr_tagged_i64(EsI64 as uint, v);
|
|
|
|
}
|
|
|
|
fn emit_i32(&mut self, v: i32) {
|
|
|
|
self.wr_tagged_i32(EsI32 as uint, v);
|
|
|
|
}
|
|
|
|
fn emit_i16(&mut self, v: i16) {
|
|
|
|
self.wr_tagged_i16(EsI16 as uint, v);
|
|
|
|
}
|
|
|
|
fn emit_i8(&mut self, v: i8) {
|
|
|
|
self.wr_tagged_i8(EsI8 as uint, v);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_bool(&mut self, v: bool) {
|
|
|
|
self.wr_tagged_u8(EsBool as uint, v as u8)
|
|
|
|
}
|
|
|
|
|
|
|
|
// FIXME (#2742): implement these
|
|
|
|
fn emit_f64(&mut self, _v: f64) {
|
|
|
|
fail!(~"Unimplemented: serializing an f64");
|
|
|
|
}
|
|
|
|
fn emit_f32(&mut self, _v: f32) {
|
|
|
|
fail!(~"Unimplemented: serializing an f32");
|
|
|
|
}
|
|
|
|
fn emit_float(&mut self, _v: float) {
|
|
|
|
fail!(~"Unimplemented: serializing a float");
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_char(&mut self, _v: char) {
|
|
|
|
fail!(~"Unimplemented: serializing a char");
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_str(&mut self, v: &str) {
|
|
|
|
self.wr_tagged_str(EsStr as uint, v)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_enum(&mut self, name: &str, f: &fn(&mut Encoder)) {
|
|
|
|
self._emit_label(name);
|
|
|
|
self.start_tag(EsEnum as uint);
|
|
|
|
f(self);
|
|
|
|
self.end_tag();
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_enum_variant(&mut self,
|
|
|
|
_: &str,
|
|
|
|
v_id: uint,
|
|
|
|
_: uint,
|
|
|
|
f: &fn(&mut Encoder)) {
|
|
|
|
self._emit_tagged_uint(EsEnumVid, v_id);
|
|
|
|
self.start_tag(EsEnumBody as uint);
|
|
|
|
f(self);
|
|
|
|
self.end_tag();
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_enum_variant_arg(&mut self, _: uint, f: &fn(&mut Encoder)) {
|
|
|
|
f(self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_enum_struct_variant(&mut self,
|
|
|
|
v_name: &str,
|
|
|
|
v_id: uint,
|
|
|
|
cnt: uint,
|
|
|
|
f: &fn(&mut Encoder)) {
|
|
|
|
self.emit_enum_variant(v_name, v_id, cnt, f)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_enum_struct_variant_field(&mut self,
|
|
|
|
_: &str,
|
|
|
|
idx: uint,
|
|
|
|
f: &fn(&mut Encoder)) {
|
|
|
|
self.emit_enum_variant_arg(idx, f)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_struct(&mut self, _: &str, _len: uint, f: &fn(&mut Encoder)) {
|
|
|
|
f(self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_struct_field(&mut self,
|
|
|
|
name: &str,
|
|
|
|
_: uint,
|
|
|
|
f: &fn(&mut Encoder)) {
|
|
|
|
self._emit_label(name);
|
|
|
|
f(self)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_tuple(&mut self, len: uint, f: &fn(&mut Encoder)) {
|
|
|
|
self.emit_seq(len, f)
|
|
|
|
}
|
|
|
|
fn emit_tuple_arg(&mut self, idx: uint, f: &fn(&mut Encoder)) {
|
|
|
|
self.emit_seq_elt(idx, f)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_tuple_struct(&mut self,
|
|
|
|
_: &str,
|
|
|
|
len: uint,
|
|
|
|
f: &fn(&mut Encoder)) {
|
|
|
|
self.emit_seq(len, f)
|
|
|
|
}
|
|
|
|
fn emit_tuple_struct_arg(&mut self, idx: uint, f: &fn(&mut Encoder)) {
|
|
|
|
self.emit_seq_elt(idx, f)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_option(&mut self, f: &fn(&mut Encoder)) {
|
|
|
|
self.emit_enum("Option", f);
|
|
|
|
}
|
|
|
|
fn emit_option_none(&mut self) {
|
|
|
|
self.emit_enum_variant("None", 0, 0, |_| ())
|
|
|
|
}
|
|
|
|
fn emit_option_some(&mut self, f: &fn(&mut Encoder)) {
|
|
|
|
self.emit_enum_variant("Some", 1, 1, f)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_seq(&mut self, len: uint, f: &fn(&mut Encoder)) {
|
|
|
|
self.start_tag(EsVec as uint);
|
|
|
|
self._emit_tagged_uint(EsVecLen, len);
|
|
|
|
f(self);
|
|
|
|
self.end_tag();
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_seq_elt(&mut self, _idx: uint, f: &fn(&mut Encoder)) {
|
|
|
|
self.start_tag(EsVecElt as uint);
|
|
|
|
f(self);
|
|
|
|
self.end_tag();
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_map(&mut self, _len: uint, _f: &fn(&mut Encoder)) {
|
|
|
|
fail!(~"emit_map is unimplemented");
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_map_elt_key(&mut self, _idx: uint, _f: &fn(&mut Encoder)) {
|
|
|
|
fail!(~"emit_map_elt_key is unimplemented");
|
|
|
|
}
|
|
|
|
|
|
|
|
fn emit_map_elt_val(&mut self, _idx: uint, _f: &fn(&mut Encoder)) {
|
|
|
|
fail!(~"emit_map_elt_val is unimplemented");
|
|
|
|
}
|
|
|
|
}
|
2012-03-12 12:19:35 -05:00
|
|
|
}
|
2013-03-26 17:26:05 -05:00
|
|
|
|
2012-03-12 12:19:35 -05:00
|
|
|
// ___________________________________________________________________________
|
|
|
|
// Testing
|
|
|
|
|
2012-10-07 18:33:20 -05:00
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
2012-12-27 20:24:18 -06:00
|
|
|
use ebml::reader;
|
|
|
|
use ebml::writer;
|
2013-01-25 18:57:39 -06:00
|
|
|
use serialize::Encodable;
|
2012-12-27 20:24:18 -06:00
|
|
|
use serialize;
|
|
|
|
|
|
|
|
use core::io;
|
2013-01-08 21:37:25 -06:00
|
|
|
use core::option::{None, Option, Some};
|
2012-12-27 20:24:18 -06:00
|
|
|
|
2012-10-07 18:33:20 -05:00
|
|
|
#[test]
|
|
|
|
fn test_option_int() {
|
|
|
|
fn test_v(v: Option<int>) {
|
|
|
|
debug!("v == %?", v);
|
|
|
|
let bytes = do io::with_bytes_writer |wr| {
|
2013-05-01 19:54:54 -05:00
|
|
|
let mut ebml_w = writer::Encoder(wr);
|
|
|
|
v.encode(&mut ebml_w)
|
2012-10-07 18:33:20 -05:00
|
|
|
};
|
2012-12-06 18:13:54 -06:00
|
|
|
let ebml_doc = reader::Doc(@bytes);
|
2013-05-01 19:54:54 -05:00
|
|
|
let mut deser = reader::Decoder(ebml_doc);
|
|
|
|
let v1 = serialize::Decodable::decode(&mut deser);
|
2012-10-07 18:33:20 -05:00
|
|
|
debug!("v1 == %?", v1);
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(v == v1);
|
2012-03-12 12:19:35 -05:00
|
|
|
}
|
|
|
|
|
2012-10-07 18:33:20 -05:00
|
|
|
test_v(Some(22));
|
|
|
|
test_v(None);
|
|
|
|
test_v(Some(3));
|
2012-03-12 12:19:35 -05:00
|
|
|
}
|
|
|
|
}
|