interpret.go 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419
  1. /*
  2. * ECAL
  3. *
  4. * Copyright 2020 Matthias Ladkau. All rights reserved.
  5. *
  6. * This Source Code Form is subject to the terms of the MIT
  7. * License, If a copy of the MIT License was not distributed with this
  8. * file, You can obtain one at https://opensource.org/licenses/MIT.
  9. */
  10. package tool
  11. import (
  12. "flag"
  13. "fmt"
  14. "io"
  15. "io/ioutil"
  16. "os"
  17. "strings"
  18. "devt.de/krotik/common/fileutil"
  19. "devt.de/krotik/common/stringutil"
  20. "devt.de/krotik/common/termutil"
  21. "devt.de/krotik/ecal/config"
  22. "devt.de/krotik/ecal/interpreter"
  23. "devt.de/krotik/ecal/parser"
  24. "devt.de/krotik/ecal/scope"
  25. "devt.de/krotik/ecal/stdlib"
  26. "devt.de/krotik/ecal/util"
  27. )
  28. /*
  29. CLICustomHandler is a handler for custom operations.
  30. */
  31. type CLICustomHandler interface {
  32. CLIInputHandler
  33. /*
  34. LoadInitialFile clears the global scope and reloads the initial file.
  35. */
  36. LoadInitialFile(tid uint64) error
  37. }
  38. /*
  39. CLIInterpreter is a commandline interpreter for ECAL.
  40. */
  41. type CLIInterpreter struct {
  42. GlobalVS parser.Scope // Global variable scope
  43. RuntimeProvider *interpreter.ECALRuntimeProvider // Runtime provider of the interpreter
  44. // Customizations of output and input handling
  45. CustomHandler CLICustomHandler
  46. CustomWelcomeMessage string
  47. CustomHelpString string
  48. // Parameter these can either be set programmatically or via CLI args
  49. Dir *string // Root dir for interpreter
  50. LogFile *string // Logfile (blank for stdout)
  51. LogLevel *string // Log level string (Debug, Info, Error)
  52. }
  53. /*
  54. NewCLIInterpreter creates a new commandline interpreter for ECAL.
  55. */
  56. func NewCLIInterpreter() *CLIInterpreter {
  57. return &CLIInterpreter{scope.NewScope(scope.GlobalScope), nil, nil, "", "", nil, nil, nil}
  58. }
  59. /*
  60. ParseArgs parses the command line arguments. Call this after adding custon flags.
  61. Returns true if the program should exit.
  62. */
  63. func (i *CLIInterpreter) ParseArgs() bool {
  64. if i.Dir != nil && i.LogFile != nil && i.LogLevel != nil {
  65. return false
  66. }
  67. wd, _ := os.Getwd()
  68. i.Dir = flag.String("dir", wd, "Root directory for ECAL interpreter")
  69. i.LogFile = flag.String("logfile", "", "Log to a file")
  70. i.LogLevel = flag.String("loglevel", "Info", "Logging level (Debug, Info, Error)")
  71. showHelp := flag.Bool("help", false, "Show this help message")
  72. flag.Usage = func() {
  73. fmt.Println()
  74. fmt.Println(fmt.Sprintf("Usage of %s run [options] [file]", os.Args[0]))
  75. fmt.Println()
  76. flag.PrintDefaults()
  77. fmt.Println()
  78. }
  79. if len(os.Args) >= 2 {
  80. flag.CommandLine.Parse(os.Args[2:])
  81. if *showHelp {
  82. flag.Usage()
  83. }
  84. }
  85. return *showHelp
  86. }
  87. /*
  88. Create the runtime provider of this interpreter. This function expects Dir,
  89. LogFile and LogLevel to be set.
  90. */
  91. func (i *CLIInterpreter) CreateRuntimeProvider(name string) error {
  92. var logger util.Logger
  93. var err error
  94. if i.RuntimeProvider != nil {
  95. return nil
  96. }
  97. // Check if we should log to a file
  98. if i.LogFile != nil && *i.LogFile != "" {
  99. var logWriter io.Writer
  100. logFileRollover := fileutil.SizeBasedRolloverCondition(1000000) // Each file can be up to a megabyte
  101. logWriter, err = fileutil.NewMultiFileBuffer(*i.LogFile, fileutil.ConsecutiveNumberIterator(10), logFileRollover)
  102. logger = util.NewBufferLogger(logWriter)
  103. } else {
  104. // Log to the console by default
  105. logger = util.NewStdOutLogger()
  106. }
  107. // Set the log level
  108. if err == nil {
  109. if i.LogLevel != nil && *i.LogLevel != "" {
  110. logger, err = util.NewLogLevelLogger(logger, *i.LogLevel)
  111. }
  112. if err == nil {
  113. // Get the import locator
  114. importLocator := &util.FileImportLocator{Root: *i.Dir}
  115. // Create interpreter
  116. i.RuntimeProvider = interpreter.NewECALRuntimeProvider(name, importLocator, logger)
  117. }
  118. }
  119. return err
  120. }
  121. /*
  122. LoadInitialFile clears the global scope and reloads the initial file.
  123. */
  124. func (i *CLIInterpreter) LoadInitialFile(tid uint64) error {
  125. var err error
  126. i.CustomHandler.LoadInitialFile(tid)
  127. i.GlobalVS.Clear()
  128. if cargs := flag.Args(); len(cargs) > 0 {
  129. var ast *parser.ASTNode
  130. var initFile []byte
  131. initFileName := flag.Arg(0)
  132. initFile, err = ioutil.ReadFile(initFileName)
  133. if ast, err = parser.ParseWithRuntime(initFileName, string(initFile), i.RuntimeProvider); err == nil {
  134. if err = ast.Runtime.Validate(); err == nil {
  135. _, err = ast.Runtime.Eval(i.GlobalVS, make(map[string]interface{}), tid)
  136. }
  137. }
  138. }
  139. return err
  140. }
  141. /*
  142. Interpret starts the ECAL code interpreter. Starts an interactive console in
  143. the current tty if the interactive flag is set.
  144. */
  145. func (i *CLIInterpreter) Interpret(interactive bool) error {
  146. if i.ParseArgs() {
  147. return nil
  148. }
  149. clt, err := termutil.NewConsoleLineTerminal(os.Stdout)
  150. if interactive {
  151. fmt.Println(fmt.Sprintf("ECAL %v", config.ProductVersion))
  152. }
  153. // Create Runtime Provider
  154. if err == nil {
  155. if err = i.CreateRuntimeProvider("console"); err == nil {
  156. tid := i.RuntimeProvider.NewThreadID()
  157. if interactive {
  158. if lll, ok := i.RuntimeProvider.Logger.(*util.LogLevelLogger); ok {
  159. fmt.Print(fmt.Sprintf("Log level: %v - ", lll.Level()))
  160. }
  161. fmt.Println(fmt.Sprintf("Root directory: %v", *i.Dir))
  162. if i.CustomWelcomeMessage != "" {
  163. fmt.Println(fmt.Sprintf(i.CustomWelcomeMessage))
  164. }
  165. }
  166. // Execute file if given
  167. if err = i.LoadInitialFile(tid); err == nil {
  168. if interactive {
  169. // Drop into interactive shell
  170. if err == nil {
  171. isExitLine := func(s string) bool {
  172. return s == "exit" || s == "q" || s == "quit" || s == "bye" || s == "\x04"
  173. }
  174. // Add history functionality without file persistence
  175. clt, err = termutil.AddHistoryMixin(clt, "",
  176. func(s string) bool {
  177. return isExitLine(s)
  178. })
  179. if err == nil {
  180. if err = clt.StartTerm(); err == nil {
  181. var line string
  182. defer clt.StopTerm()
  183. fmt.Println("Type 'q' or 'quit' to exit the shell and '?' to get help")
  184. line, err = clt.NextLine()
  185. for err == nil && !isExitLine(line) {
  186. trimmedLine := strings.TrimSpace(line)
  187. i.HandleInput(clt, trimmedLine, tid)
  188. line, err = clt.NextLine()
  189. }
  190. }
  191. }
  192. }
  193. }
  194. }
  195. }
  196. }
  197. return err
  198. }
  199. /*
  200. HandleInput handles input to this interpreter. It parses a given input line
  201. and outputs on the given output terminal. Requires a thread ID of the executing
  202. thread - use the RuntimeProvider to generate a unique one.
  203. */
  204. func (i *CLIInterpreter) HandleInput(ot OutputTerminal, line string, tid uint64) {
  205. // Process the entered line
  206. if line == "?" {
  207. // Show help
  208. ot.WriteString(fmt.Sprintf("ECAL %v\n", config.ProductVersion))
  209. ot.WriteString(fmt.Sprint("\n"))
  210. ot.WriteString(fmt.Sprint("Console supports all normal ECAL statements and the following special commands:\n"))
  211. ot.WriteString(fmt.Sprint("\n"))
  212. ot.WriteString(fmt.Sprint(" @reload - Clear the interpreter and reload the initial file if it was given.\n"))
  213. ot.WriteString(fmt.Sprint(" @sym [glob] - List all available inbuild functions and available stdlib packages of ECAL.\n"))
  214. ot.WriteString(fmt.Sprint(" @std <package> [glob] - List all available constants and functions of a stdlib package.\n"))
  215. if i.CustomHelpString != "" {
  216. ot.WriteString(i.CustomHelpString)
  217. }
  218. ot.WriteString(fmt.Sprint("\n"))
  219. ot.WriteString(fmt.Sprint("Add an argument after a list command to do a full text search. The search string should be in glob format.\n"))
  220. } else if strings.HasPrefix(line, "@reload") {
  221. // Reload happens in a separate thread as it may be suspended on start
  222. go i.LoadInitialFile(i.RuntimeProvider.NewThreadID())
  223. } else if strings.HasPrefix(line, "@sym") {
  224. i.displaySymbols(ot, strings.Split(line, " ")[1:])
  225. } else if strings.HasPrefix(line, "@std") {
  226. i.displayPackage(ot, strings.Split(line, " ")[1:])
  227. } else if i.CustomHandler != nil && i.CustomHandler.CanHandle(line) {
  228. i.CustomHandler.Handle(ot, line)
  229. } else {
  230. var ierr error
  231. var ast *parser.ASTNode
  232. var res interface{}
  233. if ast, ierr = parser.ParseWithRuntime("console input", line, i.RuntimeProvider); ierr == nil {
  234. if ierr = ast.Runtime.Validate(); ierr == nil {
  235. if res, ierr = ast.Runtime.Eval(i.GlobalVS, make(map[string]interface{}), tid); ierr == nil && res != nil {
  236. ot.WriteString(fmt.Sprintln(stringutil.ConvertToString(res)))
  237. }
  238. }
  239. }
  240. if ierr != nil {
  241. ot.WriteString(fmt.Sprintln(ierr.Error()))
  242. }
  243. }
  244. }
  245. /*
  246. displaySymbols lists all available inbuild functions and available stdlib packages of ECAL.
  247. */
  248. func (i *CLIInterpreter) displaySymbols(ot OutputTerminal, args []string) {
  249. tabData := []string{"Inbuild function", "Description"}
  250. for name, f := range interpreter.InbuildFuncMap {
  251. ds, _ := f.DocString()
  252. if len(args) > 0 && !matchesFulltextSearch(ot, fmt.Sprintf("%v %v", name, ds), args[0]) {
  253. continue
  254. }
  255. tabData = fillTableRow(tabData, name, ds)
  256. }
  257. if len(tabData) > 2 {
  258. ot.WriteString(stringutil.PrintGraphicStringTable(tabData, 2, 1,
  259. stringutil.SingleDoubleLineTable))
  260. }
  261. packageNames, _, _ := stdlib.GetStdlibSymbols()
  262. tabData = []string{"Package name", "Description"}
  263. for _, p := range packageNames {
  264. ps, _ := stdlib.GetPkgDocString(p)
  265. if len(args) > 0 && !matchesFulltextSearch(ot, fmt.Sprintf("%v %v", p, ps), args[0]) {
  266. continue
  267. }
  268. tabData = fillTableRow(tabData, p, ps)
  269. }
  270. if len(tabData) > 2 {
  271. ot.WriteString(stringutil.PrintGraphicStringTable(tabData, 2, 1,
  272. stringutil.SingleDoubleLineTable))
  273. }
  274. }
  275. /*
  276. displayPackage list all available constants and functions of a stdlib package.
  277. */
  278. func (i *CLIInterpreter) displayPackage(ot OutputTerminal, args []string) {
  279. _, constSymbols, funcSymbols := stdlib.GetStdlibSymbols()
  280. tabData := []string{"Constant", "Value"}
  281. for _, s := range constSymbols {
  282. if len(args) > 0 && !strings.HasPrefix(s, args[0]) {
  283. continue
  284. }
  285. val, _ := stdlib.GetStdlibConst(s)
  286. tabData = fillTableRow(tabData, s, fmt.Sprint(val))
  287. }
  288. if len(tabData) > 2 {
  289. ot.WriteString(stringutil.PrintGraphicStringTable(tabData, 2, 1,
  290. stringutil.SingleDoubleLineTable))
  291. }
  292. tabData = []string{"Function", "Description"}
  293. for _, f := range funcSymbols {
  294. if len(args) > 0 && !strings.HasPrefix(f, args[0]) {
  295. continue
  296. }
  297. fObj, _ := stdlib.GetStdlibFunc(f)
  298. fDoc, _ := fObj.DocString()
  299. fDoc = strings.Replace(fDoc, "\n", " ", -1)
  300. fDoc = strings.Replace(fDoc, "\t", " ", -1)
  301. if len(args) > 1 && !matchesFulltextSearch(ot, fmt.Sprintf("%v %v", f, fDoc), args[1]) {
  302. continue
  303. }
  304. tabData = fillTableRow(tabData, f, fDoc)
  305. }
  306. if len(tabData) > 2 {
  307. ot.WriteString(stringutil.PrintGraphicStringTable(tabData, 2, 1,
  308. stringutil.SingleDoubleLineTable))
  309. }
  310. }