/* Generated By:JavaCC: Do not edit this line. TheParserConstants.java */ package hsr.avatar; public interface TheParserConstants { int EOF = 0; int INT = 39; int DOUBLE = 40; int EXPON = 41; int TRUE = 49; int FALSE = 50; int CHAR = 51; int STRING = 52; int TEXT = 53; int IDENT = 54; int DEFAULT = 0; String[] tokenImage = { "", "\".\"", "\"from\"", "\"Alice\"", "\"Bob\"", "\"instance\"", "\"solution\"", "\"of\"", "\"propose\"", "\"oppose\"", "\"protocolRequest\"", "\"provide\"", "\"solve\"", "\"protocolResponse\"", "\"agree\"", "\"strengthening\"", "\"refuting\"", "\"scg_config[\"", "\"domain:\"", "\"protocols:\"", "\"tournamentStyle:\"", "\"turnDuration:\"", "\"maxNumAvatars:\"", "\"minStrengthening:\"", "\"initialReputation:\"", "\"maxReputation:\"", "\"reputationFactor:\"", "\"minProposals:\"", "\"maxProposals:\"", "\"numRounds:\"", "\"proposedClaimMustBeNew:\"", "\"minConfidence:\"", "\"]\"", "\"full\"", "\"round-robin\"", "\"knockout\"", "\"swiss\"", "\"red\"", "\"black\"", "", "", "", "\" \"", "\"\\t\"", "\"\\n\"", "\"\\r\"", "\"\\r\\n\"", "", "", "\"true\"", "\"false\"", "", "", "", "", }; }