dochy_diff 0.10.1

Calculates Dochy Diff.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use crate::imp::read::reader::Reader;
use crate::diff_error::{DiffError, OptToErr};
use crate::imp::write::store_ids::StoredIDs;

pub(crate) fn read_stored_ids(r : &mut Reader) -> Result<StoredIDs, DiffError>{
    if r.read()?.ast_bool()?{
        let bits = r.read()?.ast_i64()? as u64;
        if bits == 0{
            return Ok(StoredIDs::Zero);
        } else{
            return Ok(StoredIDs::U64(bits));
        }
    } else{
        if r.read()?.ast_bool()?{
            let vec = r.read_u64_array()?;
            return Ok(StoredIDs::Bits(vec))
        } else{
            let vec = r.read_usize_array()?;
            return Ok(StoredIDs::Numbers(vec));
        }
    }
}