@informalsystems/quint/dist/src/generated/EffectLexer.js

Core tool for the Quint specification language

"use strict";
// Generated from ./src/generated/Effect.g4 by ANTLR 4.9.0-SNAPSHOT
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
    if (k2 === undefined) k2 = k;
    var desc = Object.getOwnPropertyDescriptor(m, k);
    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
      desc = { enumerable: true, get: function() { return m[k]; } };
    }
    Object.defineProperty(o, k2, desc);
}) : (function(o, m, k, k2) {
    if (k2 === undefined) k2 = k;
    o[k2] = m[k];
}));
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
    Object.defineProperty(o, "default", { enumerable: true, value: v });
}) : function(o, v) {
    o["default"] = v;
});
var __importStar = (this && this.__importStar) || function (mod) {
    if (mod && mod.__esModule) return mod;
    var result = {};
    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
    __setModuleDefault(result, mod);
    return result;
};
Object.defineProperty(exports, "__esModule", { value: true });
exports.EffectLexer = void 0;
const ATNDeserializer_1 = require("antlr4ts/atn/ATNDeserializer");
const Lexer_1 = require("antlr4ts/Lexer");
const LexerATNSimulator_1 = require("antlr4ts/atn/LexerATNSimulator");
const VocabularyImpl_1 = require("antlr4ts/VocabularyImpl");
const Utils = __importStar(require("antlr4ts/misc/Utils"));
class EffectLexer extends Lexer_1.Lexer {
    // @Override
    // @NotNull
    get vocabulary() {
        return EffectLexer.VOCABULARY;
    }
    // tslint:enable:no-trailing-whitespace
    constructor(input) {
        super(input);
        this._interp = new LexerATNSimulator_1.LexerATNSimulator(EffectLexer._ATN, this);
    }
    // @Override
    get grammarFileName() { return "Effect.g4"; }
    // @Override
    get ruleNames() { return EffectLexer.ruleNames; }
    // @Override
    get serializedATN() { return EffectLexer._serializedATN; }
    // @Override
    get channelNames() { return EffectLexer.channelNames; }
    // @Override
    get modeNames() { return EffectLexer.modeNames; }
    static get _ATN() {
        if (!EffectLexer.__ATN) {
            EffectLexer.__ATN = new ATNDeserializer_1.ATNDeserializer().deserialize(Utils.toCharArray(EffectLexer._serializedATN));
        }
        return EffectLexer.__ATN;
    }
}
exports.EffectLexer = EffectLexer;
EffectLexer.T__0 = 1;
EffectLexer.T__1 = 2;
EffectLexer.T__2 = 3;
EffectLexer.T__3 = 4;
EffectLexer.T__4 = 5;
EffectLexer.T__5 = 6;
EffectLexer.T__6 = 7;
EffectLexer.T__7 = 8;
EffectLexer.T__8 = 9;
EffectLexer.T__9 = 10;
EffectLexer.T__10 = 11;
EffectLexer.T__11 = 12;
EffectLexer.IDENTIFIER = 13;
EffectLexer.WS = 14;
// tslint:disable:no-trailing-whitespace
EffectLexer.channelNames = [
    "DEFAULT_TOKEN_CHANNEL", "HIDDEN",
];
// tslint:disable:no-trailing-whitespace
EffectLexer.modeNames = [
    "DEFAULT_MODE",
];
EffectLexer.ruleNames = [
    "T__0", "T__1", "T__2", "T__3", "T__4", "T__5", "T__6", "T__7", "T__8",
    "T__9", "T__10", "T__11", "IDENTIFIER", "WS",
];
EffectLexer._LITERAL_NAMES = [
    undefined, "'('", "','", "')'", "'=>'", "'Read'", "'['", "']'", "'Update'",
    "'Temporal'", "'&'", "'Pure'", "'''",
];
EffectLexer._SYMBOLIC_NAMES = [
    undefined, undefined, undefined, undefined, undefined, undefined, undefined,
    undefined, undefined, undefined, undefined, undefined, undefined, "IDENTIFIER",
    "WS",
];
EffectLexer.VOCABULARY = new VocabularyImpl_1.VocabularyImpl(EffectLexer._LITERAL_NAMES, EffectLexer._SYMBOLIC_NAMES, []);
EffectLexer._serializedATN = "\x03\uC91D\uCABA\u058D\uAFBA\u4F53\u0607\uEA8B\uC241\x02\x10`\b\x01\x04" +
    "\x02\t\x02\x04\x03\t\x03\x04\x04\t\x04\x04\x05\t\x05\x04\x06\t\x06\x04" +
    "\x07\t\x07\x04\b\t\b\x04\t\t\t\x04\n\t\n\x04\v\t\v\x04\f\t\f\x04\r\t\r" +
    "\x04\x0E\t\x0E\x04\x0F\t\x0F\x03\x02\x03\x02\x03\x03\x03\x03\x03\x04\x03" +
    "\x04\x03\x05\x03\x05\x03\x05\x03\x06\x03\x06\x03\x06\x03\x06\x03\x06\x03" +
    "\x07\x03\x07\x03\b\x03\b\x03\t\x03\t\x03\t\x03\t\x03\t\x03\t\x03\t\x03" +
    "\n\x03\n\x03\n\x03\n\x03\n\x03\n\x03\n\x03\n\x03\n\x03\v\x03\v\x03\f\x03" +
    "\f\x03\f\x03\f\x03\f\x03\r\x03\r\x03\x0E\x03\x0E\x07\x0EM\n\x0E\f\x0E" +
    "\x0E\x0EP\v\x0E\x03\x0E\x03\x0E\x06\x0ET\n\x0E\r\x0E\x0E\x0EU\x05\x0E" +
    "X\n\x0E\x03\x0F\x06\x0F[\n\x0F\r\x0F\x0E\x0F\\\x03\x0F\x03\x0F\x02\x02" +
    "\x02\x10\x03\x02\x03\x05\x02\x04\x07\x02\x05\t\x02\x06\v\x02\x07\r\x02" +
    "\b\x0F\x02\t\x11\x02\n\x13\x02\v\x15\x02\f\x17\x02\r\x19\x02\x0E\x1B\x02" +
    "\x0F\x1D\x02\x10\x03\x02\x06\x04\x02C\\c|\x06\x022;C\\aac|\x03\x02aa\x05" +
    "\x02\v\f\x0F\x0F\"\"\x02c\x02\x03\x03\x02\x02\x02\x02\x05\x03\x02\x02" +
    "\x02\x02\x07\x03\x02\x02\x02\x02\t\x03\x02\x02\x02\x02\v\x03\x02\x02\x02" +
    "\x02\r\x03\x02\x02\x02\x02\x0F\x03\x02\x02\x02\x02\x11\x03\x02\x02\x02" +
    "\x02\x13\x03\x02\x02\x02\x02\x15\x03\x02\x02\x02\x02\x17\x03\x02\x02\x02" +
    "\x02\x19\x03\x02\x02\x02\x02\x1B\x03\x02\x02\x02\x02\x1D\x03\x02\x02\x02" +
    "\x03\x1F\x03\x02\x02\x02\x05!\x03\x02\x02\x02\x07#\x03\x02\x02\x02\t%" +
    "\x03\x02\x02\x02\v(\x03\x02\x02\x02\r-\x03\x02\x02\x02\x0F/\x03\x02\x02" +
    "\x02\x111\x03\x02\x02\x02\x138\x03\x02\x02\x02\x15A\x03\x02\x02\x02\x17" +
    "C\x03\x02\x02\x02\x19H\x03\x02\x02\x02\x1BW\x03\x02\x02\x02\x1DZ\x03\x02" +
    "\x02\x02\x1F \x07*\x02\x02 \x04\x03\x02\x02\x02!\"\x07.\x02\x02\"\x06" +
    "\x03\x02\x02\x02#$\x07+\x02\x02$\b\x03\x02\x02\x02%&\x07?\x02\x02&\'\x07" +
    "@\x02\x02\'\n\x03\x02\x02\x02()\x07T\x02\x02)*\x07g\x02\x02*+\x07c\x02" +
    "\x02+,\x07f\x02\x02,\f\x03\x02\x02\x02-.\x07]\x02\x02.\x0E\x03\x02\x02" +
    "\x02/0\x07_\x02\x020\x10\x03\x02\x02\x0212\x07W\x02\x0223\x07r\x02\x02" +
    "34\x07f\x02\x0245\x07c\x02\x0256\x07v\x02\x0267\x07g\x02\x027\x12\x03" +
    "\x02\x02\x0289\x07V\x02\x029:\x07g\x02\x02:;\x07o\x02\x02;<\x07r\x02\x02" +
    "<=\x07q\x02\x02=>\x07t\x02\x02>?\x07c\x02\x02?@\x07n\x02\x02@\x14\x03" +
    "\x02\x02\x02AB\x07(\x02\x02B\x16\x03\x02\x02\x02CD\x07R\x02\x02DE\x07" +
    "w\x02\x02EF\x07t\x02\x02FG\x07g\x02\x02G\x18\x03\x02\x02\x02HI\x07)\x02" +
    "\x02I\x1A\x03\x02\x02\x02JN\t\x02\x02\x02KM\t\x03\x02\x02LK\x03\x02\x02" +
    "\x02MP\x03\x02\x02\x02NL\x03\x02\x02\x02NO\x03\x02\x02\x02OX\x03\x02\x02" +
    "\x02PN\x03\x02\x02\x02QS\t\x04\x02\x02RT\t\x03\x02\x02SR\x03\x02\x02\x02" +
    "TU\x03\x02\x02\x02US\x03\x02\x02\x02UV\x03\x02\x02\x02VX\x03\x02\x02\x02" +
    "WJ\x03\x02\x02\x02WQ\x03\x02\x02\x02X\x1C\x03\x02\x02\x02Y[\t\x05\x02" +
    "\x02ZY\x03\x02\x02\x02[\\\x03\x02\x02\x02\\Z\x03\x02\x02\x02\\]\x03\x02" +
    "\x02\x02]^\x03\x02\x02\x02^_\b\x0F\x02\x02_\x1E\x03\x02\x02\x02\x07\x02" +
    "NUW\\\x03\b\x02\x02";
//# sourceMappingURL=EffectLexer.js.map