Ejemplo n.º 1
0
        /// <summary>
        /// Remove a <see cref="Variable"/> and its references
        /// </summary>
        /// <param name="expr"> <see cref="Expression"/> resulting in a <see cref="Variable"/></param>
        /// <returns> <see cref="NullVar"/> (equivalent of null/void)</returns>
        private static NullVar deleteVarFunction(Expression expr)
        {
            // evaluate every expression
            Variable variable = expr.evaluate();
            string   var_name = variable.getName();

            // delete var
            Debugging.assert(Global.variableExistsInCurrentScope(var_name),
                             new AquilaExceptions.NameError($"Variable name \"{var_name}\" does not exist in the current Context"));
            // remove the Tracer if is traced
            if (variable.isTraced())
            {
                // remove from the usable variables
                Global.usable_variables.Remove(var_name);
                // Deletion Alteration
                var alter = new Alteration("delete_var", variable, null, new dynamic[] {});
                // Update the tracer with the death event
                variable.tracer.update(new Event(alter));
                // Remove the tracer
                Global.var_tracers.Remove(variable.tracer);
            }
            // remove from the dict
            Global.getCurrentDict().Remove(var_name);

            return(new NullVar());
        }
Ejemplo n.º 2
0
        private static DataTree variableDataTree(Variable v)
        {
            string var_type  = v.getTypeString();
            string value     = v.ToString();
            string is_const  = v.isConst().ToString();
            string is_traced = v.isTraced().ToString();

            return(new DataTree(v.getName(), null, new List <string>
            {
                "Name: " + v.getName(),
                "Type: " + var_type,
                "Value: " + value,
                "Const: " + is_const,
                "Traced: " + is_traced
            }));
        }
Ejemplo n.º 3
0
        /// <summary>
        /// Changes the tracing mode of a variable. If it is not traced, trace it beforehand
        /// </summary>
        /// <param name="var_expr"> Traced variable</param>
        /// <param name="mode_expr"> Mode (expresion content as string)</param>
        /// <returns> <see cref="NullVar"/> (equivalent of null/void)</returns>
        private static NullVar traceModeFunction(Expression var_expr, Expression mode_expr)
        {
            Tracer.printTrace($"Tracing \"{var_expr.expr}\" with mode \"{mode_expr.expr}\"");
            // get the variable
            Variable var = var_expr.evaluate();

            // change the tracing mode (using in Alteration.mode)
            var.trace_mode = mode_expr.expr;
            // trace it if not already traced
            if (!var.isTraced())
            {
                var.startTracing();
            }


            return(new NullVar());
        }
Ejemplo n.º 4
0
        public override void execute()
        {
            setContext();
            int context_integrity_check = Context.getStatusStackCount();

            // the tracing instruction execution doesn't take any Tracer.updateTracers() calls
            foreach (Expression traced_expr in _traced_vars)
            {
                Variable traced_var = traced_expr.evaluate();
                if (traced_var.isTraced())
                {
                    Debugging.print("trying to trace a variable that is already traced: " + traced_expr.expr);
                    continue;
                }
                traced_var.startTracing();
            }

            // Smooth Context
            Context.resetUntilCountReached(context_integrity_check);
            Context.reset();
        }
Ejemplo n.º 5
0
        /// <summary>
        /// Process the <see cref="Event"/>
        /// </summary>
        /// <param name="event_"> <see cref="Event"/> that should be processed</param>
        public override void update(Event event_)
        {
            // blocked context ?
            if (Context.isFrozen() && !Global.getSetting("allow tracing in frozen context"))
            {
                printTrace("Context is blocked in function tracer update call. Normal behaviour ?");
                return;
            }
            // checks
            Debugging.assert(event_ != null);
            // extract
            events.Push(event_);

            printTrace("event stack size: " + events.Count);

            Alteration alter    = event_.alter;
            Variable   affected = alter.affected;

            Debugging.assert(affected != null);
            Debugging.assert(affected.isTraced());
            affected.tracer.update(new Event(new Alteration(traced_func, affected, event_.alter.main_value, event_.alter.minor_values)));  //! just push event_ !

            printTrace("updated all in function tracer update");
        }
Ejemplo n.º 6
0
        private static DataTree variableDataTree(string variable)
        {
            if (!Global.variableExistsInCurrentScope(variable))
            {
                return(new DataTree(variable, null, new List <string> {
                    $"The variable \"{variable}\" does not exist in the current scope"
                }));
            }

            Variable v         = Global.variableFromName(variable);
            string   var_type  = v.getTypeString();
            string   value     = v.ToString();
            string   is_const  = v.isConst().ToString();
            string   is_traced = v.isTraced().ToString();

            return(new DataTree(variable, null, new List <string>
            {
                "Name: " + variable,
                "Type: " + var_type,
                "Value: " + value,
                "Const: " + is_const,
                "Traced: " + is_traced
            }));
        }
Ejemplo n.º 7
0
        /// <summary>
        /// Process the input from the interpreter.
        /// If the input is one of the interactive-mode-only commands, the command should not
        /// be executed by the interpreter but will be executed by this function manually.
        /// </summary>
        /// <param name="input"> command line from the interactive-mode</param>
        /// <returns> should the command be executed ?</returns>
        internal static bool processInterpreterInput(string input)
        {
            switch (input)
            {
            case "help":
            {
                Global.stdoutWriteLine("All existing interactive-mode-only commands:");
                // ReSharper disable once RedundantExplicitArrayCreation
                foreach (string command in new string[]
                    {
                        "help", "exit", "reset_env", "clear",                                                  // base interactive-mode
                        "exec", "exec_info",                                                                   // exec
                        "debug", "trace_debug", "parse_debug",                                                 // debugging (enable/disable)
                        "eval %expr",                                                                          // expr
                        "var %var_name", "vars", "$%var_name",                                                 // variables
                        // ReSharper disable once StringLiteralTypo
                        "funcs", "df_funcs",                                                                   // functions
                        "type",                                                                                // ?
                        "trace_info", "trace_uniq_stacks", "rewind %n %var_name", "peek_trace $%traced_value", // trace
                        "get_context", "set_status", "set_info_null", "reset_context",                         // context
                        "scope_info",                                                                          // scope
                        "show-settings",                                                                       // settings
                    })
                {
                    Global.stdoutWriteLine("  -> " + command);
                }

                return(false);
            }

            case "clear":
                if (!Global.getSetting("redirect debug stout & stderr"))
                {
                    Console.Clear();
                }
                return(false);

            case "vars":
            {
                Global.stdoutWriteLine("Global Variables:");
                foreach (var pair in Global.getGlobalVariables())
                {
                    Global.stdoutWriteLine("\t" + pair.Key + " : " + pair.Value);
                }
                int i = 0;
                Global.stdoutWriteLine("Local Scope Variables:");
                foreach (var dict in Global.getCurrentDictList())
                {
                    i++;
                    foreach (var pair in dict)
                    {
                        Global.stdoutWrite(new string('\t', i));
                        Global.stdoutWrite(pair.Key + " : ");
                        Global.stdoutWriteLine(pair.Value.ToString());
                    }
                }

                return(false);
            }

            // ReSharper disable once StringLiteralTypo
            case "funcs":
            {
                Global.stdoutWriteLine("User defined functions:");
                foreach (var pair in Functions.user_functions)
                {
                    Global.stdoutWriteLine(" * " + pair.Key + (pair.Value.isRec() ? " : [rec] " : " : ") + "(" + pair.Value.func_args.Count + ") -> " + pair.Value.getType());
                }

                return(false);
            }

            case "df_funcs":
                Global.stdoutWriteLine("Default (predefined) functions:");
                foreach (var pair in Functions.functions_dict)
                {
                    MethodInfo method = pair.Value.GetMethodInfo();
                    Global.stdoutWriteLine(" * " + pair.Key + " [?] : (" + method.GetParameters().Length + ") -> " + method.ReturnType);
                }

                return(false);

            case "debug":
                Global.setSetting("debug", !Global.getSetting("debug"));
                return(false);

            case "trace_debug":
                Global.setSetting("trace debug", !Global.getSetting("trace debug"));
                return(false);

            case "parse_debug":
                Global.setSetting("parse debug", !Global.getSetting("parse debug"));
                return(false);

            case "trace_info":
            {
                Global.stdoutWriteLine("var tracers:");
                foreach (VarTracer tracer in Global.var_tracers)
                {
                    Global.stdoutWriteLine(" - var     : " + (tracer.getTracedObject() as Variable).getName());
                    Global.stdoutWriteLine(" - stack   : " + tracer.getStackCount());
                    Global.stdoutWriteLine(" - updated : " + tracer.last_stack_count);
                }
                Global.stdoutWriteLine("func tracers:");
                foreach (FuncTracer tracer in Global.func_tracers)
                {
                    Global.stdoutWriteLine(" - func  : " + tracer.getTracedObject());
                    Global.stdoutWriteLine(" - stack : " + tracer.getStackCount());
                }

                return(false);
            }

            case "trace_uniq_stacks":
                Global.var_tracers[0].printEventStack();
                return(false);

            case "reset_env":
                Global.resetEnv();
                Global.stdoutWriteLine(" [!] Global Environment reset");

                return(false);

            case "get_context":
            {
                int status = Context.getStatus();
                Context.StatusEnum status_quote = (Context.StatusEnum)status;
                object             info         = Context.getInfo();
                bool blocked = Context.isFrozen();
                bool enabled = Global.getSetting("fail on context assertions");
                Global.stdoutWriteLine("status  : " + status);
                Global.stdoutWriteLine("quote   : " + status_quote);
                Global.stdoutWriteLine("info    : " + info);
                Global.stdoutWriteLine("blocked : " + blocked);
                Global.stdoutWriteLine("asserts : " + enabled);

                return(false);
            }

            case "set_info_null":
                Context.setInfo(null);
                return(false);

            case "reset_context":
                Context.reset();
                return(false);

            case "type":
                Global.stdoutWriteLine("type of NullVar: " + typeof(NullVar));
                Global.stdoutWriteLine("type of Variable: " + typeof(Variable));
                Global.stdoutWriteLine("type of Integer: " + typeof(Integer));

                return(false);

            case "scope_info":
                Global.stdoutWriteLine("local scope depth: " + Global.getLocalScopeDepth());
                Global.stdoutWriteLine("main scope depth: " + Global.getMainScopeDepth());

                return(false);

            case "show-settings":
                foreach (var pair in Global.getSettings())
                {
                    Global.stdoutWriteLine($" - {pair.Key} : {pair.Value}");
                }

                return(false);
            }

            if (input[0] == '$' && Global.variableExistsInCurrentScope(input.Substring(1)))
            {
                Global.stdoutWriteLine(Global.variableFromName(input.Substring(1)).ToString());
                return(false);
            }

            if (input.StartsWith("set_status "))
            {
                int status = int.Parse(input.Substring(11));
                Context.setStatus((Context.StatusEnum)status);

                return(false);
            }

            if (input.StartsWith("eval "))
            {
                Variable var_ = Expression.parse(input.Substring(5));
                Global.stdoutWriteLine(var_.ToString());
                return(false);
            }

            if (input.StartsWith("var "))
            {
                string var_name = input.Substring(4);
                var_name = StringUtils.normalizeWhiteSpaces(var_name);
                if (var_name == "")
                {
                    return(false);
                }
                Variable var_ = Global.variableFromName(var_name);
                Global.stdoutWriteLine("name     : " + var_.getName());
                Global.stdoutWriteLine("type     : " + var_.getTypeString());
                Global.stdoutWriteLine("const    : " + var_.isConst());
                Global.stdoutWriteLine("assigned : " + var_.assigned);
                Global.stdoutWriteLine("value    : " + var_);
                Global.stdoutWriteLine("traced   : " + var_.isTraced());
                Global.stdoutWriteLine("^ mode   : " + var_.trace_mode);
                if (var_ is NumericalValue value)
                {
                    Global.stdoutWriteLine("*source  : " + StringUtils.dynamic2Str(value.source_vars));
                }
                return(false);
            }

            if (input.StartsWith("rewind"))
            {
                string[] splitted = input.Split(' ');
                if (splitted.Length == 3)
                {
                    if (!int.TryParse(splitted[1], out int n))
                    {
                        Global.stdoutWriteLine("cannot read n");
                        return(false);
                    }

                    string var_name = splitted[2];

                    Variable var_ = Expression.parse(var_name);
                    if (!var_.isTraced())
                    {
                        Global.stdoutWriteLine("Variable is not traced! Use the \"trace\" instruction to start tracing variables");
                        return(false);
                    }

                    var_.tracer.rewind(n);
                    return(false);
                }

                Global.stdoutWriteLine("split count does not match 3");
                return(false);
            }

            if (input.StartsWith("peek_trace"))
            {
                if (input.Length < 11)
                {
                    return(false);
                }
                Variable var_ = Expression.parse(input.Substring(11));
                if (!var_.isTraced())
                {
                    Global.stdoutWriteLine("Variable is not traced! Use the \"trace\" instruction to start tracing variables");
                    return(false);
                }

                Alteration alter = var_.tracer.peekEvent().alter;
                Global.stdoutWriteLine("name         : " + alter.name);
                Global.stdoutWriteLine("variable     : " + alter.affected.getName());
                Global.stdoutWriteLine("main value   : " + StringUtils.dynamic2Str(alter.main_value));
                Global.stdoutWriteLine("num minor    : " + alter.minor_values.Length);
                Global.stdoutWriteLine("minor values : " + StringUtils.dynamic2Str(alter.main_value));
                Global.stdoutWriteLine("stack count  : " + var_.tracer.getStackCount());
                Global.stdoutWriteLine("updated      : " + var_.tracer.last_stack_count);

                return(false);
            }

            if (input.StartsWith("#"))
            {
                Global.stdoutWriteLine("Handling macro parameter");
                if (!input.Contains(' '))
                {
                    Parser.handleMacro(input.Substring(1), null);
                    return(false);
                }

                int index = input.IndexOf(' ');
                // extract the key & value pair
                string value = input.Substring(index);
                input = input.Substring(1, index);
                // purge pair
                value = StringUtils.normalizeWhiteSpaces(value);
                input = StringUtils.normalizeWhiteSpaces(input);
                Parser.handleMacro(input, value);
                return(false);
            }

            return(true);
        }
Ejemplo n.º 8
0
        /// <summary>
        /// Get the value at the index in a list
        /// </summary>
        /// <param name="list_expr"> The list</param>
        /// <param name="index_list_expr"> The index</param>
        /// <returns></returns>
        private static Variable listAtFunction(Expression list_expr, Expression index_list_expr)
        {
            // extract list
            Variable list_var = list_expr.evaluate();

            Debugging.assert(list_var is DynamicList); // TypeError
            DynamicList list = list_var as DynamicList;
            // extract index
            Variable index_list_var = index_list_expr.evaluate();

            Debugging.assert(index_list_var is DynamicList); // TypeError
            DynamicList index_list = index_list_var as DynamicList;

            /*// test run ?
             * if (Global.getSetting("test mode"))
             * {
             *  // function to add to index dict
             *  void addToIndexList(string var_name)
             *  {
             *      if (var_name == "") return;
             *      var index_var_name_list = (List<string>) Global.test_values["index values"];
             *      // variable name already in index dict ?
             *      if (index_var_name_list.Contains(var_name)) return;
             *      // add to index dict
             *      index_var_name_list.Add(var_name);
             *  }
             * }*/
            // access at index
            Variable result = list.atIndexList(index_list);

            // trace list
            if (!list_var.isTraced())
            {
                return(result);
            }
            Tracer.printTrace("list_at last event: " + list_var.tracer.peekEvent());
            handleValueFunctionTracing("list_at", list,
                                       new dynamic[] { index_list.getValue() });
            // trace index
            //Tracer.printTrace("tmp list at ", index_list.toString());

            /*var index_list_var_value = index_list_var.getValue();
             * for (int i = 0; i < index_list_var_value.Count; i++)
             * {
             *  Variable index_var = index_list_var_value[i];
             *  var numeric_index = (NumericalValue) index_var;
             *  NumericalValue source = numeric_index.getTracedSource();
             *  if (source == null)
             *  {
             *      Tracer.printTrace("tmp index without source var");
             *      numeric_index.setName($"comp /{i}/");
             *      list.tracer.update(new Event(new Alteration("tmp_list_at", numeric_index,
             *          numeric_index.getValue(), new[] {list.getName(), index_list.getValue()},
             *          mode:"index")));
             *      continue;
             *  }
             *
             *  Tracer.printTrace("Traced source var: " + source.getName());
             *  numeric_index.setName($"comp /{i}/");
             *  list.tracer.update(new Event(new Alteration("tmp_list_at", numeric_index,
             *  numeric_index.getValue(), new[] {list.getName(), index_list.getValue()},
             *      mode:"index")));
             * }*/

            return(result);
        }