runmat-mir 0.5.0

Mid-level IR and analysis scaffolding for RunMat
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

use crate::{AsyncBehaviorFact, MirOperand};
use runmat_builtins::{
    BuiltinEffects, BuiltinEnvironmentEffect, BuiltinPurity, BuiltinSemanticKind,
    BuiltinWorkspaceEffect,
};
use runmat_hir::{
    CallSyntax, CallableFallbackPolicy, CallableIdentity, RequestedOutputCount, Span,
};
use serde::{Deserialize, Serialize};

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct MirCall {
    pub callee: MirCallee,
    pub args: Vec<MirCallArg>,
    pub arg_spans: Vec<Span>,
    pub syntax: CallSyntax,
    pub requested_outputs: RequestedOutputCount,
    pub fallback_policy: CallableFallbackPolicy,
    pub async_behavior: AsyncBehaviorFact,
    pub effects: BuiltinEffects,
    pub workspace_effect: Option<BuiltinWorkspaceEffect>,
    pub environment_effect: Option<BuiltinEnvironmentEffect>,
    pub purity: BuiltinPurity,
    pub semantic_kind: BuiltinSemanticKind,
}

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub enum MirCallee {
    Static(CallableIdentity),
    SuperConstructor {
        current_class: String,
        super_class: String,
    },
    SuperMethod {
        current_class: String,
        super_class: String,
        method: String,
    },
    Dynamic(MirOperand),
}

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub enum MirCallArg {
    Single(MirOperand),
    Expansion {
        base: MirOperand,
        indices: Vec<MirOperand>,
        expand_all: bool,
    },
}

impl MirCallArg {
    pub fn operand(&self) -> &MirOperand {
        match self {
            MirCallArg::Single(operand) => operand,
            MirCallArg::Expansion { base, .. } => base,
        }
    }
}