SModel

SModel（语义建模）为Rust提供了一种使用动态分派和层次定义以及允许循环引用的存储区来描述语言语义符号的便捷方式。

定义顺序

定义顺序很重要。在定义子类型之前，使用struct关键字定义其继承的数据类型。

如果你以任何顺序定义struct，可能会导致宏终止的未找到错误。

示例

最基本的数据类型是最先出现的。你可以根据自己的喜好来命名它。通常可以称之为symbol或thingy（根据Microsoft Roslyn工程师的说法，symbol应该被称为thingy）。

use smodel::smodel;

smodel! {
    type Arena = Arena;

    struct Thingy {
        let x: f64 = 0.0;
        let ref y: String = "".into();

        pub fn Thingy() {
            super();
            println!("{}", self.m());
        }

        pub fn m(&self) -> String {
            "".into()
        }

        pub fn m1(&self) {
            println!("base");
        }
    }

    struct Foo: Thingy {
        pub fn Foo() {
            super();
        }

        pub override fn m(&self) -> String {
            "Foo".into()
        }

        pub override fn m1(&self) {
            if true {
                super.m1();
            }
        }
    }
}

fn main() {
    let arena = Arena::new();
    let thingy = Foo::new(&arena);
    println!("{}", thingy.m());
}

存储区

存储区的名称由第一个type Arena = ArenaName1;指令的右侧定义。

#[inheritdoc]
pub override fn m(&self) {
    // Action
}