//
// Equality.cs:
//
// Author:
//	Cesar Lopez Nataren (cesar@ciencias.unam.mx)
//
// (C) 2003, 2004 Cesar Lopez Nataren
// (C) 2005, Novell Inc, (http://novell.com)
//

//
// Permission is hereby granted, free of charge, to any person obtaining
// a copy of this software and associated documentation files (the
// "Software"), to deal in the Software without restriction, including
// without limitation the rights to use, copy, modify, merge, publish,
// distribute, sublicense, and/or sell copies of the Software, and to
// permit persons to whom the Software is furnished to do so, subject to
// the following conditions:
// 
// The above copyright notice and this permission notice shall be
// included in all copies or substantial portions of the Software.
// 
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
// MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
// NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
// LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
// OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
// WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
//

using System;
using System.Text;
using System.Diagnostics;
using System.Reflection.Emit;

namespace Microsoft.JScript {

	public class Equality : BinaryOp {

		internal Equality (AST parent, AST left, AST right, JSToken op, Location location)
			: base (parent, left, right, op, location)
		{
		}

		public Equality (int i)
			: base (null, null, null, (JSToken) i, null)
		{
		}

		[DebuggerStepThroughAttribute]
		[DebuggerHiddenAttribute]
		public bool EvaluateEquality (object v1, object v2)
		{
			IConvertible ic1 = v1 as IConvertible;
			IConvertible ic2 = v2 as IConvertible;

			TypeCode tc1 = Convert.GetTypeCode (v1, ic1);
			TypeCode tc2 = Convert.GetTypeCode (v2, ic2);

			bool both_numbers = Convert.IsNumberTypeCode (tc1) && Convert.IsNumberTypeCode (tc2);
			if ((tc1 == tc2) || both_numbers) {
				switch (tc1) {
				case TypeCode.DBNull:
				case TypeCode.Empty:
					return true;

				case TypeCode.Boolean:
					return ic1.ToBoolean (null) == ic2.ToBoolean (null);

				case TypeCode.String:
					return ic1.ToString (null) == ic2.ToString (null);

				case TypeCode.Object:
					if (v1 is ScriptFunction && v2 is ScriptFunction)
						return v1 == v2 || v1.Equals (v2);
					else
						return v1 == v2;

				default:
					if (both_numbers) {
						double num1;
						if (Convert.IsFloatTypeCode (tc1))
							num1 = ic1.ToDouble (null);
						else
							num1 = (double) ic1.ToInt64 (null);

						double num2;
						if (Convert.IsFloatTypeCode (tc2))
							num2 = ic2.ToDouble (null);
						else
							num2 = (double) ic2.ToInt64 (null);

						return num1 == num2;
					} else
						return false;
				}
			} else {
				bool swapped = false;

			redo:
				switch (tc1) {
				case TypeCode.DBNull:
					if (tc2 == TypeCode.Empty)
						return true;
					break;

				case TypeCode.String:
					if (Convert.IsNumberTypeCode (tc2))
						return EvaluateEquality (Convert.ToNumber (v1), v2);
					break;

				case TypeCode.Boolean:
					return EvaluateEquality (Convert.ToNumber (v1), v2);

				case TypeCode.Object:
					if (tc2 == TypeCode.String || Convert.IsNumberTypeCode (tc2))
						return EvaluateEquality (Convert.ToPrimitive (v1, null), v2);
					break;
				}

				if (!swapped) {
					swapped = true;

					object vt = v1;
					v1 = v2;
					v2 = vt;

					ic1 = v1 as IConvertible;
					ic2 = v2 as IConvertible;

					tc1 = Convert.GetTypeCode (v1, ic1);
					tc2 = Convert.GetTypeCode (v2, ic2);

					goto redo;
				} else
					return false;
			}
		}

		public static bool JScriptEquals (object v1, object v2)
		{
			throw new NotImplementedException ();
		}

		internal override bool Resolve (IdentificationTable context)
		{
			bool r = true;
			if (left != null)
				r &= left.Resolve (context);
			if (right != null)
				r &= right.Resolve (context);
			return r;
		}

		internal override bool Resolve (IdentificationTable context, bool no_effect)
		{
			this.no_effect = no_effect;
			return Resolve (context);
		}

		internal override void Emit (EmitContext ec)
		{
			ILGenerator ig = ec.ig;
			LocalBuilder local_builder;

			if (op != JSToken.None) {
				Type t = typeof (Equality);
				local_builder = ig.DeclareLocal (t);
				if (op == JSToken.Equal)
					ig.Emit (OpCodes.Ldc_I4_S, (byte) 53);
				else if (op == JSToken.NotEqual)
					ig.Emit (OpCodes.Ldc_I4_S, (byte) 54);
				ig.Emit (OpCodes.Newobj, t.GetConstructor (new Type [] { typeof (int) }));
				ig.Emit (OpCodes.Stloc, local_builder);
				ig.Emit (OpCodes.Ldloc, local_builder);
			}

			if (left != null) {
				left.Emit (ec);
				CodeGenerator.EmitBox (ig, left);
			}
			if (right != null) {
				right.Emit (ec);
				CodeGenerator.EmitBox (ig, right);
			}

			if (op == JSToken.Equal || op == JSToken.NotEqual) {
				ig.Emit (OpCodes.Call, typeof (Equality).GetMethod ("EvaluateEquality"));

				if (no_effect) {
					Label t_lbl = ig.DefineLabel ();
					Label f_lbl = ig.DefineLabel ();

					if (op == JSToken.Equal)
						ig.Emit (OpCodes.Brtrue_S, t_lbl);
					else if (op == JSToken.NotEqual)
						ig.Emit (OpCodes.Brfalse_S, t_lbl);

					ig.Emit (OpCodes.Ldc_I4_0);
					ig.Emit (OpCodes.Br_S, f_lbl);
					ig.MarkLabel (t_lbl);
					ig.Emit (OpCodes.Ldc_I4_1);
					ig.MarkLabel (f_lbl);
					ig.Emit (OpCodes.Pop);
				}
			}
		}
	}
}