cs/readline.cs

   1 using System;
   2 using Mono.Terminal; // LineEditor (getline.cs)
   3
   4 namespace Mal {
   5     public class readline {
   6         public enum Mode { Terminal, Raw };
   7         public static Mode mode = Mode.Terminal;
   8
   9         static LineEditor lineedit = null;
  10
  11         public static string Readline(string prompt) {
  12             if (mode == Mode.Terminal) {
  13                 if (lineedit == null) {
  14                     lineedit = new LineEditor("Mal");
  15                 }
  16                 return lineedit.Edit(prompt, "");
  17             } else {
  18                 Console.Write(prompt);
  19                 Console.Out.Flush();
  20                 return Console.ReadLine();
  21             }
  22         }
  23     }
  24 }