grabapl 0.0.4

A library for graph-based programming languages, with pluggable type systems and a focus on visible intermediate states.
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
35
36
37
38
39
40
41
42
43
44

mod util;

use grabapl::prelude::*;

use util::semantics::*;

#[test_log::test]
fn types_must_be_subtypes() {
    let op_ctx = OperationContext::<TestSemantics>::new();
    let mut builder = OperationBuilder::new(&op_ctx, 0);
    builder
        .expect_parameter_node("p0", NodeType::Object)
        .unwrap();
    builder
        .expect_parameter_node("p1", NodeType::Integer)
        .unwrap();
    let p0 = AbstractNodeId::param("p0");
    let p1 = AbstractNodeId::param("p1");
    // p0 cannot be used as String, nor as Integer
    let res = builder.add_operation(
        BuilderOpLike::Builtin(TestOperation::SetTo {
            op_typ: NodeType::String,
            target_typ: NodeType::String,
            value: NodeValue::String("hello".to_string()),
        }),
        vec![p0],
    );
    assert!(
        res.is_err(),
        "Expected error when using Object argument as String"
    );
    let res = builder.add_operation(
        BuilderOpLike::Builtin(TestOperation::SetTo {
            op_typ: NodeType::Integer,
            target_typ: NodeType::Integer,
            value: NodeValue::Integer(42),
        }),
        vec![p0],
    );
    assert!(
        res.is_err(),
        "Expected error when using Object argument as Integer"
    );
}