/* Generated By:JavaCC: Do not edit this line. TheParserConstants.java */ package gen; /** * Token literal values and constants. * Generated by org.javacc.parser.OtherFilesGen#start() */ public interface TheParserConstants { /** End of File. */ int EOF = 0; /** RegularExpression Id. */ int INT = 22; /** RegularExpression Id. */ int DOUBLE = 23; /** RegularExpression Id. */ int EXPON = 24; /** RegularExpression Id. */ int TRUE = 32; /** RegularExpression Id. */ int FALSE = 33; /** RegularExpression Id. */ int CHAR = 34; /** RegularExpression Id. */ int STRING = 35; /** RegularExpression Id. */ int TEXT = 36; /** RegularExpression Id. */ int IDENT = 37; /** Lexical state. */ int DEFAULT = 0; /** Literal token values. */ String[] tokenImage = { "", "\"propose\"", "\"oppose\"", "\"instance\"", "\"solution\"", "\"claim\"", "\"refute\"", "\"strengthen\"", "\"agree\"", "\"expectations\"", "\"replies\"", "\"game-specific intensional definition\"", "\"protocol\"", "\"IP\"", "\"IS\"", "\"START\"", "\"END\"", "\"game-specific Instance\"", "\"game-specific Solution\"", "\"domain\"", "\"red\"", "\"black\"", "", "", "", "\" \"", "\"\\t\"", "\"\\n\"", "\"\\r\"", "\"\\r\\n\"", "", "", "\"true\"", "\"false\"", "", "", "", "", }; }