|
| 1 | +module.exports = Repl |
| 2 | + |
| 3 | +var repl = require('repl') |
| 4 | +var spinner = require('char-spinner') |
| 5 | +var CHR = require('./src/index') |
| 6 | +var parse = require('./src/repl.peg.js').parse |
| 7 | + |
| 8 | +function Repl () { |
| 9 | + var chr = new CHR() |
| 10 | + |
| 11 | + var r = repl.start({ |
| 12 | + prompt: 'CHR > ', |
| 13 | + input: process.stdin, |
| 14 | + output: process.stdout, |
| 15 | + eval: function (cmd, context, filename, callback) { |
| 16 | + // try Program |
| 17 | + try { |
| 18 | + var rules = parse(cmd.trim(), { startRule: 'Program' }) |
| 19 | + } catch (e) { |
| 20 | + // try Query |
| 21 | + try { |
| 22 | + var queries = parse(cmd.trim(), { startRule: 'Query' }) |
| 23 | + } catch (e) { |
| 24 | + // no query |
| 25 | + var res = eval(cmd) |
| 26 | + callback(null, res) |
| 27 | + |
| 28 | + return |
| 29 | + } |
| 30 | + |
| 31 | + // run query |
| 32 | + var spin = spinner({ |
| 33 | + stream: r.outputStream |
| 34 | + }) |
| 35 | + |
| 36 | + var queryPromise = queries.reduce(function (promise, query) { |
| 37 | + return promise.then(function () { |
| 38 | + var chrCmd = 'chr.' + query.original |
| 39 | + if (query.original.slice(-1)[0] !== ')') { |
| 40 | + chrCmd += '()' |
| 41 | + } |
| 42 | + var queryPromise = eval(chrCmd) |
| 43 | + return queryPromise |
| 44 | + }) |
| 45 | + }, Promise.resolve()) |
| 46 | + |
| 47 | + queryPromise.then(function () { |
| 48 | + clearInterval(spin) |
| 49 | + r.output.write(chr.Store.toString().split('\n').map(function (row) { |
| 50 | + return ' '+row |
| 51 | + }).join('\n')) |
| 52 | + callback() |
| 53 | + }).catch(function (e) { |
| 54 | + clearInterval(spin) |
| 55 | + r.output.write(' [Error] ' + errorMsg(e) + '\n') |
| 56 | + r.output.write(chr.Store.toString()) |
| 57 | + callback() |
| 58 | + }) |
| 59 | + |
| 60 | + return |
| 61 | + } |
| 62 | + |
| 63 | + // add rules |
| 64 | + chr(rules) |
| 65 | + r.output.write(' [Rule' + (rules.body.length > 1 ? 's' : '') + '] Added.\n') |
| 66 | + |
| 67 | + callback() |
| 68 | + return |
| 69 | + } |
| 70 | + }) |
| 71 | +} |
| 72 | + |
| 73 | +function errorMsg (e) { |
| 74 | + e = e.toString() |
| 75 | + |
| 76 | + if (e.match(/^TypeError: chr\..* is not a function$/)) { |
| 77 | + var constraint = e.replace(/^TypeError: chr\.(.*) is not a function$/, '$1') |
| 78 | + return 'Undefined constraint: '+constraint |
| 79 | + } |
| 80 | + |
| 81 | + return e |
| 82 | +} |
0 commit comments