// Copyright 2015, 2016 Ethcore (UK) Ltd.
// This file is part of Parity.

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

// Parity 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 Parity.  If not, see <http://www.gnu.org/licenses/>.

//! Execution environment substate.
use common::*;

#[derive(Debug, Clone)]
pub struct TraceCall {
	pub from: Address,
	pub to: Address,
	pub value: U256,
	pub gas: U256,
	pub input: Bytes,
	pub result: Option<U256>,
//	pub output: Bytes,
}

#[derive(Debug, Clone)]
pub struct TraceCreate {
	pub from: Address,
	pub value: U256,
	pub gas: U256,
	pub init: Bytes,
	pub result: Option<(U256, Address)>,
//	pub output: Bytes,
}

#[derive(Debug, Clone)]
pub enum TraceAction {
	Unknown,
	Call(TraceCall),
	Create(TraceCreate),
}

#[derive(Debug, Clone)]
pub struct TraceItem {
	pub action: TraceAction,
	pub subs: Vec<TraceItem>,
}

impl Default for TraceItem {
	fn default() -> TraceItem {
		TraceItem {
			action: TraceAction::Unknown,
			subs: vec![],
		}
	}
}

/// 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 logs.
	pub logs: Vec<LogEntry>,

	/// Refund counter of SSTORE nonzero -> zero.
	pub sstore_clears_count: U256,

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

	/// The trace during this execution.
	pub trace: Vec<TraceItem>,
}

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, action: TraceAction) {
		self.suicides.extend(s.suicides.into_iter());
		self.logs.extend(s.logs.into_iter());
		self.sstore_clears_count = self.sstore_clears_count + s.sstore_clears_count;
		self.contracts_created.extend(s.contracts_created.into_iter());
		self.trace.push(TraceItem {
			action: action,
			subs: s.trace,
		});
	}
}



impl TraceAction {
	pub fn from_call(p: &ActionParams) -> TraceAction {
		TraceAction::Call(TraceCall {
			from: p.sender.clone(),
			to: p.address.clone(),
			value: match p.value { ActionValue::Transfer(ref x) | ActionValue::Apparent(ref x) => x.clone() },
			gas: p.gas.clone(),
			input: p.data.clone().unwrap_or(vec![]),
			result: None,
		})
	}

	pub fn from_create(p: &ActionParams) -> TraceAction {
		TraceAction::Create(TraceCreate {
			from: p.sender.clone(),
			value: match p.value { ActionValue::Transfer(ref x) | ActionValue::Apparent(ref x) => x.clone() },
			gas: p.gas.clone(),
			init: p.data.clone().unwrap_or(vec![]),
			result: None,
		})
	}
}

#[cfg(test)]
mod tests {
	use super::*;
	use common::*;

	#[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_u64(1u64));
		sub_state.logs.push(LogEntry {
			address: address_from_u64(1u64),
			topics: vec![],
			data: vec![]
		});
		sub_state.sstore_clears_count = x!(5);
		sub_state.suicides.insert(address_from_u64(10u64));

		let mut sub_state_2 = Substate::new();
		sub_state_2.contracts_created.push(address_from_u64(2u64));
		sub_state_2.logs.push(LogEntry {
			address: address_from_u64(1u64),
			topics: vec![],
			data: vec![]
		});
		sub_state_2.sstore_clears_count = x!(7);

		sub_state.accrue(sub_state_2);
		assert_eq!(sub_state.contracts_created.len(), 2);
		assert_eq!(sub_state.sstore_clears_count, x!(12));
		assert_eq!(sub_state.suicides.len(), 1);
	}
}