
net.automatalib.serialization.taf.parser.InternalTAFParserConstants Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of automata-serialization-taf Show documentation
Show all versions of automata-serialization-taf Show documentation
(De-)Serializers for the Textual Automaton Format
/* Generated By:JavaCC: Do not edit this line. InternalTAFParserConstants.java */
package net.automatalib.serialization.taf.parser;
/**
* Token literal values and constants.
* Generated by org.javacc.parser.OtherFilesGen#start()
*/
interface InternalTAFParserConstants {
/** End of File. */
int EOF = 0;
/** RegularExpression Id. */
int DFA = 5;
/** RegularExpression Id. */
int MEALY = 6;
/** RegularExpression Id. */
int LBRACK = 7;
/** RegularExpression Id. */
int RBRACK = 8;
/** RegularExpression Id. */
int DOTS = 9;
/** RegularExpression Id. */
int LBRACE = 10;
/** RegularExpression Id. */
int RBRACE = 11;
/** RegularExpression Id. */
int COMMA = 12;
/** RegularExpression Id. */
int SLASH = 13;
/** RegularExpression Id. */
int ASTERISK = 14;
/** RegularExpression Id. */
int ARROW = 15;
/** RegularExpression Id. */
int LC_ALPHA = 16;
/** RegularExpression Id. */
int ID = 17;
/** RegularExpression Id. */
int NUMBER = 18;
/** RegularExpression Id. */
int BEGIN_QID = 19;
/** RegularExpression Id. */
int QID = 20;
/** RegularExpression Id. */
int END_QID = 21;
/** RegularExpression Id. */
int BEGIN_LINE_COMMENT = 22;
/** RegularExpression Id. */
int BEGIN_BLOCK_COMMENT = 23;
/** RegularExpression Id. */
int END_LINE_COMMENT = 24;
/** RegularExpression Id. */
int END_BLOCK_COMMENT = 26;
/** Lexical state. */
int DEFAULT = 0;
/** Lexical state. */
int IN_QID = 1;
/** Lexical state. */
int IN_LINE_COMMENT = 2;
/** Lexical state. */
int IN_BLOCK_COMMENT = 3;
/** Literal token values. */
String[] tokenImage = {
"",
"\" \"",
"\"\\r\"",
"\"\\t\"",
"\"\\n\"",
"\"dfa\"",
"\"mealy\"",
"\"[\"",
"\"]\"",
"\"..\"",
"\"{\"",
"\"}\"",
"\",\"",
"\"/\"",
"\"*\"",
"\"->\"",
"",
"",
"",
"\"\\\"\"",
"",
"\"\\\"\"",
"\"//\"",
"\"/*\"",
"\"\\n\"",
"",
"\"*/\"",
"",
};
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy