@informalsystems/quint
Version:
Core tool for the Quint specification language
37 lines (36 loc) • 1.25 kB
TypeScript
import { ATN } from "antlr4ts/atn/ATN";
import { CharStream } from "antlr4ts/CharStream";
import { Lexer } from "antlr4ts/Lexer";
import { Vocabulary } from "antlr4ts/Vocabulary";
export declare class EffectLexer extends Lexer {
static readonly T__0 = 1;
static readonly T__1 = 2;
static readonly T__2 = 3;
static readonly T__3 = 4;
static readonly T__4 = 5;
static readonly T__5 = 6;
static readonly T__6 = 7;
static readonly T__7 = 8;
static readonly T__8 = 9;
static readonly T__9 = 10;
static readonly T__10 = 11;
static readonly T__11 = 12;
static readonly IDENTIFIER = 13;
static readonly WS = 14;
static readonly channelNames: string[];
static readonly modeNames: string[];
static readonly ruleNames: string[];
private static readonly _LITERAL_NAMES;
private static readonly _SYMBOLIC_NAMES;
static readonly VOCABULARY: Vocabulary;
get vocabulary(): Vocabulary;
constructor(input: CharStream);
get grammarFileName(): string;
get ruleNames(): string[];
get serializedATN(): string;
get channelNames(): string[];
get modeNames(): string[];
static readonly _serializedATN: string;
static __ATN: ATN;
static get _ATN(): ATN;
}