aster 0.9.3

A libsyntax ast builder
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69

use syntax::ast;
use syntax::codemap::DUMMY_SP;
use syntax::ptr::P;

use aster::AstBuilder;
use aster::lifetime::{IntoLifetime, IntoLifetimeDef};
use aster::path::IntoPath;

#[test]
fn test_bound() {
    let builder = AstBuilder::new();
    let predicate = builder.where_predicate().bound().id("T")
        .for_lifetime("'a").build()
        .trait_("Trait").build()
        .build();

    assert_eq!(
        predicate,
        ast::WherePredicate::BoundPredicate(ast::WhereBoundPredicate {
            span: DUMMY_SP,
            bound_lifetimes: vec![
                "'a".into_lifetime_def(),
            ],
            bounded_ty: builder.ty().id("T"),
            bounds: P::from_vec(vec![
                builder.ty_param_bound()
                    .trait_("Trait")
                    .build(),
            ]),
        })
    );
}

#[test]
fn test_lifetime() {
    let builder = AstBuilder::new();
    let predicate = builder.where_predicate().lifetime("'a")
        .bound("'b")
        .bound("'c")
        .build();

    assert_eq!(
        predicate,
        ast::WherePredicate::RegionPredicate(ast::WhereRegionPredicate {
            span: DUMMY_SP,
            lifetime: "'a".into_lifetime(),
            bounds: vec![
                "'b".into_lifetime(),
                "'c".into_lifetime(),
            ],
        })
    );
}

#[test]
fn test_eq() {
    let builder = AstBuilder::new();
    let predicate = builder.where_predicate().eq("T").ty().usize();

    assert_eq!(
        predicate,
        ast::WherePredicate::EqPredicate(ast::WhereEqPredicate {
            id: ast::DUMMY_NODE_ID,
            span: DUMMY_SP,
            path: "T".into_path(),
            ty: builder.ty().usize(),
        })
    );
}