+++ /dev/null
-/* Generated By:JavaCC: Do not edit this line. SpecParserConstants.java */
-package edu.uci.eecs.specCompiler.grammerParser;
-
-
-/**
- * Token literal values and constants.
- * Generated by org.javacc.parser.OtherFilesGen#start()
- */
-public interface SpecParserConstants {
-
- /** End of File. */
- int EOF = 0;
- /** RegularExpression Id. */
- int SPACE = 5;
- /** RegularExpression Id. */
- int COMMENT = 6;
- /** RegularExpression Id. */
- int HEAD = 7;
- /** RegularExpression Id. */
- int TAIL = 8;
- /** RegularExpression Id. */
- int BEGIN = 9;
- /** RegularExpression Id. */
- int END = 10;
- /** RegularExpression Id. */
- int ID = 11;
- /** RegularExpression Id. */
- int CONDITION = 12;
- /** RegularExpression Id. */
- int CHECK = 13;
- /** RegularExpression Id. */
- int ACTION = 14;
- /** RegularExpression Id. */
- int POST_ACTION = 15;
- /** RegularExpression Id. */
- int POST_CHECK = 16;
- /** RegularExpression Id. */
- int GLOBAL_DEFINE = 17;
- /** RegularExpression Id. */
- int HAPPENS_BEFORE = 18;
- /** RegularExpression Id. */
- int INTERFACE_CLUSTER = 19;
- /** RegularExpression Id. */
- int POTENTIAL_COMMIT_POINT = 20;
-
- /** Lexical state. */
- int DEFAULT = 0;
-
- /** Literal token values. */
- String[] tokenImage = {
- "<EOF>",
- "\" \"",
- "\"\\n\"",
- "\"\\r\"",
- "\"\\r\\n\"",
- "<SPACE>",
- "<COMMENT>",
- "\"/**\"",
- "\"*/\"",
- "\"@Begin\"",
- "\"@End\"",
- "\"@ID:\"",
- "\"@Condition:\"",
- "\"@Check:\"",
- "\"@Action:\"",
- "\"@Post_action:\"",
- "\"@Post_check:\"",
- "\"@Global_define:\"",
- "\"@Happens_before:\"",
- "\"@Interface_cluster:\"",
- "\"@Potential_commit_point:\"",
- };
-
-}