ad-astra-export 1.0.0

Embeddable scripting language platform Ad Astra. Macro Crate.
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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120

////////////////////////////////////////////////////////////////////////////////
// This file is part of "Ad Astra", an embeddable scripting programming       //
// language platform.                                                         //
//                                                                            //
// This work is proprietary software with source-available code.              //
//                                                                            //
// To copy, use, distribute, or contribute to this work, you must agree to    //
// the terms of the General License Agreement:                                //
//                                                                            //
// https://github.com/Eliah-Lakhin/ad-astra/blob/master/EULA.md               //
//                                                                            //
// The agreement grants a Basic Commercial License, allowing you to use       //
// this work in non-commercial and limited commercial products with a total   //
// gross revenue cap. To remove this commercial limit for one of your         //
// products, you must acquire a Full Commercial License.                      //
//                                                                            //
// If you contribute to the source code, documentation, or related materials, //
// you must grant me an exclusive license to these contributions.             //
// Contributions are governed by the "Contributions" section of the General   //
// License Agreement.                                                         //
//                                                                            //
// Copying the work in parts is strictly forbidden, except as permitted       //
// under the General License Agreement.                                       //
//                                                                            //
// If you do not or cannot agree to the terms of this Agreement,              //
// do not use this work.                                                      //
//                                                                            //
// This work is provided "as is", without any warranties, express or implied, //
// except where such disclaimers are legally invalid.                         //
//                                                                            //
// Copyright (c) 2024 Ilya Lakhin (Илья Александрович Лахин).                 //
// All rights reserved.                                                       //
////////////////////////////////////////////////////////////////////////////////

use std::borrow::Cow;

use quote::{quote_spanned, ToTokens};
use syn::{spanned::Spanned, ItemStatic, Result};

use crate::{
    export::ExportConfig,
    utils::{
        Component,
        Context,
        EmptyPolymorphism,
        Exportable,
        Facade,
        Group,
        Prototype,
        Shallow,
        DUMP,
        EXCLUDED,
        INCLUDED,
        RENAME,
        SHALLOW,
    },
};

pub fn export_item_static(item: &mut ItemStatic) -> Result<ExportConfig> {
    let attrs = item.drain_attrs()?;

    attrs.check(DUMP | INCLUDED | EXCLUDED | SHALLOW | RENAME)?;

    Shallow.init(attrs.shallow());

    let ident = &item.ident;
    let span = ident.span();

    let mut group = Group::default();

    let mut package_prototype = Prototype::for_package(span);

    let name = attrs
        .rename_checked(&EmptyPolymorphism)?
        .unwrap_or_else(|| item.ident.to_string());

    let name_ref = Context.make_unique_identifier(name.as_str(), span);

    let constructor = {
        let core = span.face_core();

        Shallow.assert_ref_type_impls_static_upcast(item.ty.as_ref(), item.ty.span());

        quote_spanned!(span=> {
            fn component(
                origin: #core::runtime::Origin,
                _lhs: #core::runtime::Arg,
            ) -> #core::runtime::RuntimeResult<#core::runtime::Cell> {
                #core::runtime::Cell::give(origin, &#ident)
            }

            component as fn(
                #core::runtime::Origin,
                #core::runtime::Arg,
            ) -> #core::runtime::RuntimeResult::<#core::runtime::Cell>
        })
    };

    package_prototype.component(Component {
        name_ref: Cow::Owned(name_ref),
        constructor,
        hint: Cow::Borrowed(item.ty.as_ref()),
        doc: item.rust_doc(),
    });

    Shallow.assert_type_impls_script_type(item.ty.as_ref(), item.ty.span());

    group.prototype(package_prototype);

    Ok(ExportConfig {
        dump: attrs.dump(),
        stream: match attrs.disabled() {
            true => None,
            false => match attrs.shallow() {
                true => Some(Shallow.to_token_stream()),
                false => Some(group.to_token_stream()),
            },
        },
    })
}