示例#1
0
        internal override void Emit(EmitContext ec)
        {
            ILGenerator ig = ec.ig;

            if (exp != null)
            {
                exp.Emit(ec);
            }

            ig.Emit(OpCodes.Ldarg_0);
            ig.Emit(OpCodes.Ldfld, typeof(ScriptObject).GetField("engine"));
            ig.Emit(OpCodes.Call, typeof(With).GetMethod("JScriptWith"));
            ig.Emit(OpCodes.Pop);

            ig.BeginExceptionBlock();

            if (stm != null)
            {
                stm.Emit(ec);
            }

            ig.BeginFinallyBlock();
            ig.Emit(OpCodes.Ldarg_0);
            ig.Emit(OpCodes.Ldfld, typeof(ScriptObject).GetField("engine"));
            ig.Emit(OpCodes.Call, typeof(VsaEngine).GetMethod("PopScriptObject"));
            ig.Emit(OpCodes.Pop);

            ig.EndExceptionBlock();
        }
示例#2
0
        internal override void Emit(EmitContext ec)
        {
            ILGenerator ig = ec.ig;

            ig.BeginExceptionBlock();

            if (guarded_block != null)
            {
                guarded_block.Emit(ec);
            }

            if (catch_blocks != null && catch_blocks.Count > 0)
            {
                foreach (Catch c in catch_blocks)
                {
                    c.Emit(ec);
                }
            }
            if (finally_block != null)
            {
                ig.BeginFinallyBlock();
                finally_block.Emit(ec);
            }
            ig.EndExceptionBlock();
        }
示例#3
0
        internal override void Emit(EmitContext ec)
        {
            if (exp != null)
            {
                exp.Emit(ec);
            }

            ILGenerator ig             = ec.ig;
            Label       init_default   = ig.DefineLabel();
            Label       end_of_default = ig.DefineLabel();
            Label       old_end        = ec.LoopEnd;

            ec.LoopEnd = ig.DefineLabel();

            LocalBuilder loc = ig.DeclareLocal(typeof(object));

            ig.Emit(OpCodes.Stloc, loc);

            foreach (Clause c in case_clauses)
            {
                ig.Emit(OpCodes.Ldloc, loc);
                c.EmitConditional(ec);
            }

            /* emit conditionals from clauses that come after the default clause */
            if (sec_case_clauses != null && sec_case_clauses.Count > 0)
            {
                foreach (Clause c in sec_case_clauses)
                {
                    ig.Emit(OpCodes.Ldloc, loc);
                    c.EmitConditional(ec);
                }
            }
            ig.Emit(OpCodes.Br, init_default);

            /* emit the stms from case_clauses */
            foreach (Clause c in case_clauses)
            {
                ig.MarkLabel(c.matched_block);
                c.EmitStms(ec);
            }

            ig.MarkLabel(init_default);
            foreach (AST ast in default_clauses)
            {
                ast.Emit(ec);
            }
            ig.MarkLabel(end_of_default);

            if (sec_case_clauses != null && sec_case_clauses.Count > 0)
            {
                foreach (Clause c in sec_case_clauses)
                {
                    ig.MarkLabel(c.matched_block);
                    c.EmitStms(ec);
                }
            }
            ig.MarkLabel(ec.LoopEnd);
            ec.LoopEnd = old_end;
        }
示例#4
0
        internal override void Emit(EmitContext ec)
        {
            ILGenerator ig          = ec.ig;
            Type        t           = typeof(object);
            bool        in_function = InFunction;

            if (in_function)
            {
                local_builder = ig.DeclareLocal(t);
            }
            else
            {
                field_info = ec.type_builder.DefineField(mangle_id(id), t, FieldAttributes.Public | FieldAttributes.Static);
            }

            ig.BeginCatchBlock(typeof(Exception));
            CodeGenerator.load_engine(in_function, ig);
            ig.Emit(OpCodes.Call, typeof(Try).GetMethod("JScriptExceptionValue"));

            if (in_function)
            {
                ig.Emit(OpCodes.Stloc, local_builder);
            }
            else
            {
                ig.Emit(OpCodes.Stsfld, field_info);
            }

            stms.Emit(ec);
        }
示例#5
0
        internal override void Emit(EmitContext ec)
        {
            ILGenerator ig         = ec.ig;
            Label       old_begin  = ec.LoopBegin;
            Label       old_end    = ec.LoopEnd;
            Label       body_label = ig.DefineLabel();

            ec.LoopBegin = ig.DefineLabel();
            ec.LoopEnd   = ig.DefineLabel();

            ig.MarkLabel(body_label);

            if (stm != null)
            {
                stm.Emit(ec);
            }

            ig.MarkLabel(ec.LoopBegin);

            if (parent.GetType() == typeof(Labelled))
            {
                ig.MarkLabel((parent as Labelled).InitAddrs);
            }

            CodeGenerator.fall_false(ec, exp, body_label);
            ig.MarkLabel(ec.LoopEnd);

            ec.LoopBegin = old_begin;
            ec.LoopEnd   = old_end;
        }
示例#6
0
        internal override void Emit(EmitContext ec)
        {
            ILGenerator  ig  = ec.ig;
            Label        lbl = ig.DefineLabel();
            LocalBuilder loc = null;

            if (expression != null)
            {
                expression.Emit(ec);
                loc = ig.DeclareLocal(typeof(object));

                if (exp_returns_void)
                {
                    ig.Emit(OpCodes.Ldnull);
                }

                ig.Emit(OpCodes.Stloc, loc);
            }

            ig.Emit(OpCodes.Br, lbl);
            ig.MarkLabel(lbl);

            if (loc != null)
            {
                ig.Emit(OpCodes.Ldloc, loc);
            }
        }
示例#7
0
        internal override void Emit(EmitContext ec)
        {
            ILGenerator ig = ec.ig;

            expression.Emit(ec);
            ig.Emit(OpCodes.Call, typeof(Throw).GetMethod("JScriptThrow"));
            ig.Emit(OpCodes.Throw);
        }
示例#8
0
 static void emit_default_case(EmitContext ec, AST ast, OpCode op, Label lbl)
 {
     ast.Emit(ec);
     if (need_convert_to_boolean(ast))
     {
         emit_to_boolean(ast, ec.ig, 0);
     }
     ec.ig.Emit(op, lbl);
 }
示例#9
0
        internal void EmitConditional(EmitContext ec)
        {
            if (exp != null)
            {
                exp.Emit(ec);
            }
            ILGenerator ig = ec.ig;

            matched_block = ig.DefineLabel();
            ig.Emit(OpCodes.Call, typeof(StrictEquality).GetMethod("JScriptStrictEquals"));
            ig.Emit(OpCodes.Brtrue, matched_block);
        }
        internal override void Emit(EmitContext ec)
        {
            ILGenerator ig = ec.ig;

            if (parent == null || (parent.GetType() != typeof(FunctionDeclaration) &&
                                   parent.GetType() != typeof(FunctionExpression)))
            {
                if (val != null)
                {
                    val.Emit(ec);
                    CodeGenerator.EmitBox(ig, val);
                    ig.Emit(OpCodes.Stsfld, field_info);
                }
            }
            else
            {
                if (val != null)
                {
                    val.Emit(ec);
                    CodeGenerator.EmitBox(ig, val);
                    ig.Emit(OpCodes.Stloc, local_builder);
                }
            }
        }
示例#11
0
        internal override void Emit(EmitContext ec)
        {
            ILGenerator ig = ec.ig;

            init_addrs = ig.DefineLabel();
            end_addrs  = ig.DefineLabel();

            if (!IsLoop(stm))
            {
                ig.MarkLabel(init_addrs);
            }

            stm.Emit(ec);

            ig.MarkLabel(end_addrs);
        }
示例#12
0
        static void ft_binary_recursion(EmitContext ec, AST ast, Label lbl)
        {
            ILGenerator ig = ec.ig;

            if (ast is Binary)
            {
                Binary b = ast as Binary;
                switch (b.op)
                {
                case JSToken.LogicalOr:
                    Label ftLb = ig.DefineLabel();
                    fall_false(ec, b.left, ftLb);
                    fall_true(ec, b.right, lbl);
                    ig.MarkLabel(ftLb);
                    break;

                case JSToken.LogicalAnd:
                    fall_true(ec, b.left, lbl);
                    fall_true(ec, b.right, lbl);
                    break;

                case JSToken.LessThan:
                    ig.Emit(OpCodes.Ldc_I4_0);
                    ig.Emit(OpCodes.Conv_R8);
                    ig.Emit(OpCodes.Blt, lbl);
                    break;

                default:
                    ast.Emit(ec);
                    ig.Emit(OpCodes.Ldc_I4_1);
                    ig.Emit(OpCodes.Call, typeof(Convert).GetMethod("ToBoolean", new Type [] { typeof(object), typeof(bool) }));
                    ig.Emit(OpCodes.Brfalse, lbl);
                    break;
                }
            }
        }
示例#13
0
 internal override void Emit(EmitContext ec)
 {
     ec.ig.Emit(OpCodes.Ldstr, property_name);
     exp.Emit(ec);
     CodeGenerator.EmitBox(ec.ig, exp);
 }
示例#14
0
        static void ft_binary_recursion(EmitContext ec, AST ast, Label lbl)
        {
            ILGenerator ig = ec.ig;
            if (ast is Binary) {
                Binary b = ast as Binary;
                switch (b.op) {
                case JSToken.LogicalOr:
                    Label ftLb = ig.DefineLabel ();
                    fall_false (ec, b.left, ftLb);
                    fall_true (ec, b.right, lbl);
                    ig.MarkLabel (ftLb);
                    break;
                case JSToken.LogicalAnd:
                    fall_true (ec, b.left, lbl);
                    fall_true (ec, b.right, lbl);
                    break;

                case JSToken.LessThan:
                    ig.Emit (OpCodes.Ldc_I4_0);
                    ig.Emit (OpCodes.Conv_R8);
                    ig.Emit (OpCodes.Blt, lbl);
                    break;

                default:
                    ast.Emit (ec);
                    ig.Emit (OpCodes.Ldc_I4_1);
                    ig.Emit (OpCodes.Call, typeof (Convert).GetMethod ("ToBoolean", new Type [] {typeof (object), typeof (bool)}));
                    ig.Emit (OpCodes.Brfalse, lbl);
                    break;
                }
            }
        }
示例#15
0
 static void emit_default_case(EmitContext ec, AST ast, OpCode op, Label lbl)
 {
     ast.Emit (ec);
     if (need_convert_to_boolean (ast))
         emit_to_boolean (ast, ec.ig, 0);
     ec.ig.Emit (op, lbl);
 }
示例#16
0
        private void emit_non_numeric_unary(EmitContext ec, AST operand, byte oper)
        {
            ILGenerator ig = ec.ig;

            Type unary_type = typeof (NumericUnary);
            LocalBuilder unary_builder = ig.DeclareLocal (unary_type);

            ig.Emit (OpCodes.Ldc_I4_S, oper);
            ig.Emit (OpCodes.Newobj, unary_type.GetConstructor (new Type [] { typeof (int) }));
            ig.Emit (OpCodes.Stloc, unary_builder);
            ig.Emit (OpCodes.Ldloc, unary_builder);

            operand.Emit (ec);

            ig.Emit (OpCodes.Call, unary_type.GetMethod ("EvaluateUnary"));
        }
示例#17
0
        internal override void Emit(EmitContext ec)
        {
            AST         tmp;
            ILGenerator ig        = ec.ig;
            Label       old_begin = ec.LoopBegin;
            Label       old_end   = ec.LoopEnd;
            Label       back      = ig.DefineLabel();
            Label       forward   = ig.DefineLabel();


            /* emit init expr */
            tmp = exprs [0];
            if (tmp != null)
            {
                tmp.Emit(ec);
            }

            ec.LoopBegin = ig.DefineLabel();
            ec.LoopEnd   = ig.DefineLabel();

            ig.MarkLabel(back);
            ig.MarkLabel(ec.LoopBegin);

            /* emit condition */
            tmp = exprs [1];
            if (tmp != null)
            {
                tmp.Emit(ec);
            }

            if (tmp != null && tmp is Expression)
            {
                ArrayList t = ((Expression)tmp).exprs;
                AST       a = (AST)t [t.Count - 1];
                if (a is Equality)
                {
                    ig.Emit(OpCodes.Brfalse, forward);
                }
                else if (a is Relational)
                {
                    Relational rel = (Relational)a;
                    ig.Emit(OpCodes.Ldc_I4_0);
                    ig.Emit(OpCodes.Conv_R8);

                    if (rel.op == JSToken.GreaterThan)
                    {
                        ig.Emit(OpCodes.Ble, forward);
                    }
                    else
                    {
                        ig.Emit(OpCodes.Bge, forward);
                    }
                }
            }
            /* emit stms */
            if (stms != null)
            {
                stms.Emit(ec);
            }

            if (parent.GetType() == typeof(Labelled))
            {
                ig.MarkLabel((parent as Labelled).InitAddrs);
            }

            tmp = exprs [2];
            /* emit increment */
            if (tmp != null)
            {
                tmp.Emit(ec);
            }

            ig.Emit(OpCodes.Br, back);
            ig.MarkLabel(forward);
            ig.MarkLabel(ec.LoopEnd);

            ec.LoopBegin = old_begin;
            ec.LoopEnd   = old_end;
        }