123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869
'use strict';
// --------------------------------------------------------------------// Imports// --------------------------------------------------------------------
const Failure = require('./Failure');const {TerminalNode} = require('./nodes');const {assert} = require('./common');const {PExpr, Terminal} = require('./pexprs');
class CaseInsensitiveTerminal extends PExpr {  constructor(param) {    super();    this.obj = param;  }
  _getString(state) {    const terminal = state.currentApplication().args[this.obj.index];    assert(terminal instanceof Terminal, 'expected a Terminal expression');    return terminal.obj;  }
  // Implementation of the PExpr API
  allowsSkippingPrecedingSpace() {    return true;  }
  eval(state) {    const {inputStream} = state;    const origPos = inputStream.pos;    const matchStr = this._getString(state);    if (!inputStream.matchString(matchStr, true)) {      state.processFailure(origPos, this);      return false;    } else {      state.pushBinding(new TerminalNode(matchStr.length), origPos);      return true;    }  }
  getArity() {    return 1;  }
  substituteParams(actuals) {    return new CaseInsensitiveTerminal(this.obj.substituteParams(actuals));  }
  toDisplayString() {    return this.obj.toDisplayString() + ' (case-insensitive)';  }
  toFailure(grammar) {    return new Failure(        this,        this.obj.toFailure(grammar) + ' (case-insensitive)',        'description'    );  }
  _isNullable(grammar, memo) {    return this.obj._isNullable(grammar, memo);  }}
module.exports = CaseInsensitiveTerminal;