// 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/>.

//! State of all accounts in the system expressed in Plain Old Data.

use std::collections::BTreeMap;
use vapory_types::{H256, Address};
use triehash::sec_trie_root;
use common_types::state_diff::StateDiff;
use vapjson;
use serde::Serialize;

use crate::account::PodAccount;

/// State of all accounts in the system expressed in Plain Old Data.
#[derive(Debug, Clone, PartialEq, Eq, Default, Serialize)]
pub struct PodState(BTreeMap<Address, PodAccount>);

impl PodState {
	/// Get the underlying map.
	pub fn get(&self) -> &BTreeMap<Address, PodAccount> {
		&self.0
	}

	/// Get the root hash of the trie of the RLP of this.
	pub fn root(&self) -> H256 {
		sec_trie_root(self.0.iter().map(|(k, v)| (k, v.rlp())))
	}

	/// Drain object to get the underlying map.
	pub fn drain(self) -> BTreeMap<Address, PodAccount> {
		self.0
	}
}

impl From<vapjson::spec::State> for PodState {
	fn from(s: vapjson::spec::State) -> PodState {
		let state: BTreeMap<_,_> = s.into_iter()
			.filter(|pair| !pair.1.is_empty())
			.map(|(addr, acc)| (addr.into(), PodAccount::from(acc)))
			.collect();
		PodState(state)
	}
}

impl From<BTreeMap<Address, PodAccount>> for PodState {
	fn from(s: BTreeMap<Address, PodAccount>) -> Self {
		PodState(s)
	}
}

/// Calculate and return diff between `pre` state and `post` state.
pub fn diff_pod(pre: &PodState, post: &PodState) -> StateDiff {
	StateDiff {
		raw: pre.0.keys()
			.chain(post.0.keys())
			.filter_map(|acc| crate::account::diff_pod(pre.0.get(acc), post.0.get(acc)).map(|d| (*acc, d)))
			.collect()
	}
}

#[cfg(test)]
mod test {
	use std::collections::BTreeMap;
	use common_types::{
		account_diff::{AccountDiff, Diff},
		state_diff::StateDiff,
	};
	use vapory_types::Address;
	use crate::account::PodAccount;
	use super::PodState;
	use tetsy_macros::map;

	#[test]
	fn create_delete() {
		let a = PodState::from(map![
			Address::from_low_u64_be(1) => PodAccount {
				balance: 69.into(),
				nonce: 0.into(),
				code: Some(Vec::new()),
				storage: map![],
				version: 0.into(),
			}
		]);
		assert_eq!(super::diff_pod(&a, &PodState::default()), StateDiff { raw: map![
			Address::from_low_u64_be(1) => AccountDiff{
				balance: Diff::Died(69.into()),
				nonce: Diff::Died(0.into()),
				code: Diff::Died(vec![]),
				storage: map![],
			}
		]});
		assert_eq!(super::diff_pod(&PodState::default(), &a), StateDiff { raw: map![
			Address::from_low_u64_be(1) => AccountDiff{
				balance: Diff::Born(69.into()),
				nonce: Diff::Born(0.into()),
				code: Diff::Born(vec![]),
				storage: map![],
			}
		]});
	}

	#[test]
	fn create_delete_with_unchanged() {
		let a = PodState::from(map![
			Address::from_low_u64_be(1) => PodAccount {
				balance: 69.into(),
				nonce: 0.into(),
				code: Some(Vec::new()),
				storage: map![],
				version: 0.into(),
			}
		]);
		let b = PodState::from(map![
			Address::from_low_u64_be(1) => PodAccount {
				balance: 69.into(),
				nonce: 0.into(),
				code: Some(Vec::new()),
				storage: map![],
				version: 0.into(),
			},
			Address::from_low_u64_be(2) => PodAccount {
				balance: 69.into(),
				nonce: 0.into(),
				code: Some(Vec::new()),
				storage: map![],
				version: 0.into(),
			}
		]);
		assert_eq!(super::diff_pod(&a, &b), StateDiff { raw: map![
			Address::from_low_u64_be(2) => AccountDiff {
				balance: Diff::Born(69.into()),
				nonce: Diff::Born(0.into()),
				code: Diff::Born(vec![]),
				storage: map![],
			}
		]});
		assert_eq!(super::diff_pod(&b, &a), StateDiff { raw: map![
			Address::from_low_u64_be(2) => AccountDiff {
				balance: Diff::Died(69.into()),
				nonce: Diff::Died(0.into()),
				code: Diff::Died(vec![]),
				storage: map![],
			}
		]});
	}

	#[test]
	fn change_with_unchanged() {
		let a = PodState::from(map![
			Address::from_low_u64_be(1) => PodAccount {
				balance: 69.into(),
				nonce: 0.into(),
				code: Some(Vec::new()),
				storage: map![],
				version: 0.into(),
			},
			Address::from_low_u64_be(2) => PodAccount {
				balance: 69.into(),
				nonce: 0.into(),
				code: Some(Vec::new()),
				storage: map![],
				version: 0.into(),
			}
		]);
		let b = PodState::from(map![
			Address::from_low_u64_be(1) => PodAccount {
				balance: 69.into(),
				nonce: 1.into(),
				code: Some(Vec::new()),
				storage: map![],
				version: 0.into(),
			},
			Address::from_low_u64_be(2) => PodAccount {
				balance: 69.into(),
				nonce: 0.into(),
				code: Some(Vec::new()),
				storage: map![],
				version: 0.into(),
			}
		]);
		assert_eq!(super::diff_pod(&a, &b), StateDiff { raw: map![
			Address::from_low_u64_be(1) => AccountDiff {
				balance: Diff::Same,
				nonce: Diff::Changed(0.into(), 1.into()),
				code: Diff::Same,
				storage: map![],
			}
		]});
	}

}