01: // This file is part of KeY - Integrated Deductive Software Design
02: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
03: // Universitaet Koblenz-Landau, Germany
04: // Chalmers University of Technology, Sweden
05: //
06: // The KeY system is protected by the GNU General Public License.
07: // See LICENSE.TXT for details.
08: //
09: //
10: /* Generated By:JavaCC: Do not edit this line. MyParserConstants.java */
11: package de.uka.ilkd.key.casetool.together.patterns.HelperClasses.MyParser;
12:
13: public interface MyParserConstants {
14:
15: int EOF = 0;
16: int PATTERNMOD = 5;
17: int SCHEMA = 6;
18: int COMMENT = 7;
19: int MAPPINGS = 8;
20: int SEVERALSUBCLASSES = 9;
21: int MULTIINSTANCES = 10;
22: int ADDSTRINGFIELD = 11;
23: int ADDCLASSATTRIBUTE = 12;
24: int ADDPARAMETER = 13;
25: int ADDMETHOD = 14;
26: int POSTCONDITION = 15;
27: int PRECONDITION = 16;
28: int PREPOSTCONDITION = 17;
29: int INVARIANT = 18;
30: int STATIC = 19;
31: int PRIVATE = 20;
32: int PUBLIC = 21;
33: int PROTECTED = 22;
34: int STRING1 = 23;
35:
36: int DEFAULT = 0;
37:
38: String[] tokenImage = { "<EOF>", "\" \"", "\"\\t\"", "\"\\n\"",
39: "\"\\r\"", "\"patternmodification#\"", "\"schema#\"",
40: "\"comment#\"", "\"mapping#\"",
41: "\"canHaveSeveralSubclasses#\"",
42: "\"canHaveMultipleInstances#\"", "\"addStringField#\"",
43: "\"addClassAttribute#\"", "\"addParameter#\"",
44: "\"addMethod#\"", "\"postcondition#\"",
45: "\"precondition#\"", "\"prepostcondition#\"",
46: "\"invariant#\"", "\"#static\"", "\"#private\"",
47: "\"#public\"", "\"#protected\"", "<STRING1>", "\"#\"",
48: "\"\\\'\"", "\"method#\"", "\"class#\"", };
49:
50: }
|