thaw-interpreter-types
Version:
TypeScript type information for thaw's interpreter code
99 lines • 2.57 kB
TypeScript
export declare enum LexicalState {
tokenNone = 1,
tokenIntLit = 2,
tokenFltLit = 3,
tokenStrLit = 4,
tokenStrLit2 = 5,
tokenIdent = 6,
tokenBoolIdent = 7,
tokenSkolemIdent = 8,
tokenVariable = 9,
tokenPlus = 10,
tokenMinus = 11,
tokenMult = 12,
tokenDiv = 13,
tokenEqual = 14,
tokenNotEqual = 15,
tokenLess = 16,
tokenLessEqual = 17,
tokenGreater = 18,
tokenGreaterEqual = 19,
tokenSemicolon = 20,
tokenComma = 21,
token2OrBar = 22,
token2Ampersand = 23,
tokenLeftBracket = 24,
tokenRightBracket = 25,
tokenAssign = 26,
tokenArrow = 27,
tokenThickArrow = 28,
tokenExclamation = 29,
tokenApostrophe = 30,
tokenOctothorpe = 31,
tokenDollar = 32,
tokenDot = 33,
tokenLeftSquareBracket = 34,
tokenRightSquareBracket = 35,
tokenOrBar = 36,
tokenAmpersand = 37,
tokenColon = 38,
tokenLeftCurlyBrace = 39,
tokenRightCurlyBrace = 40,
tokenQuoteKeyword = 41,
tokenQuestionMinus = 42,
tokenColonMinus = 43,
tokenEqualLessThan = 44,
tokenBackslashPlus = 45,
tokenBackslashEqual = 46,
tokenEqualEqual = 47,
tokenBackslashEqualEqual = 48,
tokenEqualColonEqual = 49,
tokenEqualBackslashEqual = 50,
tokenMinusMinusGreaterThan = 51,
tokenEqualDotDot = 52,
tokenCaret = 53,
tokenTilde = 54,
tokenLowercaseGreekLetterLambda = 55,
tokenPercent = 56,
tokenPlusEqual = 57,
tokenMinusEqual = 58,
tokenMultEqual = 59,
tokenDivEqual = 60,
tokenPercentEqual = 61,
tokenForAll = 62,
tokenThereExists = 63,
tokenThereDoesNotExist = 64,
tokenEmptySet = 65,
tokenIsAnElementOf = 66,
tokenIntersection = 67,
tokenUnion = 68,
tokenIsASubsetOf = 69,
tokenIsAProperSubsetOf = 70,
tokenBitwiseShiftLeft = 71,
tokenBitwiseShiftRight = 72,
tokenBitwiseAndEqual = 73,
tokenBitwiseOrEqual = 74,
tokenBitwiseXorEqual = 75,
tokenBitwiseShiftLeftEqual = 76,
tokenBitwiseShiftRightEqual = 77,
tokenPlusPlus = 78,
tokenMinusMinus = 79,
tokenQuestionMark = 80,
tokenColonColon = 81,
tokenEOF = 82,
stateStart = 83,
stateError = 84,
stateStrLitOpen = 85,
stateStrLit2Open = 86,
stateIntLitDot = 87,
stateQuestion = 88,
stateAmpersand = 89,
stateAt = 90,
stateDollar = 91,
stateBackslash = 92,
stateEqualColon = 93,
stateEqualBackslash = 94,
stateMinusMinus = 95,
stateEqualDot = 96
}
//# sourceMappingURL=lexical-states.d.ts.map