sim-lib-view-expr-tree 0.2.0

Bounded reversible SurfaceCodec for SIM expression-tree outlines.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

//! conformance: bounded reversible expression-tree SurfaceCodec behavior.

mod conformance;
mod intents;
mod limits;
mod rendering;
mod support;

use sim_kernel::Expr;
use sim_lib_view::{SurfaceCodec, surface};

use crate::{
    EXPRESSION_TREE_SURFACE_CODEC_ID, ExpressionTreeSnapshot, ExpressionTreeSurfaceCodec,
    NodeSnapshot, expression_tree_surface_codec_symbol,
};

#[test]
fn surface_codec_is_the_one_reversible_contract() {
    let id = expression_tree_surface_codec_symbol();
    assert_eq!(id.name.as_ref(), EXPRESSION_TREE_SURFACE_CODEC_ID);

    let snapshot = ExpressionTreeSnapshot::new(
        Expr::String("tree:test".to_owned()),
        1,
        vec![NodeSnapshot::collapsed_dir("/", "root", 1)],
    )
    .to_expr();
    let desktop = surface::preset("desktop").expect("desktop caps");
    let mut cx = sim_kernel::testing::eager_cx();
    let scene = ExpressionTreeSurfaceCodec::new()
        .encode(&mut cx, &snapshot, &desktop)
        .expect("surface codec encodes through Scene");
    sim_lib_scene::validate_scene(&scene).expect("encoded value is a standard Scene");
}