Example #1
0
        public static Value StaticRun()
        {
            {
                var tmp_1 = eval.StaticRun0_(_opHat.Create(FALSE.Create(), _opBitwiseAnd.Create(TRUE.Create(), _opBang.Create(FALSE.Create()))));

                var tmp_0 = tmp_1;

                var res    = tmp_0;
                var result = res;
                return(result);
            }


            throw new System.Exception("Error evaluating: run. No result returned.");
        }
Example #2
0
        public static Value StaticRun0_(Expr P1)
        {
            {
                var tmp_0 = P1 as TRUE;
                if (tmp_0 != null)
                {
                    var result = TRUE.Create();
                    return(result);
                }
            }


            {
                var tmp_0 = P1 as FALSE;
                if (tmp_0 != null)
                {
                    var result = FALSE.Create();
                    return(result);
                }
            }


            {
                var tmp_0 = P1 as _opBang;
                if (tmp_0 != null)
                {
                    var a     = tmp_0.P1;
                    var tmp_2 = eval.StaticRun0_(a);

                    var tmp_1 = tmp_2;

                    var tmp_3 = tmp_1 as TRUE;
                    if (tmp_3 != null)
                    {
                        var result = FALSE.Create();
                        return(result);
                    }
                }
            }


            {
                var tmp_0 = P1 as _opBang;
                if (tmp_0 != null)
                {
                    var a     = tmp_0.P1;
                    var tmp_2 = eval.StaticRun0_(a);

                    var tmp_1 = tmp_2;

                    var tmp_3 = tmp_1 as FALSE;
                    if (tmp_3 != null)
                    {
                        var result = TRUE.Create();
                        return(result);
                    }
                }
            }


            {
                var tmp_0 = P1 as _opBitwiseOr;
                if (tmp_0 != null)
                {
                    var a     = tmp_0.P1;
                    var b     = tmp_0.P2;
                    var tmp_2 = eval.StaticRun0_(a);

                    var tmp_1 = tmp_2;

                    var tmp_3 = tmp_1 as TRUE;
                    if (tmp_3 != null)
                    {
                        var result = TRUE.Create();
                        return(result);
                    }
                }
            }


            {
                var tmp_0 = P1 as _opBitwiseOr;
                if (tmp_0 != null)
                {
                    var a     = tmp_0.P1;
                    var b     = tmp_0.P2;
                    var tmp_2 = eval.StaticRun0_(a);

                    var tmp_1 = tmp_2;

                    var tmp_3 = tmp_1 as FALSE;
                    if (tmp_3 != null)
                    {
                        var tmp_5 = eval.StaticRun0_(b);

                        var tmp_4 = tmp_5;

                        var y      = tmp_4;
                        var result = y;
                        return(result);
                    }
                }
            }


            {
                var tmp_0 = P1 as _opBitwiseAnd;
                if (tmp_0 != null)
                {
                    var a     = tmp_0.P1;
                    var b     = tmp_0.P2;
                    var tmp_2 = eval.StaticRun0_(a);

                    var tmp_1 = tmp_2;

                    var tmp_3 = tmp_1 as FALSE;
                    if (tmp_3 != null)
                    {
                        var result = FALSE.Create();
                        return(result);
                    }
                }
            }


            {
                var tmp_0 = P1 as _opBitwiseAnd;
                if (tmp_0 != null)
                {
                    var a     = tmp_0.P1;
                    var b     = tmp_0.P2;
                    var tmp_2 = eval.StaticRun0_(a);

                    var tmp_1 = tmp_2;

                    var tmp_3 = tmp_1 as TRUE;
                    if (tmp_3 != null)
                    {
                        var tmp_5 = eval.StaticRun0_(b);

                        var tmp_4 = tmp_5;

                        var y      = tmp_4;
                        var result = y;
                        return(result);
                    }
                }
            }


            {
                var tmp_0 = P1 as _opHat;
                if (tmp_0 != null)
                {
                    var a     = tmp_0.P1;
                    var b     = tmp_0.P2;
                    var tmp_2 = eval.StaticRun0_(a);

                    var tmp_1 = tmp_2;

                    var tmp_3 = tmp_1 as TRUE;
                    if (tmp_3 != null)
                    {
                        var tmp_5 = eval.StaticRun0_(b);

                        var tmp_4 = tmp_5;

                        var tmp_6 = tmp_4 as FALSE;
                        if (tmp_6 != null)
                        {
                            var result = TRUE.Create();
                            return(result);
                        }
                    }
                }
            }


            {
                var tmp_0 = P1 as _opHat;
                if (tmp_0 != null)
                {
                    var a     = tmp_0.P1;
                    var b     = tmp_0.P2;
                    var tmp_2 = eval.StaticRun0_(a);

                    var tmp_1 = tmp_2;

                    var tmp_3 = tmp_1 as FALSE;
                    if (tmp_3 != null)
                    {
                        var tmp_5 = eval.StaticRun0_(b);

                        var tmp_4 = tmp_5;

                        var tmp_6 = tmp_4 as TRUE;
                        if (tmp_6 != null)
                        {
                            var result = TRUE.Create();
                            return(result);
                        }
                    }
                }
            }


            {
                var tmp_0 = P1 as _opHat;
                if (tmp_0 != null)
                {
                    var a     = tmp_0.P1;
                    var b     = tmp_0.P2;
                    var tmp_2 = eval.StaticRun0_(a);

                    var tmp_1 = tmp_2;

                    var tmp_3 = tmp_1 as FALSE;
                    if (tmp_3 != null)
                    {
                        var tmp_5 = eval.StaticRun0_(b);

                        var tmp_4 = tmp_5;

                        var tmp_6 = tmp_4 as FALSE;
                        if (tmp_6 != null)
                        {
                            var result = FALSE.Create();
                            return(result);
                        }
                    }
                }
            }


            {
                var tmp_0 = P1 as _opHat;
                if (tmp_0 != null)
                {
                    var a     = tmp_0.P1;
                    var b     = tmp_0.P2;
                    var tmp_2 = eval.StaticRun0_(a);

                    var tmp_1 = tmp_2;

                    var tmp_3 = tmp_1 as TRUE;
                    if (tmp_3 != null)
                    {
                        var tmp_5 = eval.StaticRun0_(b);

                        var tmp_4 = tmp_5;

                        var tmp_6 = tmp_4 as TRUE;
                        if (tmp_6 != null)
                        {
                            var result = FALSE.Create();
                            return(result);
                        }
                    }
                }
            }

            var p = StaticRun(P1);

            return(p);

            throw new System.Exception("Error evaluating: eval. No result returned.");
        }