The Labs \ Source Viewer \ SSCLI \ Microsoft.JScript \ Logical_and

  1. // ==++==
  2. //
  3. //
  4. // Copyright (c) 2006 Microsoft Corporation. All rights reserved.
  5. //
  6. // The use and distribution terms for this software are contained in the file
  7. // named license.txt, which can be found in the root of this distribution.
  8. // By using this software in any fashion, you are agreeing to be bound by the
  9. // terms of this license.
  10. //
  11. // You must not remove this notice, or any other, from this software.
  12. //
  13. //
  14. // ==--==
  15. namespace Microsoft.JScript
  16. {
  17.    
  18.     using System;
  19.     using System.Reflection;
  20.     using System.Reflection.Emit;
  21.    
  22.     internal sealed class Logical_and : BinaryOp
  23.     {
  24.        
  25.         internal Logical_and(Context context, AST operand1, AST operand2) : base(context, operand1, operand2)
  26.         {
  27.         }
  28.        
  29.         internal override object Evaluate()
  30.         {
  31.             object v1 = this.operand1.Evaluate();
  32.             MethodInfo opFalse = null;
  33.             Type t1 = null;
  34.             if (v1 != null && !(v1 is IConvertible)) {
  35.                 t1 = v1.GetType();
  36.                 opFalse = t1.GetMethod("op_False", BindingFlags.ExactBinding | BindingFlags.Public | BindingFlags.Static, null, new Type[] {t1}, null);
  37.                 if (opFalse == null || (opFalse.Attributes & MethodAttributes.SpecialName) == 0 || opFalse.ReturnType != Typeob.Boolean)
  38.                     opFalse = null;
  39.             }
  40.             if (opFalse == null) {
  41.                 if (!Convert.ToBoolean(v1))
  42.                     return v1;
  43.                 return this.operand2.Evaluate();
  44.             }
  45.             opFalse = new JSMethodInfo(opFalse);
  46.             if ((bool)opFalse.Invoke(null, BindingFlags.SuppressChangeType, null, new object[] {v1}, null))
  47.                 return v1;
  48.             object v2 = this.operand2.Evaluate();
  49.             Type t2 = null;
  50.             if (v2 != null && !(v2 is IConvertible)) {
  51.                 t2 = v2.GetType();
  52.                 if (t1 == t2) {
  53.                     MethodInfo bitwiseAnd = t1.GetMethod("op_BitwiseAnd", BindingFlags.ExactBinding | BindingFlags.Public | BindingFlags.Static, null, new Type[] {t1, t1}, null);
  54.                     if (bitwiseAnd != null && (bitwiseAnd.Attributes & MethodAttributes.SpecialName) != 0) {
  55.                         bitwiseAnd = new JSMethodInfo(bitwiseAnd);
  56.                         return bitwiseAnd.Invoke(null, BindingFlags.SuppressChangeType, null, new object[] {v1, v2}, null);
  57.                     }
  58.                 }
  59.             }
  60.             return v2;
  61.         }
  62.        
  63.         internal override IReflect InferType(JSField inference_target)
  64.         {
  65.             IReflect t1 = this.operand1.InferType(inference_target);
  66.             IReflect t2 = this.operand2.InferType(inference_target);
  67.             if (t1 == t2)
  68.                 return t1;
  69.             return Typeob.Object;
  70.         }
  71.        
  72.         internal override void TranslateToConditionalBranch(ILGenerator il, bool branchIfTrue, Label label, bool shortForm)
  73.         {
  74.             Label exit = il.DefineLabel();
  75.             if (branchIfTrue) {
  76.                 this.operand1.TranslateToConditionalBranch(il, false, exit, shortForm);
  77.                 this.operand2.TranslateToConditionalBranch(il, true, label, shortForm);
  78.                 il.MarkLabel(exit);
  79.             }
  80.             else {
  81.                 this.operand1.TranslateToConditionalBranch(il, false, label, shortForm);
  82.                 this.operand2.TranslateToConditionalBranch(il, false, label, shortForm);
  83.             }
  84.         }
  85.        
  86.         internal override void TranslateToIL(ILGenerator il, Type rtype)
  87.         {
  88.             Type t1 = Convert.ToType(this.operand1.InferType(null));
  89.             Type t2 = Convert.ToType(this.operand2.InferType(null));
  90.             if (t1 != t2)
  91.                 t1 = Typeob.Object;
  92.             MethodInfo opFalse = t1.GetMethod("op_False", BindingFlags.ExactBinding | BindingFlags.Public | BindingFlags.Static, null, new Type[] {t1}, null);
  93.             if (opFalse == null || (opFalse.Attributes & MethodAttributes.SpecialName) == 0 || opFalse.ReturnType != Typeob.Boolean)
  94.                 opFalse = null;
  95.             MethodInfo bitwiseAnd = null;
  96.             if (opFalse != null)
  97.                 bitwiseAnd = t1.GetMethod("op_BitwiseAnd", BindingFlags.ExactBinding | BindingFlags.Public | BindingFlags.Static, null, new Type[] {t1, t1}, null);
  98.             if (bitwiseAnd == null || (bitwiseAnd.Attributes & MethodAttributes.SpecialName) == 0)
  99.                 opFalse = null;
  100.             Label exit = il.DefineLabel();
  101.             this.operand1.TranslateToIL(il, t1);
  102.             il.Emit(OpCodes.Dup);
  103.             if (opFalse != null) {
  104.                 if (t1.IsValueType)
  105.                     Convert.EmitLdloca(il, t1);
  106.                 il.Emit(OpCodes.Call, opFalse);
  107.                 il.Emit(OpCodes.Brtrue, exit);
  108.                 this.operand2.TranslateToIL(il, t1);
  109.                 il.Emit(OpCodes.Call, bitwiseAnd);
  110.                 il.MarkLabel(exit);
  111.                 Convert.Emit(this, il, bitwiseAnd.ReturnType, rtype);
  112.             }
  113.             else {
  114.                 Convert.Emit(this, il, t1, Typeob.Boolean, true);
  115.                 il.Emit(OpCodes.Brfalse, exit);
  116.                 il.Emit(OpCodes.Pop);
  117.                 this.operand2.TranslateToIL(il, t1);
  118.                 il.MarkLabel(exit);
  119.                 Convert.Emit(this, il, t1, rtype);
  120.             }
  121.         }
  122.        
  123.     }
  124. }

Developer Fusion