Generate AST

3 files changed, 146 insertions, 0 deletions

diff --git a/src/ast/generated.rs b/src/ast/generated.rs
new file mode 100644
index 000000000..612b04f86
--- /dev/null
+++ b/src/ast/generated.rs
@@ -0,0 +1,54 @@
+use std::sync::Arc;
+use {
+    SyntaxNode, SyntaxRoot, TreeRoot, AstNode,
+    SyntaxKind::*,
+};
+
+
+#[derive(Debug)]
+pub struct File<R: TreeRoot = Arc<SyntaxRoot>> {
+    syntax: SyntaxNode<R>,
+}
+
+impl<R: TreeRoot> AstNode<R> for File<R> {
+    fn cast(syntax: SyntaxNode<R>) -> Option<Self> {
+        match syntax.kind() {
+            FILE => Some(File { syntax }),
+            _ => None,
+        }
+    }
+    fn syntax(&self) -> &SyntaxNode<R> { &self.syntax }
+}
+
+
+#[derive(Debug)]
+pub struct FnItem<R: TreeRoot = Arc<SyntaxRoot>> {
+    syntax: SyntaxNode<R>,
+}
+
+impl<R: TreeRoot> AstNode<R> for FnItem<R> {
+    fn cast(syntax: SyntaxNode<R>) -> Option<Self> {
+        match syntax.kind() {
+            FN_ITEM => Some(FnItem { syntax }),
+            _ => None,
+        }
+    }
+    fn syntax(&self) -> &SyntaxNode<R> { &self.syntax }
+}
+
+
+#[derive(Debug)]
+pub struct Name<R: TreeRoot = Arc<SyntaxRoot>> {
+    syntax: SyntaxNode<R>,
+}
+
+impl<R: TreeRoot> AstNode<R> for Name<R> {
+    fn cast(syntax: SyntaxNode<R>) -> Option<Self> {
+        match syntax.kind() {
+            NAME => Some(Name { syntax }),
+            _ => None,
+        }
+    }
+    fn syntax(&self) -> &SyntaxNode<R> { &self.syntax }
+}
+
diff --git a/src/ast/generated.rs.tera b/src/ast/generated.rs.tera
new file mode 100644
index 000000000..f2559383a
--- /dev/null
+++ b/src/ast/generated.rs.tera
@@ -0,0 +1,22 @@
+use std::sync::Arc;
+use {
+    SyntaxNode, SyntaxRoot, TreeRoot, AstNode,
+    SyntaxKind::*,
+};
+{% for node in ast %}
+{% set Name = node.kind | camel  %}
+#[derive(Debug)]
+pub struct {{ Name }}<R: TreeRoot = Arc<SyntaxRoot>> {
+    syntax: SyntaxNode<R>,
+}
+
+impl<R: TreeRoot> AstNode<R> for {{ Name }}<R> {
+    fn cast(syntax: SyntaxNode<R>) -> Option<Self> {
+        match syntax.kind() {
+            {{ node.kind }} => Some({{ Name }} { syntax }),
+            _ => None,
+        }
+    }
+    fn syntax(&self) -> &SyntaxNode<R> { &self.syntax }
+}
+{% endfor %}
diff --git a/src/ast/mod.rs b/src/ast/mod.rs
new file mode 100644
index 000000000..dc7e006c9
--- /dev/null
+++ b/src/ast/mod.rs
@@ -0,0 +1,70 @@
+mod generated;
+
+use std::sync::Arc;
+use {
+    SyntaxNode, SyntaxRoot, TreeRoot,
+    SyntaxKind::*,
+};
+pub use self::generated::*;
+
+pub trait AstNode<R: TreeRoot>: Sized {
+    fn cast(syntax: SyntaxNode<R>) -> Option<Self>;
+    fn syntax(&self) -> &SyntaxNode<R>;
+}
+
+impl File<Arc<SyntaxRoot>> {
+    pub fn parse(text: &str) -> Self {
+        File::cast(::parse(text)).unwrap()
+    }
+}
+
+impl<R: TreeRoot> File<R> {
+    pub fn functions<'a>(&'a self) -> impl Iterator<Item = FnItem<R>> + 'a {
+        self.syntax()
+            .children()
+            .filter_map(FnItem::cast)
+    }
+}
+
+impl<R: TreeRoot> FnItem<R> {
+    pub fn name(&self) -> Option<Name<R>> {
+        self.syntax()
+            .children()
+            .filter_map(Name::cast)
+            .next()
+    }
+
+    pub fn has_atom_attr(&self, atom: &str) -> bool {
+        self.syntax()
+            .children()
+            .filter(|node| node.kind() == ATTR)
+            .any(|attr| {
+                let mut metas = attr.children().filter(|node| node.kind() == META_ITEM);
+                let meta = match metas.next() {
+                    None => return false,
+                    Some(meta) => {
+                        if metas.next().is_some() {
+                            return false;
+                        }
+                        meta
+                    }
+                };
+                let mut children = meta.children();
+                match children.next() {
+                    None => false,
+                    Some(child) => {
+                        if children.next().is_some() {
+                            return false;
+                        }
+                        child.kind() == IDENT && child.text() == atom
+                    }
+                }
+            })
+    }
+}
+
+impl<R: TreeRoot> Name<R> {
+    pub fn text(&self) -> String {
+        self.syntax().text()
+    }
+}