ProtocolbuffersLexer.java

/* Generated by: CongoCC Parser Generator. ProtocolbuffersLexer.java  */
package de.schegge.rosinante.parser;

import de.schegge.rosinante.parser.Token.TokenType;
import static de.schegge.rosinante.parser.Token.TokenType.*;
import java.util.*;

public class ProtocolbuffersLexer extends TokenSource { 

    private static MatcherHook MATCHER_HOOK;

    // this cannot be initialized here, since hook must be set afterwards
    public enum LexicalState { 
        DEFAULT
    }

    LexicalState lexicalState = LexicalState.values()[0];
    EnumSet<TokenType> activeTokenTypes = null;
    // Token types that are "regular" tokens that participate in parsing,
    // i.e. declared as TOKEN
    static final EnumSet<TokenType> regularTokens = EnumSet.of(EOF, SYNTAX, IMPORT, WEAK, PUBLIC, PACKAGE, OPTION, MESSAGE, REPEATED, OPTIONAL, LPAREN, RPAREN, LBRACE, RBRACE, LBRACKET, RBRACKET, SEMICOLON, COLON, COMMA, DOT, DOUBLE, FLOAT, INT32, INT64, UINT32, UINT64, SINT32, SINT64, FIXED32, FIXED64, SFIXED32, SFIXED64, STRING, BYTES, BOOL, TRUE, FALSE, ZERO, ASSIGN, _MINUS, _PLUS, _SLASH, INTEGER_LITERAL, OCT_LITERAL, HEX_LITERAL, IDENTIFIER, FULL_IDENTIFIER, TYPE_IDENTIFIER, STRING_LITERAL, OPTION_NAME);
    // Token types that do not participate in parsing
    // i.e. declared as UNPARSED (or SPECIAL_TOKEN)
    static final EnumSet<TokenType> unparsedTokens = EnumSet.of(SINGLE_LINE_COMMENT);
    // Tokens that are skipped, i.e. SKIP
    static final EnumSet<TokenType> skippedTokens = EnumSet.of(WHITESPACE);
    // Tokens that correspond to a MORE, i.e. that are pending
    // additional input
    static final EnumSet<TokenType> moreTokens = EnumSet.noneOf(TokenType.class);

    public ProtocolbuffersLexer(CharSequence input) { 
        this("input", input);
    }

    /**
    * @param inputSource just the name of the input source (typically the filename)
    * that will be used in error messages and so on.
    * @param input the input
    */
    public ProtocolbuffersLexer(String inputSource, CharSequence input) { 
        this(inputSource, input, LexicalState.DEFAULT, 1, 1);
    }

    /**
    * @param inputSource just the name of the input source (typically the filename) that
    * will be used in error messages and so on.
    * @param input the input
    * @param lexState The starting lexical state, may be null to indicate the default
    * starting state
    * @param startingLine The line number at which we are starting for the purposes of location/error messages. In most
    * normal usage, this is 1.
    * @param startingColumn number at which we are starting for the purposes of location/error messages. In most normal
    * usages this is 1.
    */
    public ProtocolbuffersLexer(String inputSource, CharSequence input, LexicalState lexState, int startingLine, int startingColumn) { 
        super(inputSource, input, startingLine, startingColumn, 1, true, false, false, "\n");
        if (lexicalState != null) switchTo(lexState);
    }

    public Token getNextToken(Token tok) { 
        return getNextToken(tok, this.activeTokenTypes);
    }

    /**
    * The public method for getting the next token, that is
    * called by ProtocolbuffersParser.
    * It checks whether we have already cached
    * the token after this one. If not, it finally goes
    * to the NFA machinery
    */
    public Token getNextToken(Token tok, EnumSet<TokenType> activeTokenTypes) { 
        if (tok == null) { 
            tok = tokenizeAt(0, null, activeTokenTypes);
            cacheToken(tok);
            return tok;
        }
        Token cachedToken = tok.nextCachedToken();
        // If the cached next token is not currently active, we
        // throw it away and go back to the ProtocolbuffersLexer
        if (cachedToken != null && activeTokenTypes != null && !activeTokenTypes.contains(cachedToken.getType())) { 
            reset(tok);
            cachedToken = null;
        }
        if (cachedToken == null) { 
            Token token = tokenizeAt(tok.getEndOffset(), null, activeTokenTypes);
            cacheToken(token);
            return token;
        }
        return cachedToken;
    }

    static class MatchInfo { 

        TokenType matchedType;
        int matchLength;

        @Override
        public int hashCode() { 
            return Objects.hash(matchLength, matchedType);
        }

        @Override
        public boolean equals(Object obj) { 
            if (this == obj) return true;
            if (obj == null) return false;
            if (getClass() != obj.getClass()) return false;
            MatchInfo other = (MatchInfo) obj;
            return matchLength == other.matchLength && matchedType == other.matchedType;
        }
    }

    @FunctionalInterface
    private interface MatcherHook { 

        MatchInfo apply(LexicalState lexicalState, CharSequence input, int position, EnumSet<TokenType> activeTokenTypes, NfaFunction[] nfaFunctions, BitSet currentStates, BitSet nextStates, MatchInfo matchInfo);
    }

    /**
    * Core tokenization method. Note that this can be called from a static context.
    * Hence the extra parameters that need to be passed in.
    */
    static MatchInfo getMatchInfo(CharSequence input, int position, EnumSet<TokenType> activeTokenTypes, NfaFunction[] nfaFunctions, BitSet currentStates, BitSet nextStates, MatchInfo matchInfo) { 
        if (matchInfo == null) { 
            matchInfo = new MatchInfo();
        }
        if (position >= input.length()) { 
            matchInfo.matchedType = EOF;
            matchInfo.matchLength = 0;
            return matchInfo;
        }
        int start = position;
        int matchLength = 0;
        TokenType matchedType = TokenType.INVALID;
        EnumSet<TokenType> alreadyMatchedTypes = EnumSet.noneOf(TokenType.class);
        if (currentStates == null) currentStates = new BitSet(255);
        else currentStates.clear();
        if (nextStates == null) nextStates = new BitSet(255);
        else nextStates.clear();
        // the core NFA loop
        do { 
            // Holder for the new type (if any) matched on this iteration
            if (position > start) { 
                // What was nextStates on the last iteration
                // is now the currentStates!
                BitSet temp = currentStates;
                currentStates = nextStates;
                nextStates = temp;
                nextStates.clear();
            } else { 
                currentStates.set(0);
            }
            if (position >= input.length()) { 
                break;
            }
            int curChar = Character.codePointAt(input, position++);
            if (curChar > 0xFFFF) position++;
            int nextActive = currentStates.nextSetBit(0);
            while (nextActive != -1) { 
                TokenType returnedType = nfaFunctions[nextActive].apply(curChar, nextStates, activeTokenTypes, alreadyMatchedTypes);
                if (returnedType != null && (position - start > matchLength || returnedType.ordinal() < matchedType.ordinal())) { 
                    matchedType = returnedType;
                    matchLength = position - start;
                    alreadyMatchedTypes.add(returnedType);
                }
                nextActive = currentStates.nextSetBit(nextActive + 1);
            }
            if (position >= input.length()) break;
        }
        while (!nextStates.isEmpty());
        matchInfo.matchedType = matchedType;
        matchInfo.matchLength = matchLength;
        return matchInfo;
    }

    /**
    * @param position The position at which to tokenize.
    * @param lexicalState The lexical state in which to tokenize. If this is null, it is the instance variable #lexicalState
    * @param activeTokenTypes The active token types. If this is null, they are all active.
    * @return the Token at position
    */
    final Token tokenizeAt(int position, LexicalState lexicalState, EnumSet<TokenType> activeTokenTypes) { 
        if (lexicalState == null) lexicalState = this.lexicalState;
        int tokenBeginOffset = position;
        int matchStart = position;
        boolean inMore = false;
        int invalidRegionStart = -1;
        Token matchedToken = null;
        TokenType matchedType = null;
        // The core tokenization loop
        MatchInfo matchInfo = new MatchInfo();
        BitSet currentStates = new BitSet(255);
        BitSet nextStates = new BitSet(255);
        while (matchedToken == null) { 
            matchStart = position;
            if (!inMore) tokenBeginOffset = position;
            if (MATCHER_HOOK != null) { 
                matchInfo = MATCHER_HOOK.apply(lexicalState, this, position, activeTokenTypes, nfaFunctions, currentStates, nextStates, matchInfo);
                if (matchInfo == null) { 
                    matchInfo = getMatchInfo(this, position, activeTokenTypes, nfaFunctions, currentStates, nextStates, matchInfo);
                }
            } else { 
                matchInfo = getMatchInfo(this, position, activeTokenTypes, nfaFunctions, currentStates, nextStates, matchInfo);
            }
            matchedType = matchInfo.matchedType;
            inMore = moreTokens.contains(matchedType);
            position += matchInfo.matchLength;
            if (matchedType == TokenType.INVALID) { 
                if (invalidRegionStart == -1) { 
                    invalidRegionStart = tokenBeginOffset;
                }
                int cp = Character.codePointAt(this, position);
                ++position;
                if (cp > 0xFFFF) ++position;
                continue;
            }
            if (invalidRegionStart != -1) { 
                return new InvalidToken(this, invalidRegionStart, tokenBeginOffset);
            }
            if (skippedTokens.contains(matchedType)) { 
                skipTokens(tokenBeginOffset, position);
            } else if (regularTokens.contains(matchedType) || unparsedTokens.contains(matchedType)) { 
                matchedToken = Token.newToken(matchedType, this, tokenBeginOffset, position);
                matchedToken.setUnparsed(!regularTokens.contains(matchedType));
            }
        }
        return matchedToken;
    }

    /**
    * Switch to specified lexical state.
    * @param lexState the lexical state to switch to
    * @return whether we switched (i.e. we weren't already in the desired lexical state)
    */
    public boolean switchTo(LexicalState lexState) { 
        if (this.lexicalState != lexState) { 
            this.lexicalState = lexState;
            return true;
        }
        return false;
    }

    // Reset the token source input
    // to just after the Token passed in.
    void reset(Token t, LexicalState state) { 
        uncacheTokens(t);
        if (state != null) { 
            switchTo(state);
        }
    }

    void reset(Token t) { 
        reset(t, null);
    }

    public String getLine(Token tok) { 
        int lineNum = tok.getBeginLine();
        return getText(getLineStartOffset(lineNum), getLineEndOffset(lineNum) + 1);
    }

    // NFA related code follows.
    // The functional interface that represents
    // the acceptance method of an NFA state
    @FunctionalInterface
    interface NfaFunction { 

        TokenType apply(int ch, BitSet bs, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes);
    }

    private static NfaFunction[] nfaFunctions;
    // Initialize the various NFA method tables
    static { 
        DEFAULT.NFA_FUNCTIONS_init();
    }

    //The Nitty-gritty of the NFA code follows.
    /**
    * Holder class for NFA code related to DEFAULT lexical state
    */
    private static class DEFAULT { 

        private static TokenType getNfaIndex0(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if (ch == '"') { 
                if (validTypes == null || validTypes.contains(STRING_LITERAL)) { 
                    nextStates.set(21);
                }
            } else if (ch == '\'') { 
                if (validTypes == null || validTypes.contains(STRING_LITERAL)) { 
                    nextStates.set(7);
                }
            } else if (ch == '(') { 
                if (validTypes == null || validTypes.contains(OPTION_NAME)) { 
                    nextStates.set(70);
                }
            } else if (ch == '.') { 
                if (validTypes == null || validTypes.contains(TYPE_IDENTIFIER)) { 
                    nextStates.set(16);
                }
            } else if (ch == '/') { 
                if (validTypes == null || validTypes.contains(SINGLE_LINE_COMMENT)) { 
                    nextStates.set(53);
                }
            } else if (ch == '0') { 
                if (validTypes == null || validTypes.contains(HEX_LITERAL)) { 
                    nextStates.set(112);
                }
                if (validTypes == null || validTypes.contains(OCT_LITERAL)) { 
                    nextStates.set(43);
                }
            } else if (ch == 'b') { 
                if (validTypes == null || validTypes.contains(BYTES)) { 
                    nextStates.set(58);
                }
                if (validTypes == null || validTypes.contains(BOOL)) { 
                    nextStates.set(136);
                }
            } else if (ch == 'd') { 
                if (validTypes == null || validTypes.contains(DOUBLE)) { 
                    nextStates.set(49);
                }
            } else if (ch == 'f') { 
                if (validTypes == null || validTypes.contains(FLOAT)) { 
                    nextStates.set(67);
                }
                if (validTypes == null || validTypes.contains(FALSE)) { 
                    nextStates.set(81);
                }
                if (validTypes == null || validTypes.contains(FIXED64)) { 
                    nextStates.set(93);
                }
                if (validTypes == null || validTypes.contains(FIXED32)) { 
                    nextStates.set(160);
                }
            } else if (ch == 'i') { 
                if (validTypes == null || validTypes.contains(INT32)) { 
                    nextStates.set(119);
                }
                if (validTypes == null || validTypes.contains(INT64)) { 
                    nextStates.set(144);
                }
                if (validTypes == null || validTypes.contains(IMPORT)) { 
                    nextStates.set(147);
                }
            } else if (ch == 'm') { 
                if (validTypes == null || validTypes.contains(MESSAGE)) { 
                    nextStates.set(155);
                }
            } else if (ch == 'o') { 
                if (validTypes == null || validTypes.contains(OPTION)) { 
                    nextStates.set(104);
                }
                if (validTypes == null || validTypes.contains(OPTIONAL)) { 
                    nextStates.set(122);
                }
            } else if (ch == 'p') { 
                if (validTypes == null || validTypes.contains(PACKAGE)) { 
                    nextStates.set(61);
                }
                if (validTypes == null || validTypes.contains(PUBLIC)) { 
                    nextStates.set(113);
                }
            } else if (ch == 'r') { 
                if (validTypes == null || validTypes.contains(REPEATED)) { 
                    nextStates.set(130);
                }
            } else if (ch == 's') { 
                if (validTypes == null || validTypes.contains(STRING)) { 
                    nextStates.set(77);
                }
                if (validTypes == null || validTypes.contains(SINT64)) { 
                    nextStates.set(85);
                }
                if (validTypes == null || validTypes.contains(SYNTAX)) { 
                    nextStates.set(89);
                }
                if (validTypes == null || validTypes.contains(SFIXED32)) { 
                    nextStates.set(98);
                }
                if (validTypes == null || validTypes.contains(SINT32)) { 
                    nextStates.set(108);
                }
                if (validTypes == null || validTypes.contains(SFIXED64)) { 
                    nextStates.set(138);
                }
            } else if (ch == 't') { 
                if (validTypes == null || validTypes.contains(TRUE)) { 
                    nextStates.set(128);
                }
            } else if (ch == 'u') { 
                if (validTypes == null || validTypes.contains(UINT32)) { 
                    nextStates.set(54);
                }
                if (validTypes == null || validTypes.contains(UINT64)) { 
                    nextStates.set(151);
                }
            } else if (ch == 'w') { 
                if (validTypes == null || validTypes.contains(WEAK)) { 
                    nextStates.set(117);
                }
            }
            if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                if (validTypes == null || validTypes.contains(OPTION_NAME)) { 
                    nextStates.set(28);
                }
                if (validTypes == null || validTypes.contains(TYPE_IDENTIFIER)) { 
                    nextStates.set(17);
                }
                if (validTypes == null || validTypes.contains(FULL_IDENTIFIER)) { 
                    nextStates.set(46);
                }
                if (validTypes == null || validTypes.contains(IDENTIFIER)) { 
                    nextStates.set(37);
                    type = IDENTIFIER;
                }
            } else if (ch >= '1' && ch <= '9') { 
                if (validTypes == null || validTypes.contains(INTEGER_LITERAL)) { 
                    nextStates.set(39);
                    type = INTEGER_LITERAL;
                }
            } else if (ch == '\t') { 
                if (validTypes == null || validTypes.contains(WHITESPACE)) { 
                    nextStates.set(2);
                    type = WHITESPACE;
                }
            } else if (ch == '\n') { 
                if (validTypes == null || validTypes.contains(WHITESPACE)) { 
                    nextStates.set(2);
                    type = WHITESPACE;
                }
            } else if (ch == '\f') { 
                if (validTypes == null || validTypes.contains(WHITESPACE)) { 
                    nextStates.set(2);
                    type = WHITESPACE;
                }
            } else if (ch == '\r') { 
                if (validTypes == null || validTypes.contains(WHITESPACE)) { 
                    nextStates.set(2);
                    type = WHITESPACE;
                }
            } else if (ch == ' ') { 
                if (validTypes == null || validTypes.contains(WHITESPACE)) { 
                    nextStates.set(2);
                    type = WHITESPACE;
                }
            } else if (ch == '/') { 
                if (validTypes == null || validTypes.contains(_SLASH)) { 
                    type = _SLASH;
                }
            } else if (ch == '+') { 
                if (validTypes == null || validTypes.contains(_PLUS)) { 
                    type = _PLUS;
                }
            } else if (ch == '-') { 
                if (validTypes == null || validTypes.contains(_MINUS)) { 
                    type = _MINUS;
                }
            } else if (ch == '=') { 
                if (validTypes == null || validTypes.contains(ASSIGN)) { 
                    type = ASSIGN;
                }
            } else if (ch == '0') { 
                if (validTypes == null || validTypes.contains(ZERO)) { 
                    type = ZERO;
                }
            } else if (ch == '.') { 
                if (validTypes == null || validTypes.contains(DOT)) { 
                    type = DOT;
                }
            } else if (ch == ',') { 
                if (validTypes == null || validTypes.contains(COMMA)) { 
                    type = COMMA;
                }
            } else if (ch == ':') { 
                if (validTypes == null || validTypes.contains(COLON)) { 
                    type = COLON;
                }
            } else if (ch == ';') { 
                if (validTypes == null || validTypes.contains(SEMICOLON)) { 
                    type = SEMICOLON;
                }
            } else if (ch == ']') { 
                if (validTypes == null || validTypes.contains(RBRACKET)) { 
                    type = RBRACKET;
                }
            } else if (ch == '[') { 
                if (validTypes == null || validTypes.contains(LBRACKET)) { 
                    type = LBRACKET;
                }
            } else if (ch == '}') { 
                if (validTypes == null || validTypes.contains(RBRACE)) { 
                    type = RBRACE;
                }
            } else if (ch == '{') { 
                if (validTypes == null || validTypes.contains(LBRACE)) { 
                    type = LBRACE;
                }
            } else if (ch == ')') { 
                if (validTypes == null || validTypes.contains(RPAREN)) { 
                    type = RPAREN;
                }
            } else if (ch == '(') { 
                if (validTypes == null || validTypes.contains(LPAREN)) { 
                    type = LPAREN;
                }
            }
            return type;
        }

        private static TokenType getNfaIndex1(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                return DOUBLE;
            }
            return null;
        }

        private static TokenType getNfaIndex2(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if (ch == '\t') { 
                nextStates.set(2);
                type = WHITESPACE;
            } else if (ch == '\n') { 
                nextStates.set(2);
                type = WHITESPACE;
            } else if (ch == '\f') { 
                nextStates.set(2);
                type = WHITESPACE;
            } else if (ch == '\r') { 
                nextStates.set(2);
                type = WHITESPACE;
            } else if (ch == ' ') { 
                nextStates.set(2);
                type = WHITESPACE;
            }
            return type;
        }

        private static TokenType getNfaIndex3(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if ((ch >= 0x0 && ch <= '\t' || ch >= 0xb)) { 
                nextStates.set(3);
            } else if (ch == '\n') { 
                type = SINGLE_LINE_COMMENT;
            }
            return type;
        }

        private static TokenType getNfaIndex4(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '2') { 
                return UINT32;
            }
            return null;
        }

        private static TokenType getNfaIndex5(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 's') { 
                return BYTES;
            }
            return null;
        }

        private static TokenType getNfaIndex6(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                return PACKAGE;
            }
            return null;
        }

        private static TokenType getNfaIndex7(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if ((ch >= 0x0 && ch <= '&' || (ch >= '(' && ch <= '[' || ch >= ']'))) { 
                nextStates.set(7);
            } else if (ch == '\\') { 
                nextStates.set(66);
            } else if (ch == '\'') { 
                type = STRING_LITERAL;
            }
            return type;
        }

        private static TokenType getNfaIndex8(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 't') { 
                return FLOAT;
            }
            return null;
        }

        private static TokenType getNfaIndex9(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if (ch == '.') { 
                nextStates.set(76);
            } else if (ch >= '0' && ch <= '9') { 
                nextStates.set(9);
            } else if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(9);
            } else if (ch == '_') { 
                nextStates.set(9);
            } else if (ch == ')') { 
                nextStates.set(72);
                type = OPTION_NAME;
            }
            return type;
        }

        private static TokenType getNfaIndex10(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if (ch == '(') { 
                nextStates.set(73);
            } else if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(13);
                type = OPTION_NAME;
            }
            return type;
        }

        private static TokenType getNfaIndex11(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if (ch == '.') { 
                nextStates.set(75);
            } else if (ch >= '0' && ch <= '9') { 
                nextStates.set(11);
            } else if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(11);
            } else if (ch == '_') { 
                nextStates.set(11);
            } else if (ch == ')') { 
                nextStates.set(72);
                type = OPTION_NAME;
            }
            return type;
        }

        private static TokenType getNfaIndex12(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if (ch == '.') { 
                nextStates.set(75);
            } else if (ch >= '0' && ch <= '9') { 
                nextStates.set(12);
            } else if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(12);
            } else if (ch == '_') { 
                nextStates.set(12);
            } else if (ch == ')') { 
                nextStates.set(72);
                type = OPTION_NAME;
            }
            return type;
        }

        private static TokenType getNfaIndex13(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if (ch == '.') { 
                nextStates.set(10);
            } else if (ch >= '0' && ch <= '9') { 
                nextStates.set(13);
                type = OPTION_NAME;
            } else if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(13);
                type = OPTION_NAME;
            } else if (ch == '_') { 
                nextStates.set(13);
                type = OPTION_NAME;
            }
            return type;
        }

        private static TokenType getNfaIndex14(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if (ch == '.') { 
                nextStates.set(76);
            } else if (ch >= '0' && ch <= '9') { 
                nextStates.set(14);
            } else if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(14);
            } else if (ch == '_') { 
                nextStates.set(14);
            } else if (ch == ')') { 
                nextStates.set(72);
                type = OPTION_NAME;
            }
            return type;
        }

        private static TokenType getNfaIndex15(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'g') { 
                return STRING;
            }
            return null;
        }

        private static TokenType getNfaIndex16(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(17);
                return TYPE_IDENTIFIER;
            }
            return null;
        }

        private static TokenType getNfaIndex17(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if (ch == '.') { 
                nextStates.set(18);
            } else if (ch >= '0' && ch <= '9') { 
                nextStates.set(17);
                type = TYPE_IDENTIFIER;
            } else if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(17);
                type = TYPE_IDENTIFIER;
            } else if (ch == '_') { 
                nextStates.set(17);
                type = TYPE_IDENTIFIER;
            }
            return type;
        }

        private static TokenType getNfaIndex18(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(19);
                return TYPE_IDENTIFIER;
            }
            return null;
        }

        private static TokenType getNfaIndex19(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if (ch == '.') { 
                nextStates.set(18);
            } else if (ch >= '0' && ch <= '9') { 
                nextStates.set(19);
                type = TYPE_IDENTIFIER;
            } else if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(19);
                type = TYPE_IDENTIFIER;
            } else if (ch == '_') { 
                nextStates.set(19);
                type = TYPE_IDENTIFIER;
            }
            return type;
        }

        private static TokenType getNfaIndex20(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                return FALSE;
            }
            return null;
        }

        private static TokenType getNfaIndex21(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if ((ch >= 0x0 && ch <= '!' || (ch >= '#' && ch <= '[' || ch >= ']'))) { 
                nextStates.set(21);
            } else if (ch == '\\') { 
                nextStates.set(84);
            } else if (ch == '"') { 
                type = STRING_LITERAL;
            }
            return type;
        }

        private static TokenType getNfaIndex22(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '4') { 
                return SINT64;
            }
            return null;
        }

        private static TokenType getNfaIndex23(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'x') { 
                return SYNTAX;
            }
            return null;
        }

        private static TokenType getNfaIndex24(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '4') { 
                return FIXED64;
            }
            return null;
        }

        private static TokenType getNfaIndex25(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '2') { 
                return SFIXED32;
            }
            return null;
        }

        private static TokenType getNfaIndex26(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'n') { 
                return OPTION;
            }
            return null;
        }

        private static TokenType getNfaIndex27(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '2') { 
                return SINT32;
            }
            return null;
        }

        private static TokenType getNfaIndex28(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if (ch == '.') { 
                nextStates.set(10);
            } else if (ch >= '0' && ch <= '9') { 
                nextStates.set(28);
                type = OPTION_NAME;
            } else if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(28);
                type = OPTION_NAME;
            } else if (ch == '_') { 
                nextStates.set(28);
                type = OPTION_NAME;
            }
            return type;
        }

        private static TokenType getNfaIndex29(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if ((ch >= '0' && ch <= '9' || (ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z'))) { 
                nextStates.set(29);
                return HEX_LITERAL;
            }
            return null;
        }

        private static TokenType getNfaIndex30(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'c') { 
                return PUBLIC;
            }
            return null;
        }

        private static TokenType getNfaIndex31(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'k') { 
                return WEAK;
            }
            return null;
        }

        private static TokenType getNfaIndex32(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '2') { 
                return INT32;
            }
            return null;
        }

        private static TokenType getNfaIndex33(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'l') { 
                return OPTIONAL;
            }
            return null;
        }

        private static TokenType getNfaIndex34(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                return TRUE;
            }
            return null;
        }

        private static TokenType getNfaIndex35(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'd') { 
                return REPEATED;
            }
            return null;
        }

        private static TokenType getNfaIndex36(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'l') { 
                return BOOL;
            }
            return null;
        }

        private static TokenType getNfaIndex37(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if (ch >= '0' && ch <= '9') { 
                nextStates.set(37);
                type = IDENTIFIER;
            } else if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(37);
                type = IDENTIFIER;
            } else if (ch == '_') { 
                nextStates.set(37);
                type = IDENTIFIER;
            }
            return type;
        }

        private static TokenType getNfaIndex38(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '4') { 
                return SFIXED64;
            }
            return null;
        }

        private static TokenType getNfaIndex39(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch >= '0' && ch <= '9') { 
                nextStates.set(39);
                return INTEGER_LITERAL;
            }
            return null;
        }

        private static TokenType getNfaIndex40(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '4') { 
                return INT64;
            }
            return null;
        }

        private static TokenType getNfaIndex41(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 't') { 
                return IMPORT;
            }
            return null;
        }

        private static TokenType getNfaIndex42(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '4') { 
                return UINT64;
            }
            return null;
        }

        private static TokenType getNfaIndex43(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch >= '0' && ch <= '7') { 
                nextStates.set(43);
                return OCT_LITERAL;
            }
            return null;
        }

        private static TokenType getNfaIndex44(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                return MESSAGE;
            }
            return null;
        }

        private static TokenType getNfaIndex45(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '2') { 
                return FIXED32;
            }
            return null;
        }

        private static TokenType getNfaIndex46(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if (ch == '.') { 
                nextStates.set(47);
            } else if (ch >= '0' && ch <= '9') { 
                nextStates.set(46);
                type = FULL_IDENTIFIER;
            } else if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(46);
                type = FULL_IDENTIFIER;
            } else if (ch == '_') { 
                nextStates.set(46);
                type = FULL_IDENTIFIER;
            }
            return type;
        }

        private static TokenType getNfaIndex47(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(48);
                return FULL_IDENTIFIER;
            }
            return null;
        }

        private static TokenType getNfaIndex48(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            TokenType type = null;
            if (ch == '.') { 
                nextStates.set(47);
            } else if (ch >= '0' && ch <= '9') { 
                nextStates.set(48);
                type = FULL_IDENTIFIER;
            } else if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(48);
                type = FULL_IDENTIFIER;
            } else if (ch == '_') { 
                nextStates.set(48);
                type = FULL_IDENTIFIER;
            }
            return type;
        }

        private static TokenType getNfaIndex49(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'o') { 
                nextStates.set(50);
            }
            return null;
        }

        private static TokenType getNfaIndex50(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'u') { 
                nextStates.set(51);
            }
            return null;
        }

        private static TokenType getNfaIndex51(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'b') { 
                nextStates.set(52);
            }
            return null;
        }

        private static TokenType getNfaIndex52(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'l') { 
                nextStates.set(1);
            }
            return null;
        }

        private static TokenType getNfaIndex53(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '/') { 
                nextStates.set(3);
            }
            return null;
        }

        private static TokenType getNfaIndex54(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'i') { 
                nextStates.set(55);
            }
            return null;
        }

        private static TokenType getNfaIndex55(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'n') { 
                nextStates.set(56);
            }
            return null;
        }

        private static TokenType getNfaIndex56(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 't') { 
                nextStates.set(57);
            }
            return null;
        }

        private static TokenType getNfaIndex57(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '3') { 
                nextStates.set(4);
            }
            return null;
        }

        private static TokenType getNfaIndex58(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'y') { 
                nextStates.set(59);
            }
            return null;
        }

        private static TokenType getNfaIndex59(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 't') { 
                nextStates.set(60);
            }
            return null;
        }

        private static TokenType getNfaIndex60(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                nextStates.set(5);
            }
            return null;
        }

        private static TokenType getNfaIndex61(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'a') { 
                nextStates.set(62);
            }
            return null;
        }

        private static TokenType getNfaIndex62(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'c') { 
                nextStates.set(63);
            }
            return null;
        }

        private static TokenType getNfaIndex63(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'k') { 
                nextStates.set(64);
            }
            return null;
        }

        private static TokenType getNfaIndex64(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'a') { 
                nextStates.set(65);
            }
            return null;
        }

        private static TokenType getNfaIndex65(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'g') { 
                nextStates.set(6);
            }
            return null;
        }

        private static TokenType getNfaIndex66(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch >= 0x0) { 
                nextStates.set(7);
            }
            return null;
        }

        private static TokenType getNfaIndex67(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'l') { 
                nextStates.set(68);
            }
            return null;
        }

        private static TokenType getNfaIndex68(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'o') { 
                nextStates.set(69);
            }
            return null;
        }

        private static TokenType getNfaIndex69(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'a') { 
                nextStates.set(8);
            }
            return null;
        }

        private static TokenType getNfaIndex70(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '.') { 
                nextStates.set(71);
            } else if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(9);
            }
            return null;
        }

        private static TokenType getNfaIndex71(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(9);
            }
            return null;
        }

        private static TokenType getNfaIndex72(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '.') { 
                nextStates.set(10);
            }
            return null;
        }

        private static TokenType getNfaIndex73(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '.') { 
                nextStates.set(74);
            } else if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(11);
            }
            return null;
        }

        private static TokenType getNfaIndex74(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(11);
            }
            return null;
        }

        private static TokenType getNfaIndex75(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(12);
            }
            return null;
        }

        private static TokenType getNfaIndex76(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if ((ch >= 'A' && ch <= 'Z' || ch >= 'a' && ch <= 'z')) { 
                nextStates.set(14);
            }
            return null;
        }

        private static TokenType getNfaIndex77(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 't') { 
                nextStates.set(78);
            }
            return null;
        }

        private static TokenType getNfaIndex78(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'r') { 
                nextStates.set(79);
            }
            return null;
        }

        private static TokenType getNfaIndex79(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'i') { 
                nextStates.set(80);
            }
            return null;
        }

        private static TokenType getNfaIndex80(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'n') { 
                nextStates.set(15);
            }
            return null;
        }

        private static TokenType getNfaIndex81(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'a') { 
                nextStates.set(82);
            }
            return null;
        }

        private static TokenType getNfaIndex82(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'l') { 
                nextStates.set(83);
            }
            return null;
        }

        private static TokenType getNfaIndex83(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 's') { 
                nextStates.set(20);
            }
            return null;
        }

        private static TokenType getNfaIndex84(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch >= 0x0) { 
                nextStates.set(21);
            }
            return null;
        }

        private static TokenType getNfaIndex85(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'i') { 
                nextStates.set(86);
            }
            return null;
        }

        private static TokenType getNfaIndex86(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'n') { 
                nextStates.set(87);
            }
            return null;
        }

        private static TokenType getNfaIndex87(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 't') { 
                nextStates.set(88);
            }
            return null;
        }

        private static TokenType getNfaIndex88(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '6') { 
                nextStates.set(22);
            }
            return null;
        }

        private static TokenType getNfaIndex89(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'y') { 
                nextStates.set(90);
            }
            return null;
        }

        private static TokenType getNfaIndex90(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'n') { 
                nextStates.set(91);
            }
            return null;
        }

        private static TokenType getNfaIndex91(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 't') { 
                nextStates.set(92);
            }
            return null;
        }

        private static TokenType getNfaIndex92(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'a') { 
                nextStates.set(23);
            }
            return null;
        }

        private static TokenType getNfaIndex93(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'i') { 
                nextStates.set(94);
            }
            return null;
        }

        private static TokenType getNfaIndex94(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'x') { 
                nextStates.set(95);
            }
            return null;
        }

        private static TokenType getNfaIndex95(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                nextStates.set(96);
            }
            return null;
        }

        private static TokenType getNfaIndex96(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'd') { 
                nextStates.set(97);
            }
            return null;
        }

        private static TokenType getNfaIndex97(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '6') { 
                nextStates.set(24);
            }
            return null;
        }

        private static TokenType getNfaIndex98(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'f') { 
                nextStates.set(99);
            }
            return null;
        }

        private static TokenType getNfaIndex99(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'i') { 
                nextStates.set(100);
            }
            return null;
        }

        private static TokenType getNfaIndex100(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'x') { 
                nextStates.set(101);
            }
            return null;
        }

        private static TokenType getNfaIndex101(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                nextStates.set(102);
            }
            return null;
        }

        private static TokenType getNfaIndex102(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'd') { 
                nextStates.set(103);
            }
            return null;
        }

        private static TokenType getNfaIndex103(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '3') { 
                nextStates.set(25);
            }
            return null;
        }

        private static TokenType getNfaIndex104(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'p') { 
                nextStates.set(105);
            }
            return null;
        }

        private static TokenType getNfaIndex105(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 't') { 
                nextStates.set(106);
            }
            return null;
        }

        private static TokenType getNfaIndex106(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'i') { 
                nextStates.set(107);
            }
            return null;
        }

        private static TokenType getNfaIndex107(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'o') { 
                nextStates.set(26);
            }
            return null;
        }

        private static TokenType getNfaIndex108(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'i') { 
                nextStates.set(109);
            }
            return null;
        }

        private static TokenType getNfaIndex109(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'n') { 
                nextStates.set(110);
            }
            return null;
        }

        private static TokenType getNfaIndex110(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 't') { 
                nextStates.set(111);
            }
            return null;
        }

        private static TokenType getNfaIndex111(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '3') { 
                nextStates.set(27);
            }
            return null;
        }

        private static TokenType getNfaIndex112(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'X') { 
                nextStates.set(29);
            } else if (ch == 'x') { 
                nextStates.set(29);
            }
            return null;
        }

        private static TokenType getNfaIndex113(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'u') { 
                nextStates.set(114);
            }
            return null;
        }

        private static TokenType getNfaIndex114(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'b') { 
                nextStates.set(115);
            }
            return null;
        }

        private static TokenType getNfaIndex115(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'l') { 
                nextStates.set(116);
            }
            return null;
        }

        private static TokenType getNfaIndex116(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'i') { 
                nextStates.set(30);
            }
            return null;
        }

        private static TokenType getNfaIndex117(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                nextStates.set(118);
            }
            return null;
        }

        private static TokenType getNfaIndex118(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'a') { 
                nextStates.set(31);
            }
            return null;
        }

        private static TokenType getNfaIndex119(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'n') { 
                nextStates.set(120);
            }
            return null;
        }

        private static TokenType getNfaIndex120(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 't') { 
                nextStates.set(121);
            }
            return null;
        }

        private static TokenType getNfaIndex121(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '3') { 
                nextStates.set(32);
            }
            return null;
        }

        private static TokenType getNfaIndex122(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'p') { 
                nextStates.set(123);
            }
            return null;
        }

        private static TokenType getNfaIndex123(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 't') { 
                nextStates.set(124);
            }
            return null;
        }

        private static TokenType getNfaIndex124(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'i') { 
                nextStates.set(125);
            }
            return null;
        }

        private static TokenType getNfaIndex125(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'o') { 
                nextStates.set(126);
            }
            return null;
        }

        private static TokenType getNfaIndex126(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'n') { 
                nextStates.set(127);
            }
            return null;
        }

        private static TokenType getNfaIndex127(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'a') { 
                nextStates.set(33);
            }
            return null;
        }

        private static TokenType getNfaIndex128(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'r') { 
                nextStates.set(129);
            }
            return null;
        }

        private static TokenType getNfaIndex129(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'u') { 
                nextStates.set(34);
            }
            return null;
        }

        private static TokenType getNfaIndex130(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                nextStates.set(131);
            }
            return null;
        }

        private static TokenType getNfaIndex131(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'p') { 
                nextStates.set(132);
            }
            return null;
        }

        private static TokenType getNfaIndex132(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                nextStates.set(133);
            }
            return null;
        }

        private static TokenType getNfaIndex133(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'a') { 
                nextStates.set(134);
            }
            return null;
        }

        private static TokenType getNfaIndex134(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 't') { 
                nextStates.set(135);
            }
            return null;
        }

        private static TokenType getNfaIndex135(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                nextStates.set(35);
            }
            return null;
        }

        private static TokenType getNfaIndex136(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'o') { 
                nextStates.set(137);
            }
            return null;
        }

        private static TokenType getNfaIndex137(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'o') { 
                nextStates.set(36);
            }
            return null;
        }

        private static TokenType getNfaIndex138(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'f') { 
                nextStates.set(139);
            }
            return null;
        }

        private static TokenType getNfaIndex139(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'i') { 
                nextStates.set(140);
            }
            return null;
        }

        private static TokenType getNfaIndex140(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'x') { 
                nextStates.set(141);
            }
            return null;
        }

        private static TokenType getNfaIndex141(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                nextStates.set(142);
            }
            return null;
        }

        private static TokenType getNfaIndex142(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'd') { 
                nextStates.set(143);
            }
            return null;
        }

        private static TokenType getNfaIndex143(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '6') { 
                nextStates.set(38);
            }
            return null;
        }

        private static TokenType getNfaIndex144(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'n') { 
                nextStates.set(145);
            }
            return null;
        }

        private static TokenType getNfaIndex145(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 't') { 
                nextStates.set(146);
            }
            return null;
        }

        private static TokenType getNfaIndex146(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '6') { 
                nextStates.set(40);
            }
            return null;
        }

        private static TokenType getNfaIndex147(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'm') { 
                nextStates.set(148);
            }
            return null;
        }

        private static TokenType getNfaIndex148(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'p') { 
                nextStates.set(149);
            }
            return null;
        }

        private static TokenType getNfaIndex149(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'o') { 
                nextStates.set(150);
            }
            return null;
        }

        private static TokenType getNfaIndex150(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'r') { 
                nextStates.set(41);
            }
            return null;
        }

        private static TokenType getNfaIndex151(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'i') { 
                nextStates.set(152);
            }
            return null;
        }

        private static TokenType getNfaIndex152(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'n') { 
                nextStates.set(153);
            }
            return null;
        }

        private static TokenType getNfaIndex153(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 't') { 
                nextStates.set(154);
            }
            return null;
        }

        private static TokenType getNfaIndex154(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '6') { 
                nextStates.set(42);
            }
            return null;
        }

        private static TokenType getNfaIndex155(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                nextStates.set(156);
            }
            return null;
        }

        private static TokenType getNfaIndex156(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 's') { 
                nextStates.set(157);
            }
            return null;
        }

        private static TokenType getNfaIndex157(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 's') { 
                nextStates.set(158);
            }
            return null;
        }

        private static TokenType getNfaIndex158(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'a') { 
                nextStates.set(159);
            }
            return null;
        }

        private static TokenType getNfaIndex159(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'g') { 
                nextStates.set(44);
            }
            return null;
        }

        private static TokenType getNfaIndex160(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'i') { 
                nextStates.set(161);
            }
            return null;
        }

        private static TokenType getNfaIndex161(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'x') { 
                nextStates.set(162);
            }
            return null;
        }

        private static TokenType getNfaIndex162(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'e') { 
                nextStates.set(163);
            }
            return null;
        }

        private static TokenType getNfaIndex163(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == 'd') { 
                nextStates.set(164);
            }
            return null;
        }

        private static TokenType getNfaIndex164(int ch, BitSet nextStates, EnumSet<TokenType> validTypes, EnumSet<TokenType> alreadyMatchedTypes) { 
            if (ch == '3') { 
                nextStates.set(45);
            }
            return null;
        }

        private static void NFA_FUNCTIONS_init() { 
            NfaFunction[] functions = new NfaFunction[] { DEFAULT::getNfaIndex0, DEFAULT::getNfaIndex1,
            DEFAULT::getNfaIndex2, DEFAULT::getNfaIndex3, DEFAULT::getNfaIndex4, DEFAULT::getNfaIndex5,
            DEFAULT::getNfaIndex6, DEFAULT::getNfaIndex7, DEFAULT::getNfaIndex8, DEFAULT::getNfaIndex9,
            DEFAULT::getNfaIndex10, DEFAULT::getNfaIndex11, DEFAULT::getNfaIndex12,
            DEFAULT::getNfaIndex13, DEFAULT::getNfaIndex14, DEFAULT::getNfaIndex15,
            DEFAULT::getNfaIndex16, DEFAULT::getNfaIndex17, DEFAULT::getNfaIndex18,
            DEFAULT::getNfaIndex19, DEFAULT::getNfaIndex20, DEFAULT::getNfaIndex21,
            DEFAULT::getNfaIndex22, DEFAULT::getNfaIndex23, DEFAULT::getNfaIndex24,
            DEFAULT::getNfaIndex25, DEFAULT::getNfaIndex26, DEFAULT::getNfaIndex27,
            DEFAULT::getNfaIndex28, DEFAULT::getNfaIndex29, DEFAULT::getNfaIndex30,
            DEFAULT::getNfaIndex31, DEFAULT::getNfaIndex32, DEFAULT::getNfaIndex33,
            DEFAULT::getNfaIndex34, DEFAULT::getNfaIndex35, DEFAULT::getNfaIndex36,
            DEFAULT::getNfaIndex37, DEFAULT::getNfaIndex38, DEFAULT::getNfaIndex39,
            DEFAULT::getNfaIndex40, DEFAULT::getNfaIndex41, DEFAULT::getNfaIndex42,
            DEFAULT::getNfaIndex43, DEFAULT::getNfaIndex44, DEFAULT::getNfaIndex45,
            DEFAULT::getNfaIndex46, DEFAULT::getNfaIndex47, DEFAULT::getNfaIndex48,
            DEFAULT::getNfaIndex49, DEFAULT::getNfaIndex50, DEFAULT::getNfaIndex51,
            DEFAULT::getNfaIndex52, DEFAULT::getNfaIndex53, DEFAULT::getNfaIndex54,
            DEFAULT::getNfaIndex55, DEFAULT::getNfaIndex56, DEFAULT::getNfaIndex57,
            DEFAULT::getNfaIndex58, DEFAULT::getNfaIndex59, DEFAULT::getNfaIndex60,
            DEFAULT::getNfaIndex61, DEFAULT::getNfaIndex62, DEFAULT::getNfaIndex63,
            DEFAULT::getNfaIndex64, DEFAULT::getNfaIndex65, DEFAULT::getNfaIndex66,
            DEFAULT::getNfaIndex67, DEFAULT::getNfaIndex68, DEFAULT::getNfaIndex69,
            DEFAULT::getNfaIndex70, DEFAULT::getNfaIndex71, DEFAULT::getNfaIndex72,
            DEFAULT::getNfaIndex73, DEFAULT::getNfaIndex74, DEFAULT::getNfaIndex75,
            DEFAULT::getNfaIndex76, DEFAULT::getNfaIndex77, DEFAULT::getNfaIndex78,
            DEFAULT::getNfaIndex79, DEFAULT::getNfaIndex80, DEFAULT::getNfaIndex81,
            DEFAULT::getNfaIndex82, DEFAULT::getNfaIndex83, DEFAULT::getNfaIndex84,
            DEFAULT::getNfaIndex85, DEFAULT::getNfaIndex86, DEFAULT::getNfaIndex87,
            DEFAULT::getNfaIndex88, DEFAULT::getNfaIndex89, DEFAULT::getNfaIndex90,
            DEFAULT::getNfaIndex91, DEFAULT::getNfaIndex92, DEFAULT::getNfaIndex93,
            DEFAULT::getNfaIndex94, DEFAULT::getNfaIndex95, DEFAULT::getNfaIndex96,
            DEFAULT::getNfaIndex97, DEFAULT::getNfaIndex98, DEFAULT::getNfaIndex99,
            DEFAULT::getNfaIndex100, DEFAULT::getNfaIndex101, DEFAULT::getNfaIndex102,
            DEFAULT::getNfaIndex103, DEFAULT::getNfaIndex104, DEFAULT::getNfaIndex105,
            DEFAULT::getNfaIndex106, DEFAULT::getNfaIndex107, DEFAULT::getNfaIndex108,
            DEFAULT::getNfaIndex109, DEFAULT::getNfaIndex110, DEFAULT::getNfaIndex111,
            DEFAULT::getNfaIndex112, DEFAULT::getNfaIndex113, DEFAULT::getNfaIndex114,
            DEFAULT::getNfaIndex115, DEFAULT::getNfaIndex116, DEFAULT::getNfaIndex117,
            DEFAULT::getNfaIndex118, DEFAULT::getNfaIndex119, DEFAULT::getNfaIndex120,
            DEFAULT::getNfaIndex121, DEFAULT::getNfaIndex122, DEFAULT::getNfaIndex123,
            DEFAULT::getNfaIndex124, DEFAULT::getNfaIndex125, DEFAULT::getNfaIndex126,
            DEFAULT::getNfaIndex127, DEFAULT::getNfaIndex128, DEFAULT::getNfaIndex129,
            DEFAULT::getNfaIndex130, DEFAULT::getNfaIndex131, DEFAULT::getNfaIndex132,
            DEFAULT::getNfaIndex133, DEFAULT::getNfaIndex134, DEFAULT::getNfaIndex135,
            DEFAULT::getNfaIndex136, DEFAULT::getNfaIndex137, DEFAULT::getNfaIndex138,
            DEFAULT::getNfaIndex139, DEFAULT::getNfaIndex140, DEFAULT::getNfaIndex141,
            DEFAULT::getNfaIndex142, DEFAULT::getNfaIndex143, DEFAULT::getNfaIndex144,
            DEFAULT::getNfaIndex145, DEFAULT::getNfaIndex146, DEFAULT::getNfaIndex147,
            DEFAULT::getNfaIndex148, DEFAULT::getNfaIndex149, DEFAULT::getNfaIndex150,
            DEFAULT::getNfaIndex151, DEFAULT::getNfaIndex152, DEFAULT::getNfaIndex153,
            DEFAULT::getNfaIndex154, DEFAULT::getNfaIndex155, DEFAULT::getNfaIndex156,
            DEFAULT::getNfaIndex157, DEFAULT::getNfaIndex158, DEFAULT::getNfaIndex159,
            DEFAULT::getNfaIndex160, DEFAULT::getNfaIndex161, DEFAULT::getNfaIndex162,
            DEFAULT::getNfaIndex163, DEFAULT::getNfaIndex164};
            nfaFunctions = functions;
        }
    }

}