mashina 0.1.1

Vapory State Machine
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

// Copyright 2015-2020 Parity Technologies (UK) Ltd.
// This file is part of Tetsy Vapory.

// Tetsy Vapory is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// Tetsy Vapory is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with Tetsy Vapory.  If not, see <http://www.gnu.org/licenses/>.

//! Execution environment substate.

use std::collections::HashSet;
use vapory_types::Address;
use common_types::log_entry::LogEntry;

/// State changes which should be applied in finalize,
/// after transaction is fully executed.
#[derive(Debug, Default)]
pub struct Substate {
	/// Any accounts that have suicided.
	pub suicides: HashSet<Address>,

	/// Any accounts that are touched.
	pub touched: HashSet<Address>,

	/// Any logs.
	pub logs: Vec<LogEntry>,

	/// Refund counter of SSTORE.
	pub sstore_clears_refund: i128,

	/// Created contracts.
	pub contracts_created: Vec<Address>,
}

impl Substate {
	/// Creates new substate.
	pub fn new() -> Self {
		Substate::default()
	}

	/// Merge secondary substate `s` into self, accruing each element correspondingly.
	pub fn accrue(&mut self, s: Substate) {
		self.suicides.extend(s.suicides);
		self.touched.extend(s.touched);
		self.logs.extend(s.logs);
		self.sstore_clears_refund += s.sstore_clears_refund;
		self.contracts_created.extend(s.contracts_created);
	}
}

#[cfg(test)]
mod tests {
	use vapory_types::Address;
	use common_types::log_entry::LogEntry;
	use super::Substate;

	#[test]
	fn created() {
		let sub_state = Substate::new();
		assert_eq!(sub_state.suicides.len(), 0);
	}

	#[test]
	fn accrue() {
		let mut sub_state = Substate::new();
		sub_state.contracts_created.push(Address::from_low_u64_be(1));
		sub_state.logs.push(LogEntry {
			address: Address::from_low_u64_be(1),
			topics: vec![],
			data: vec![]
		});
		sub_state.sstore_clears_refund = (15000 * 5).into();
		sub_state.suicides.insert(Address::from_low_u64_be(10));

		let mut sub_state_2 = Substate::new();
		sub_state_2.contracts_created.push(Address::from_low_u64_be(2u64));
		sub_state_2.logs.push(LogEntry {
			address: Address::from_low_u64_be(1),
			topics: vec![],
			data: vec![]
		});
		sub_state_2.sstore_clears_refund = (15000 * 7).into();

		sub_state.accrue(sub_state_2);
		assert_eq!(sub_state.contracts_created.len(), 2);
		assert_eq!(sub_state.sstore_clears_refund, (15000 * 12).into());
		assert_eq!(sub_state.suicides.len(), 1);
	}
}