rtlola-interpreter-macros 0.2.0

Derive macros to help with integrating the rtlola interpreter
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
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
70
71
72
73
74
75
76
77
78
79
80
81
82

use convert_case::{Case, Casing};
use proc_macro2::Ident;
use quote::format_ident;
use syn::{GenericArgument, PathArguments, Type};

pub(crate) fn new_snake_ident(base: &Ident, suffix: &str) -> Ident {
    let ident_str = base.to_string().to_case(Case::Snake);
    format_ident!("{}_{}", ident_str, suffix, span = base.span())
}

pub(crate) fn option_inner_type(ty: &Type) -> Option<&GenericArgument> {
    if let Type::Path(path) = ty {
        let segment = path.path.segments.last()?;
        if &segment.ident.to_string() == "Option" {
            if let PathArguments::AngleBracketed(args) = &segment.arguments {
                return args.args.first();
            }
        }
    };
    None
}

pub(crate) fn hashmap_types(ty: &Type) -> Option<(Vec<&Type>, &GenericArgument)> {
    if let Type::Path(path) = ty {
        let segment = path.path.segments.last()?;
        if &segment.ident.to_string() == "HashMap" {
            if let PathArguments::AngleBracketed(args) = &segment.arguments {
                let value_ty = args.args.last()?;
                let instance = args.args.first()?;
                let args: Vec<&Type> = if let GenericArgument::Type(Type::Tuple(args)) = &instance {
                    args.elems.iter().collect()
                } else if let GenericArgument::Type(t) = instance {
                    vec![t]
                } else {
                    vec![]
                };
                return Some((args, value_ty));
            }
        }
    };
    None
}

pub(crate) fn hashset_types(ty: &Type) -> Option<Vec<&Type>> {
    if let Type::Path(path) = ty {
        let segment = path.path.segments.last()?;
        if &segment.ident.to_string() == "HashSet" {
            if let PathArguments::AngleBracketed(args) = &segment.arguments {
                let instance = args.args.first()?;
                let args: Vec<&Type> = if let GenericArgument::Type(Type::Tuple(args)) = &instance {
                    args.elems.iter().collect()
                } else if let GenericArgument::Type(t) = instance {
                    vec![t]
                } else {
                    vec![]
                };
                return Some(args);
            }
        }
    };
    None
}

pub(crate) fn is_bool(ty: &Type) -> bool {
    if let Type::Path(path) = ty {
        path.path
            .segments
            .last()
            .map(|segment| segment.ident == "bool")
            .unwrap_or(false)
    } else {
        false
    }
}

pub(crate) fn is_bool_generic(ty: &GenericArgument) -> bool {
    if let GenericArgument::Type(ty) = ty {
        is_bool(ty)
    } else {
        false
    }
}