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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
use std::cell::RefCell;
use std::rc::Rc;

#[derive(Debug, Clone, Eq, PartialEq)]
pub(crate) enum ContextItem {
    Class,
    Module,
    Sclass,
    Def,
    Defs,
    Block,
    Lambda,
}

#[derive(Debug, Clone, Default)]
pub(crate) struct Context {
    pub(crate) stack: Rc<RefCell<Vec<ContextItem>>>,
}

impl Context {
    pub(crate) fn new() -> Self {
        Self {
            stack: Rc::new(RefCell::new(vec![])),
        }
    }

    pub(crate) fn is_empty(&self) -> bool {
        self.stack.borrow().is_empty()
    }

    fn push(&self, item: ContextItem) {
        self.stack.borrow_mut().push(item);
    }

    pub(crate) fn push_class(&self) {
        self.push(ContextItem::Class)
    }

    pub(crate) fn push_module(&self) {
        self.push(ContextItem::Module)
    }

    pub(crate) fn push_sclass(&self) {
        self.push(ContextItem::Sclass)
    }

    pub(crate) fn push_def(&self) {
        self.push(ContextItem::Def)
    }

    pub(crate) fn push_defs(&self) {
        self.push(ContextItem::Defs)
    }

    pub(crate) fn push_block(&self) {
        self.push(ContextItem::Block)
    }

    pub(crate) fn push_lambda(&self) {
        self.push(ContextItem::Lambda)
    }

    pub(crate) fn pop(&self) {
        self.stack.borrow_mut().pop();
    }

    fn is_in(&self, item: ContextItem) -> bool {
        self.stack.borrow().last() == Some(&item)
    }

    pub(crate) fn is_in_class(&self) -> bool {
        self.is_in(ContextItem::Class)
    }

    #[allow(dead_code)]
    pub(crate) fn is_in_module(&self) -> bool {
        self.is_in(ContextItem::Module)
    }

    #[allow(dead_code)]
    pub(crate) fn is_in_sclass(&self) -> bool {
        self.is_in(ContextItem::Sclass)
    }

    pub(crate) fn is_in_def(&self) -> bool {
        self.is_in(ContextItem::Def)
    }

    #[allow(dead_code)]
    pub(crate) fn is_in_defs(&self) -> bool {
        self.is_in(ContextItem::Defs)
    }

    #[allow(dead_code)]
    pub(crate) fn is_in_block(&self) -> bool {
        self.is_in(ContextItem::Block)
    }

    #[allow(dead_code)]
    pub(crate) fn is_in_lambda(&self) -> bool {
        self.is_in(ContextItem::Lambda)
    }

    #[allow(dead_code)]
    pub(crate) fn reset(&self) {
        self.stack.borrow_mut().clear()
    }

    #[allow(dead_code)]
    pub(crate) fn is_indirectly_in_def(&self) -> bool {
        let stack = self.stack.borrow();
        stack.contains(&ContextItem::Def) || stack.contains(&ContextItem::Defs)
    }

    pub(crate) fn is_class_definition_allowed(&self) -> bool {
        let stack = self.stack.borrow();
        let def_index: Option<usize> = stack
            .iter()
            .rev()
            .position(|i| *i == ContextItem::Def || *i == ContextItem::Defs);
        let sclass_index: Option<usize> =
            stack.iter().rev().position(|i| *i == ContextItem::Sclass);

        match (def_index, sclass_index) {
            (None, _) => true,
            (Some(_), None) => false,
            (Some(def_index), Some(sclass_index)) => sclass_index < def_index,
        }
    }

    pub(crate) fn is_module_definition_allowed(&self) -> bool {
        self.is_class_definition_allowed()
    }

    pub(crate) fn is_dynamic_const_definition_allowed(&self) -> bool {
        self.is_class_definition_allowed()
    }

    pub(crate) fn is_in_dynamic_block(&self) -> bool {
        self.is_in(ContextItem::Block) || self.is_in(ContextItem::Lambda)
    }

    pub(crate) fn inner_clone(&self) -> Vec<ContextItem> {
        self.stack.borrow().clone()
    }
}