// (C) 2008-2009 Dr. Gergo ERDI <http://gergo.erdi.hu/>

using System.Collections.Generic;
using Alef.Runtime;

namespace Alef.ID
{
	class Plusint : Runtime.FunctionTag<Prog.Int.Plus> {}	
	class Minusint : Runtime.FunctionTag<Prog.Int.Minus> {}	
	class Mulint : Runtime.FunctionTag<Prog.Int.Mul> {}	
	class Divint : Runtime.FunctionTag<Prog.Int.Div> {}	
	class Eqint : Runtime.FunctionTag<Prog.Int.Eq> {}	
	class Ltint : Runtime.FunctionTag<Prog.Int.Lt> {}

	class Plusstring: Runtime.FunctionTag<Prog.String.Plus> {}
	
	class Showint: Runtime.FunctionTag<Prog.Int.Show> {}
}

namespace Alef.Prog.Int
{
	class Plus: Runtime.FunctionBase
	{
		internal override void Reduce (Runtime.Node node)
		{
			Node left = node.children[0];
			Node right = node.children[1];
			
			ReduceExprToCons (left);
			ReduceExprToCons (right);
			
			node.Overwrite (new Runtime.Node ((decimal)left.objPayload + (decimal)right.objPayload));
		}
	}
	
	class Minus: Runtime.FunctionBase
	{
		internal override void Reduce (Runtime.Node node)
		{
			Node left = node.children[0];
			Node right = node.children[1];
			
			ReduceExprToCons (left);
			ReduceExprToCons (right);
			
			node.Overwrite (new Runtime.Node ((decimal)left.objPayload - (decimal)right.objPayload));
		}
	}
	
	class Mul: Runtime.FunctionBase
	{
		internal override void Reduce (Runtime.Node node)
		{
			Node left = node.children[0];
			Node right = node.children[1];
			
			ReduceExprToCons (left);
			ReduceExprToCons (right);
			
			node.Overwrite (new Runtime.Node ((decimal)left.objPayload * (decimal)right.objPayload));
		}
	}			
	
	class Div: Runtime.FunctionBase
	{
		internal override void Reduce (Runtime.Node node)
		{
			Node left = node.children[0];
			Node right = node.children[1];
			
			ReduceExprToCons (left);
			ReduceExprToCons (right);
			
			node.Overwrite (new Runtime.Node ((decimal)left.objPayload / (decimal)right.objPayload));
		}
	}			
	
	class Eq: Runtime.FunctionBase
	{
		internal override void Reduce (Runtime.Node node)
		{
			Node left = node.children[0];
			Node right = node.children[1];
			
			ReduceExprToCons (left);
			ReduceExprToCons (right);
			
			node.Overwrite (new Runtime.Node ((decimal)left.objPayload == (decimal)right.objPayload));
		}
	}			

	class Lt: Runtime.FunctionBase
	{
		internal override void Reduce (Runtime.Node node)
		{
			Node left = node.children[0];
			Node right = node.children[1];
			
			ReduceExprToCons (left);
			ReduceExprToCons (right);
			
			node.Overwrite (new Runtime.Node ((decimal)left.objPayload < (decimal)right.objPayload));
		}
	}			

	class Show: Runtime.FunctionBase
	{
		internal override void Reduce (Runtime.Node node)
		{
			Node left = node.children[0];
			
			ReduceExprToCons (left);
			
			node.Overwrite (new Runtime.Node (((decimal)left.objPayload).ToString()));
		}
	}			
}

namespace Alef.Prog.String
{
	class Plus: Runtime.FunctionBase
	{
		internal override void Reduce (Runtime.Node node)
		{
			Node left = node.children[0];
			Node right = node.children[1];
			
			ReduceExprToCons (left);
			ReduceExprToCons (right);
			
			node.Overwrite (new Runtime.Node ((string)left.objPayload + (string)right.objPayload));
		}
	}
}