Exemple #1
0
 static void StartREPL()
 {
     var thread = new Thread(() =>
     {
         var repl = new REPL();
         repl.Process();
     });
     thread.Start();
 }
        private static int repl(string filename, string builtinsExtensionFile)
        {
            Console.WriteLine("* Grace REPL with runtime "
                              + Interpreter.GetRuntimeVersion());
            Console.WriteLine("Copyright (C) 2015, 2016 its authors.");
            Console.WriteLine("This program comes with ABSOLUTELY NO WARRANTY;"
                              + " for details type `--about'.");
            ParseNode module;
            var       ls     = new LocalScope("repl-inner");
            var       obj    = new UserObject();
            var       interp = REPL.CreateInterpreter(obj, ls);

            if (builtinsExtensionFile != null)
            {
                interp.LoadExtensionFile(builtinsExtensionFile);
            }
            else
            {
                interp.LoadExtensionFile();
            }
            if (filename != null)
            {
                if (!File.Exists(filename))
                {
                    return(error("File `" + filename + "` does not exist."));
                }
                var dir = Path.GetDirectoryName(Path.GetFullPath(filename));
                interp.AddModuleRoot(dir);
                Console.WriteLine("* Loading " + filename + "...");
                using (StreamReader reader = File.OpenText(filename))
                {
                    var parser = new Parser(
                        Path.GetFileNameWithoutExtension(filename),
                        reader.ReadToEnd());
                    module = parser.Parse();
                    ExecutionTreeTranslator ett = new ExecutionTreeTranslator();
                    Node eModule = ett.Translate(module as ObjectParseNode);
                    try
                    {
                        obj = (UserObject)eModule.Evaluate(interp);
                    }
                    catch (GraceExceptionPacketException e)
                    {
                        Console.Error.WriteLine("Uncaught exception:");
                        ErrorReporting.WriteException(e.ExceptionPacket);
                        if (e.ExceptionPacket.StackTrace != null)
                        {
                            foreach (var l in e.ExceptionPacket.StackTrace)
                            {
                                Console.Error.WriteLine("    from "
                                                        + l);
                            }
                        }
                        return(1);
                    }
                }
                Console.WriteLine("* Loaded.");
            }
            else
            {
                var dir = Path.GetFullPath(".");
                interp.AddModuleRoot(dir);
            }
            Console.WriteLine("* Enter code at the prompt.\n");
            ErrorReporting.SilenceError("P1001");
            var         memo       = interp.Memorise();
            var         edit       = new Editor(s => completion(obj, s));
            string      accum      = String.Empty;
            bool        unfinished = false;
            GraceObject result;
            string      line = edit.GetLine(">>> ");

            while (line != null)
            {
                if (line.StartsWith("--about"))
                {
                    var spl = line.Split(' ');
                    about(spl.Length > 1 ? spl[1] : null);
                    line = edit.GetLine(">>> ");
                    continue;
                }
                accum += line.Replace("\u0000", "") + "\n";
                var r = REPL.RunLine(interp, obj, memo, accum, out unfinished,
                                     out result);
                if (result != null)
                {
                    ls["LAST"] = result;
                }
                if (unfinished)
                {
                    // "Unexpected end of file" is expected here
                    // for unfinished statements.
                    line       = edit.GetLine("... ");
                    unfinished = false;
                    continue;
                }
                else if (r != 0)
                {
                    // All other errors are errors, and should
                    // clear the accumulated buffer and let the
                    // user start again.
                    accum = String.Empty;
                }
                else
                {
                    accum = String.Empty;
                }
                line = edit.GetLine(">>> ");
            }
            return(0);
        }
Exemple #3
0
        static void Main(string[] args)
        {
            REPL repl = new REPL();

            repl.Run();
        }