arql-parsable.js

'use strict'

const query = "& (= a 'test') (= b 'test')"
const query2 = "and(equals(a, 'test'), equals(b, 'test'))"

function parseTokens1 (tokens) {
  let i = 0

  let block = 'exprLeft'
  let stack = []
  let cur = {}

  function unexpectedType (expected) {
    throw new TypeError(`Unexpected type ${tokens[i].type} at ${i}, expecetd ${expected}`)
  }

  while (tokens[i]) {
    const t = tokens[i]

    switch (block) {
      case 'exprLeft': {
        switch (t.type) {
          case 'and':
          case 'equal': {
            cur.op = t.type
            block = 'exprMiddle'
            i++
            break
          }
          default: {
            unexpectedType('and or equal')
          }
        }

        break
      }
      case 'exprMiddle': {
        switch (t.type) {
          case 'parensOpen': {
            stack.push([cur, 'exprRight'])
            cur = cur.expr1 = {}
            block = 'exprLeft'
            i++
            break
          }
          case 'literal': {
            cur.expr1 = t.value
            i++
            break
          }
          default: {
            unexpectedType('parsensOpen or literal')
          }
        }

        break
      }
      case 'exprRight': {
        switch (t.type) {
          case 'parensOpen': {
            stack.push([cur, 'exprEnd'])
            cur = cur.expr2 = {}
            block = 'exprLeft'
            i++
            break
          }
          case 'string': {
            cur.expr2 = t.value
            block = 'exprEnd'
            i++
            break
          }
          default: {
            unexpectedType('parsensOpen or string')
          }
        }

        break
      }
      case 'exprEnd': {
        switch (t.type) {
          case 'parensClose': {
            if (stack.length) {
              [cur, block] = stack.pop()
              i++
            } else {
              unexpectedType('(nothing in stack)')
            }
            break
          }
          default: {
            unexpectedType('parensClose')
          }
        }

        break
      }
      default: {
        throw new TypeError(block)
      }
    }
  }
}

const specialNames = ['and', 'equals']
function parseTokens2 (tokens) {
  let i = 0

  let block = 'exprLeft'
  let stack = []
  let cur = {op: false, expr1: 'arql'}

  function unexpectedType (expected) {
    throw new TypeError(`Unexpected type ${tokens[i].type} at ${i}, expecetd ${expected}`)
  }

  while (tokens[i]) {
    const t = tokens[i]

    switch (block) {
      case 'opNameOrVar': {
        if (t.type !== 'literal') { unexpectedType('literal') }

        const name = t.value
        if (specialNames.indexOf(name) === -1 && !cur.op) { unexpectedType('literal with special name') }

        if (specialNames.indexOf(name) === -1) {
          let newCur = {op: name}
          if (cur.expr1) {
            stack.push([cur, 'end'])
            cur = cur.expr2 = newCur
          } else {
            stack.push([cur, 'comma'])
            cur = cur.expr1 = newCur
          }
        } else {
          if (!cur.expr1) {
            cur.expr1 = name
            block = 'comma'
          } else {
            unexpectedType('non-special literal')
          }
        }
        i++

        break
      }
      case 'comma': {
        if (t.type === 'comma') {
          block = 'value'
          i++
        } else {
          unexpectedType('comma')
        }

        break
      }
      case 'value': {
        if (t.type === 'string') {
          cur.expr2 = t.value
        } else {
          unexpectedType('string')
        }

        break
      }

      case 'end': {
        if (t.type === 'parensClose') {
          if (stack.length) {
            [cur, block] = stack.pop()
            i++
          } else {
            unexpectedType('(nothing in stack)')
          }
        } else {
          unexpectedType('parensClose')
        }

        break
      }
      default: {
        throw new TypeError(block)
      }
    }
  }

  return cur.expr2
}