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

use std::fmt::Write;

use py_lex::ops::Operators;

use crate::types::{PrimitiveType, TypeDefine};

#[derive(serde::Serialize, serde::Deserialize, Debug, Clone)]
pub enum Value {
    Variable(String),
    Literal(Literal, PrimitiveType),
}

/// [`Operate::Unary`] and [`Operate::Binary`] are normal operations aroud primitives
///
/// computes around non-primitive types are turned into [FnCall]
#[derive(serde::Serialize, serde::Deserialize, Debug, Clone)]
pub enum Operate {
    Unary(Operators, Value),
    Binary(Operators, Value, Value),
}

#[derive(serde::Serialize, serde::Deserialize, Debug, Clone)]
pub enum AssignValue {
    Value(Value),
    FnCall(FnCall<Value>),
    Operate(Operate, PrimitiveType),
}

impl From<Value> for AssignValue {
    fn from(v: Value) -> Self {
        Self::Value(v)
    }
}

impl From<FnCall<Value>> for AssignValue {
    fn from(v: FnCall<Value>) -> Self {
        Self::FnCall(v)
    }
}

impl From<(Operate, PrimitiveType)> for AssignValue {
    fn from(value: (Operate, PrimitiveType)) -> Self {
        Self::Operate(value.0, value.1)
    }
}

impl super::IRValue for Value {
    type AssignValue = AssignValue;
    type VarDefineType = TypeDefine;
    type FnDefineType = TypeDefine;
    type ParameterType = TypeDefine;
}

#[derive(serde::Serialize, serde::Deserialize, Debug, Clone)]
pub struct FnCall<Var> {
    #[serde(rename = "fn")]
    pub fn_name: String,
    pub args: Vec<Var>,
}

/// [`Literal::Char`], [`Literal::Integer`] and [`Literal::Float`]
/// mean literals
///
/// althogn [`String`] is also [`Literal`], it will be replaced with [`VarDefine`] statement
/// so that the type of [`Literal`] can be represented by [`PrimitiveType`]
///
/// [`VarDefine`]: super
#[derive(serde::Serialize, serde::Deserialize, Debug, Clone)]
pub enum Literal {
    Char(char),
    Integer(usize),
    Float(f64),
}

impl std::fmt::Display for Literal {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        match self {
            Literal::Char(ch) => f.write_char(*ch),
            Literal::Integer(nu) => f.write_fmt(format_args!("{nu}")),
            Literal::Float(fl) => f.write_fmt(format_args!("{fl}")),
        }
    }
}