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

use std::collections::HashMap;

use serde::{Serialize, Deserialize};

const CYLON_AST_VERSION: &str = "1.0.0";

#[derive(Serialize, Deserialize)]
#[serde(rename = "root")]
#[serde(rename_all = "lowercase")]
pub struct Root
{
    pub version: String,
    pub metadata: HashMap<String, String>,
    pub program: Program
}

impl Root
{
    pub fn new(program: Program) -> Root
    {
        Root {
            program,
            ..Default::default()
        }
    }
}

// Implement general conversion helpers from common patterns such as boxes.
// Look into using macros for this, like the ref implementer for `yolol_number`.

impl Default for Root
{
    fn default() -> Self
    {
        let mut metadata = HashMap::new();
        metadata.insert("exporter".to_owned(), format!("{} {}", env!("CARGO_PKG_NAME"), env!("CARGO_PKG_VERSION")));

        Root {
            version: CYLON_AST_VERSION.to_owned(),
            metadata,
            program: Program {
                lines: vec![]
            }
        }
    }
}

#[derive(Serialize, Deserialize)]
#[serde(rename = "program")]
#[serde(rename_all = "lowercase")]
#[serde(tag = "type")]
pub struct Program
{
    pub lines: Vec<Line>
}

#[derive(Serialize, Deserialize)]
#[serde(rename = "line")]
#[serde(rename_all = "lowercase")]
#[serde(tag = "type")]
pub struct Line
{
    pub comment: String,
    pub code: Vec<Statement>
}

#[derive(Serialize, Deserialize)]
#[serde(rename_all = "lowercase")]
#[serde(tag = "type")]
pub enum Statement
{
    #[serde(rename = "statement::goto")]
    Goto { expression: Expression },

    #[serde(rename = "statement::if")]
    If { condition: Expression, body: Vec<Statement>, else_body: Vec<Statement> },

    #[serde(rename = "statement::assignment")]
    Assignment { identifier: String, operator: String, value: Expression },

    #[serde(rename = "statement::expression")]
    Expression { expression: Expression }
}

#[derive(Serialize, Deserialize)]
#[serde(rename_all = "lowercase")]
#[serde(tag = "type")]
pub enum Expression
{
    #[serde(rename = "expression::group")]
    Group { group: Box<Expression> },

    #[serde(rename = "expression::binary_op")]
    BinaryOp { operator: String, left: Box<Expression>, right: Box<Expression> },

    #[serde(rename = "expression::unary_op")]
    UnaryOp { operator: String, operand: Box<Expression> },

    #[serde(rename = "expression::number")]
    Number { num: String },

    #[serde(rename = "expression::string")]
    String { str: String },

    #[serde(rename = "expression::identifier")]
    Identifier { name: String }
}