buguc 0.3.0

buguc
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

use std::collections::VecDeque;

#[derive(Debug, Clone)]
pub struct Prog {
  pub funcs: Vec<Func>,
  pub global_vars: Vec<Decl>,
}

#[derive(Debug, Clone)]
pub struct Func {
  pub name: String,
  pub stmt: Vec<BlockItem>,
  pub params: Vec<Param>,
}

#[derive(Debug, Clone)]
pub struct Param {
  pub t: Type,
  pub scope: Vec<u32>,
  pub name: String,
}

impl Param {
    pub fn new(scope: Vec<u32>, name: String) -> Self{
      Self {
        name,
        scope,
        t: Type::Integer,
      }
    }
}


#[derive(Debug, Clone)]
pub struct Call {
  pub name: String,
  pub params: Vec<Expr>,
}

#[derive(Debug, Clone)]
pub struct Decl {
  pub t: Type,
  pub name: String,
  // multidimensional
  pub indexes: VecDeque<i32>,
  pub expr: Option<Expr>,
  pub scope: Vec<u32>,
}
#[derive(Debug, Clone)]
pub struct  IndexExpr {
  pub name: String,
  pub index: VecDeque<i32>,
}
#[derive(Debug, Clone)]
pub enum BlockItem {
    Stmt(Stmt),
    Decl(Decl),
}
#[derive(Debug, Clone)]
pub enum Stmt {
  Ret(Expr),
  Expr(Option<Expr>),
  If(Expr, Box<Stmt>, Option<Box<Stmt>>),
  Block(Vec<BlockItem>),
  For(Option<Expr>,Option<Expr>,Option<Expr>, Box<Stmt>),
  While(Expr, Box<Stmt>),
  Continue,
  Break,
  // Decl(Decl),
}

#[derive(Debug, Clone)]
pub enum Type {
  Integer  
}

#[derive(Debug, Clone)]
pub enum Expr {
  Unary(Unary),
  Add(Box<Expr>, Box<Expr>),// left right
  Sub(Box<Expr>, Box<Expr>),
  Mul(Box<Expr>, Box<Expr>),
  Div(Box<Expr>, Box<Expr>),
  Mod(Box<Expr>, Box<Expr>),
  Lt(Box<Expr>, Box<Expr>),
  Gt(Box<Expr>, Box<Expr>),
  Let(Box<Expr>, Box<Expr>),
  Get(Box<Expr>, Box<Expr>),
  And(Box<Expr>, Box<Expr>),
  Or(Box<Expr>, Box<Expr>),
  NotEquals(Box<Expr>, Box<Expr>),
  Equals(Box<Expr>, Box<Expr>),
  Assign(Box<Vec<u32>>, Box<String>, Box<Expr>),
  Cond(Box<Expr>, Box<Expr>, Box<Expr>),
  Null,
}
#[derive(Debug, Clone)]
pub enum Unary {
  Int(i32),
  Neg(Box<Unary>),
  Primary(Box<Expr>),
  Identifier(Box<Vec<u32>>, Box<String>),
  Call(Call),
  Index(Box<Vec<u32>>, IndexExpr),
}