1 /* Generated By:JavaCC: Do not edit this line. SpecParserConstants.java */
2 package edu.uci.eecs.specCompiler.grammerParser;
6 * Token literal values and constants.
7 * Generated by org.javacc.parser.OtherFilesGen#start()
9 public interface SpecParserConstants {
13 /** RegularExpression Id. */
15 /** RegularExpression Id. */
17 /** RegularExpression Id. */
19 /** RegularExpression Id. */
21 /** RegularExpression Id. */
23 /** RegularExpression Id. */
29 /** Literal token values. */
30 String[] tokenImage = {