UNPKG

thaw-interpreter-types

Version:
99 lines 2.57 kB
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