ferment-sys 0.2.14

Syntax tree morphing of FFI-compatible stuff
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
83
84
85
86
87
88
89
90
91
92
93
94
95

use quote::ToTokens;
use syn::Type;
use crate::context::ScopeContext;
use crate::kind::{ObjectKind, SpecialType, TypeKind};
use crate::ext::{Accessory, LifetimeProcessor, Resolve, ToType};
use crate::lang::Specification;
use crate::presentation::{FFIFullDictionaryPath, FFIFullPath};


pub trait FFITypeResolve {
    fn full_type(&self, source: &ScopeContext) -> Type;
}

impl FFITypeResolve for Type {
    fn full_type(&self, source: &ScopeContext) -> Type {
        self.resolve(source)
    }
}

pub trait FFISpecialTypeResolve<SPEC>
    where SPEC: Specification {
    /// Types that are exported with [ferment_macro::register] or [ferment_macro::opaque]
    /// so it's custom kind or opaque pointer therefore we should use direct paths for ffi export
    fn maybe_special_type(&self, source: &ScopeContext) -> Option<SpecialType<SPEC>>;

    #[allow(unused)]
    fn is_opaque(&self, source: &ScopeContext) -> bool {
        self.maybe_special_type(source)
            .map(|special| matches!(special, SpecialType::Opaque(..)))
            .unwrap_or(false)
    }
    #[allow(unused)]
    fn is_custom(&self, source: &ScopeContext) -> bool {
        self.maybe_special_type(source)
            .map(|special| matches!(special, SpecialType::Custom(..)))
            .unwrap_or(false)
    }
    fn maybe_custom_or_opaque(&self, source: &ScopeContext) -> Option<SpecialType<SPEC>> {
        self.maybe_special_type(source)
            .and_then(|special| match special {
                SpecialType::Custom(_) |
                SpecialType::Opaque(_) => Some(special),
                SpecialType::Phantom(_) => None
            })
    }
}
impl<SPEC> FFISpecialTypeResolve<SPEC> for Type
    where SPEC: Specification,
          FFIFullDictionaryPath<SPEC>: ToType {
    fn maybe_special_type(&self, source: &ScopeContext) -> Option<SpecialType<SPEC>> {
        self.maybe_resolve(source)
    }
}

impl<SPEC> FFISpecialTypeResolve<SPEC> for TypeKind
where SPEC: Specification,
      FFIFullDictionaryPath<SPEC>: ToType {
    fn maybe_special_type(&self, source: &ScopeContext) -> Option<SpecialType<SPEC>> {
        let ty = self.to_type();
        FFISpecialTypeResolve::<SPEC>::maybe_special_type(&ty, source)
    }
}

pub trait FFIObjectResolve {
    fn maybe_object(&self, source: &ScopeContext) -> Option<ObjectKind>;
}

impl FFIObjectResolve for Type {
    fn maybe_object(&self, source: &ScopeContext) -> Option<ObjectKind> {
        source.maybe_object_by_key(self)
    }
}

pub trait FFIVarResolve<SPEC>: Clone + LifetimeProcessor + Resolve<FFIFullPath<SPEC>> + Resolve<SpecialType<SPEC>> + ToTokens
    where SPEC: Specification,
          FFIFullPath<SPEC>: ToType {
    fn ffi_full_path(&self, source: &ScopeContext) -> FFIFullPath<SPEC> {
        self.resolve(source)
    }
    fn special_or_to_ffi_full_path_type(&self, source: &ScopeContext) -> Type {
        let maybe_special_type: Option<SpecialType<SPEC>> = self.lifetimes_cleaned().maybe_resolve(source);
        maybe_special_type
            .map(|special| special.to_type())
            .unwrap_or_else(|| self.ffi_full_path(source).to_type())
    }
    #[allow(unused)]
    fn special_or_to_ffi_full_path_variable_type(&self, source: &ScopeContext) -> Type {
        self.special_or_to_ffi_full_path_type(source)
            .joined_mut()
    }
}
impl<SPEC> FFIVarResolve<SPEC> for Type
    where SPEC: Specification,
          FFIFullPath<SPEC>: ToType,
          FFIFullDictionaryPath<SPEC>: ToType{}