| /** |
| * Essential OCL Grammar |
| * <copyright> |
| * |
| * Copyright (c) 2005, 2018 IBM Corporation and others. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v2.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v20.html |
| * |
| * Contributors: |
| * IBM - Initial API and implementation |
| * E.D.Willink - Elimination of some shift-reduce conflicts |
| * E.D.Willink - Remove unnecessary warning suppression |
| * E.D.Willink - Bugs 184048, 225493, 243976, 259818, 282882, 287993, 288040, 292112, 295166 |
| * Borland - Bug 242880 |
| * Adolfo Sanchez-Barbudo Herrera (Open Canarias): |
| * - 242153: LPG v 2.0.17 adoption. |
| * - 299396: Introducing new LPG templates |
| * - 300534: Removing the use of deprecated macros. |
| *******************************************************************************/ |
| |
| package org.eclipse.ocl.parser.backtracking; |
| |
| /** |
| * The backtracking variant of the OCL parser parse table. |
| * |
| * @noextend This class is not intended to be subclassed by clients. |
| * |
| * @since 1.3 |
| */ |
| @SuppressWarnings("nls") |
| public class OCLBacktrackingParserprs implements lpg.runtime.ParseTable, OCLBacktrackingParsersym { |
| public final static int ERROR_SYMBOL = 1; |
| public final int getErrorSymbol() { return ERROR_SYMBOL; } |
| |
| public final static int SCOPE_UBOUND = 53; |
| public final int getScopeUbound() { return SCOPE_UBOUND; } |
| |
| public final static int SCOPE_SIZE = 54; |
| public final int getScopeSize() { return SCOPE_SIZE; } |
| |
| public final static int MAX_NAME_LENGTH = 29; |
| public final int getMaxNameLength() { return MAX_NAME_LENGTH; } |
| |
| public final static int NUM_STATES = 263; |
| public final int getNumStates() { return NUM_STATES; } |
| |
| public final static int NT_OFFSET = 80; |
| public final int getNtOffset() { return NT_OFFSET; } |
| |
| public final static int LA_STATE_OFFSET = 4841; |
| public final int getLaStateOffset() { return LA_STATE_OFFSET; } |
| |
| public final static int MAX_LA = 1; |
| public final int getMaxLa() { return MAX_LA; } |
| |
| public final static int NUM_RULES = 345; |
| public final int getNumRules() { return NUM_RULES; } |
| |
| public final static int NUM_NONTERMINALS = 127; |
| public final int getNumNonterminals() { return NUM_NONTERMINALS; } |
| |
| public final static int NUM_SYMBOLS = 207; |
| public final int getNumSymbols() { return NUM_SYMBOLS; } |
| |
| public final static int SEGMENT_SIZE = 8192; |
| public final int getSegmentSize() { return SEGMENT_SIZE; } |
| |
| public final static int START_STATE = 4044; |
| public final int getStartState() { return START_STATE; } |
| |
| public final static int IDENTIFIER_SYMBOL = 7; |
| public final int getIdentifier_SYMBOL() { return IDENTIFIER_SYMBOL; } |
| |
| public final static int EOFT_SYMBOL = 71; |
| public final int getEoftSymbol() { return EOFT_SYMBOL; } |
| |
| public final static int EOLT_SYMBOL = 71; |
| public final int getEoltSymbol() { return EOLT_SYMBOL; } |
| |
| public final static int ACCEPT_ACTION = 4495; |
| public final int getAcceptAction() { return ACCEPT_ACTION; } |
| |
| public final static int ERROR_ACTION = 4496; |
| public final int getErrorAction() { return ERROR_ACTION; } |
| |
| public final static boolean BACKTRACK = true; |
| public final boolean getBacktrack() { return BACKTRACK; } |
| |
| public final int getStartSymbol() { return lhs(0); } |
| public final boolean isValidForParser() { return OCLBacktrackingParsersym.isValidForParser; } |
| |
| |
| public interface IsNullable { |
| public final static byte isNullable[] = {0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,1,0,0,0,1,1,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,1,0,1,1,0,0, |
| 0,0,0,1,0,1,0,0,1,0, |
| 0,0,0,0,0,0,1,0,0,0, |
| 0,0,0,0,0,0,0 |
| }; |
| }; |
| public final static byte isNullable[] = IsNullable.isNullable; |
| public final boolean isNullable(int index) { return isNullable[index] != 0; } |
| |
| public interface ProsthesesIndex { |
| public final static byte prosthesesIndex[] = {0, |
| 12,13,127,9,10,15,17,18,11,29, |
| 30,31,32,33,38,39,40,41,42,43, |
| 44,46,47,48,49,50,51,52,53,54, |
| 59,60,61,86,88,89,90,91,100,83, |
| 84,85,80,81,82,77,78,79,74,75, |
| 76,71,72,73,68,69,70,65,66,67, |
| 24,55,62,63,64,21,125,6,8,14, |
| 25,56,99,57,16,22,23,58,97,94, |
| 28,87,113,114,115,116,27,36,37,95, |
| 96,103,105,26,34,35,98,101,102,109, |
| 118,119,120,123,124,2,3,4,19,20, |
| 45,92,93,104,106,107,108,110,111,112, |
| 117,121,122,126,1,5,7 |
| }; |
| }; |
| public final static byte prosthesesIndex[] = ProsthesesIndex.prosthesesIndex; |
| public final int prosthesesIndex(int index) { return prosthesesIndex[index]; } |
| |
| public interface IsKeyword { |
| public final static byte isKeyword[] = {0, |
| 0,0,0,0,0,1,0,0,0,1, |
| 1,1,1,1,1,1,1,1,1,1, |
| 1,1,1,1,0,0,0,1,0,0, |
| 1,1,1,1,1,1,1,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,1,0,1,1,1,1,1,1,1, |
| 1,0,1,1,0,0,1,1,1,1, |
| 0,0,0,1,0,1,1,1,0,0 |
| }; |
| }; |
| public final static byte isKeyword[] = IsKeyword.isKeyword; |
| public final boolean isKeyword(int index) { return isKeyword[index] != 0; } |
| |
| public interface BaseCheck { |
| public final static short baseCheck[] = {0, |
| 1,1,1,1,1,1,1,1,1,1, |
| 1,1,1,1,1,1,1,1,1,1, |
| 1,1,1,1,1,1,1,1,1,1, |
| 1,1,1,1,1,1,2,1,1,1, |
| 3,1,1,1,1,1,1,1,1,1, |
| 1,1,1,1,1,1,1,1,4,4, |
| 0,1,1,3,1,3,3,5,1,1, |
| 1,1,1,1,1,1,1,1,1,1, |
| 4,4,0,1,1,3,1,1,3,1, |
| 1,1,1,1,1,1,4,1,3,1, |
| 1,1,2,1,1,1,1,1,1,1, |
| 1,1,1,1,1,8,10,10,8,10, |
| 1,1,1,5,6,8,8,7,7,5, |
| 6,9,1,4,6,4,7,5,0,0, |
| 1,1,3,1,1,1,1,1,1,1, |
| 1,1,3,1,3,1,1,1,3,1, |
| 3,1,1,1,3,1,3,1,1,1, |
| 3,1,3,1,1,1,3,3,1,3, |
| 3,1,1,1,3,3,3,3,1,3, |
| 3,3,3,1,1,1,3,3,1,3, |
| 3,1,1,1,3,3,1,3,3,1, |
| 1,1,2,2,1,2,2,1,1,1, |
| 1,1,1,3,7,4,1,3,1,1, |
| 1,1,1,0,1,1,1,1,1,1, |
| 1,1,1,1,1,1,0,1,1,1, |
| 0,1,7,2,2,1,6,6,0,1, |
| 1,3,1,3,1,1,1,2,2,1, |
| 1,4,1,1,1,3,2,1,3,0, |
| 1,1,2,1,1,1,7,1,2,3, |
| 3,3,5,1,2,4,4,5,3,3, |
| 3,1,2,4,4,4,6,8,0,1, |
| 1,3,1,1,1,1,4,2,1,4, |
| 7,5,3,3,3,4,4,3,2,2, |
| 3,3,4,5,2,1,7,3,3,3, |
| 3,2,2,5,4,-98,1,2,3,4, |
| 5,6,7,8,9,10,11,12,13,14, |
| 15,16,17,18,19,20,21,22,23,24, |
| 25,26,27,28,29,30,31,32,33,34, |
| 35,36,37,38,39,40,41,42,43,44, |
| 45,46,47,48,49,50,51,52,53,54, |
| 55,56,57,58,59,60,61,62,63,64, |
| 65,-105,1,2,3,-2,-3,6,-15,1, |
| 2,3,-84,-4,6,-14,-85,1,2,3, |
| -90,-10,6,88,89,-17,1,2,3,-16, |
| 95,96,-99,1,2,3,4,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,64,65,83,84, |
| 85,86,90,83,84,85,86,-18,107,108, |
| -103,1,2,3,-104,1,2,3,-87,-20, |
| 88,89,-106,1,2,3,-156,95,96,-204, |
| 1,2,3,4,5,6,7,8,9,10, |
| 11,12,13,14,15,16,17,18,19,20, |
| 21,22,23,24,25,26,27,28,29,30, |
| 31,32,33,34,35,36,37,38,39,40, |
| 41,42,43,44,45,46,47,48,49,50, |
| 51,52,53,54,55,56,57,58,59,60, |
| 61,62,63,64,65,66,-19,-21,80,73, |
| 71,-230,-26,-28,-30,76,-33,-35,-184,-38, |
| -41,-45,93,-136,-42,-43,87,-244,1,2, |
| 3,4,5,6,7,8,9,10,11,12, |
| 13,14,15,16,17,18,19,20,21,22, |
| 23,24,25,26,27,28,29,30,31,32, |
| 33,34,35,36,37,38,39,40,41,42, |
| 43,44,45,46,47,48,49,50,51,52, |
| 53,54,55,56,57,58,59,60,61,62, |
| 63,64,65,66,73,74,73,74,80,72, |
| 93,-44,91,76,-46,-47,-48,-49,-51,-39, |
| -192,1,2,3,87,-197,1,2,3,4, |
| 5,6,7,8,9,10,11,12,13,14, |
| 15,16,17,18,19,20,21,22,23,24, |
| 25,26,27,28,29,30,31,32,33,34, |
| 35,36,37,38,39,40,41,42,43,44, |
| 45,46,47,48,49,50,51,52,53,54, |
| 55,56,57,58,59,60,61,62,63,64, |
| 65,71,-13,1,2,3,-53,77,6,80, |
| -54,-55,-56,-57,-58,-59,-60,-61,-62,-63, |
| -64,-131,-68,-69,94,-70,-71,92,-72,-153, |
| 101,-155,-73,98,99,-198,1,2,3,4, |
| 5,6,7,8,9,10,11,12,13,14, |
| 15,16,17,18,19,20,21,22,23,24, |
| 25,26,27,28,29,30,31,32,33,34, |
| 35,36,37,38,39,40,41,42,43,44, |
| 45,46,47,48,49,50,51,52,53,54, |
| 55,56,57,58,59,60,61,62,63,64, |
| 65,80,73,74,73,74,-74,-75,-76,-80, |
| -93,-94,-95,-101,-102,-107,-114,-115,-116,-127, |
| -128,-129,101,-132,122,-133,-134,92,-189,-135, |
| -217,-137,-226,98,99,-138,1,2,3,4, |
| 5,6,7,8,9,10,11,12,13,14, |
| 15,16,17,18,19,20,21,22,23,24, |
| 25,26,27,28,29,30,31,32,33,34, |
| 35,36,37,38,39,40,41,42,43,44, |
| 45,46,47,48,49,50,51,52,53,54, |
| 55,56,57,58,59,60,61,62,63,64, |
| 65,73,74,73,74,73,74,72,-236,-167, |
| 1,2,3,78,-187,1,2,3,4,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,43,44,45, |
| 46,47,48,49,50,51,52,53,54,55, |
| 56,57,58,59,60,61,62,63,64,65, |
| 71,73,74,-139,-140,-141,72,-256,-240,1, |
| 2,3,78,-195,1,2,3,4,5,6, |
| 7,8,9,10,11,12,13,14,15,16, |
| 17,18,19,20,21,22,23,24,25,26, |
| 27,28,29,30,31,32,33,34,35,36, |
| 37,38,39,40,41,42,43,44,45,46, |
| 47,48,49,50,51,52,53,54,55,56, |
| 57,58,59,60,61,62,63,64,65,71, |
| 73,74,-142,-143,-144,-145,-146,-147,-148,-149, |
| -151,-152,-154,-157,-158,-159,-160,-161,-162,-163, |
| -164,88,89,-216,1,2,3,4,5,6, |
| 7,8,9,10,11,12,13,14,15,16, |
| 17,18,19,20,21,22,23,24,25,26, |
| 27,28,29,30,31,32,33,34,35,36, |
| 37,38,39,40,41,42,43,44,45,46, |
| 47,48,49,50,51,52,53,54,55,56, |
| 57,58,59,60,61,62,63,64,65,-165, |
| -166,-170,-171,-172,-173,72,-174,-175,-176,-177, |
| -178,78,-219,1,2,3,4,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,64,65,-183,-190, |
| -191,-196,-199,-202,72,-203,-205,-206,-207,-208, |
| 78,-220,1,2,3,4,5,6,7,8, |
| 9,10,11,12,13,14,15,16,17,18, |
| 19,20,21,22,23,24,25,26,27,28, |
| 29,30,31,32,33,34,35,36,37,38, |
| 39,40,41,42,43,44,45,46,47,48, |
| 49,50,51,52,53,54,55,56,57,58, |
| 59,60,61,62,63,64,65,-210,-212,-213, |
| -214,-215,-218,72,-221,-222,-223,-224,-225,78, |
| -247,1,2,3,4,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 40,41,42,43,44,45,46,47,48,49, |
| 50,51,52,53,54,55,56,57,58,59, |
| 60,61,62,63,64,65,-231,-234,-235,-237, |
| -238,-248,72,-249,-250,-251,-252,-253,78,-92, |
| 1,2,3,4,5,6,7,8,9,10, |
| 11,12,13,14,15,16,17,18,19,20, |
| 21,22,23,24,25,26,27,28,29,30, |
| 31,32,33,34,35,36,37,38,39,40, |
| 41,42,43,44,45,46,47,48,49,50, |
| 51,52,53,54,55,56,57,58,59,60, |
| 61,62,63,64,65,-254,-255,-257,-261,-262, |
| -263,72,-201,1,2,3,4,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,55,56,57, |
| 58,59,60,61,62,63,64,65,0,0, |
| 0,0,0,0,72,-233,1,2,3,4, |
| 5,6,7,8,9,10,11,12,13,14, |
| 15,16,17,18,19,20,21,22,23,24, |
| 25,26,27,28,29,30,31,32,33,34, |
| 35,36,37,38,39,40,41,42,43,44, |
| 45,46,47,48,49,50,51,52,53,54, |
| 55,56,57,58,59,60,61,62,63,64, |
| 65,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,92,-243,1, |
| 2,3,4,5,6,7,8,9,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 22,23,24,25,26,27,28,29,30,31, |
| 32,33,34,35,36,37,38,39,40,41, |
| 42,43,44,45,46,47,48,49,50,51, |
| 52,53,54,55,56,57,58,59,60,61, |
| 62,63,64,65,0,0,0,0,0,0, |
| 72,-22,1,2,3,4,5,6,7,8, |
| 9,10,11,12,13,14,15,16,17,18, |
| 19,20,21,22,23,24,25,26,27,28, |
| 29,30,31,32,33,34,35,36,37,38, |
| 39,40,41,42,43,44,45,46,47,48, |
| 49,50,51,52,53,54,55,56,57,58, |
| 59,60,61,62,63,64,65,-24,1,2, |
| 3,4,5,6,7,8,9,10,11,12, |
| 13,14,15,16,17,18,19,20,21,22, |
| 23,24,25,26,27,28,29,30,31,32, |
| 33,34,35,36,37,38,39,40,41,42, |
| 43,44,45,46,47,48,49,50,51,52, |
| 53,54,55,56,57,58,59,60,61,62, |
| 63,64,65,-25,1,2,3,4,5,6, |
| 7,8,9,10,11,12,13,14,15,16, |
| 17,18,19,20,21,22,23,24,25,26, |
| 27,28,29,30,31,32,33,34,35,36, |
| 37,38,39,40,41,42,43,44,45,46, |
| 47,48,49,50,51,52,53,54,55,56, |
| 57,58,59,60,61,62,63,64,65,-50, |
| 1,2,3,4,5,6,7,8,9,10, |
| 11,12,13,14,15,16,17,18,19,20, |
| 21,22,23,24,25,26,27,28,29,30, |
| 31,32,33,34,35,36,37,38,39,40, |
| 41,42,43,44,45,46,47,48,49,50, |
| 51,52,53,54,55,56,57,58,59,60, |
| 61,62,63,64,65,-52,1,2,3,4, |
| 5,6,7,8,9,10,11,12,13,14, |
| 15,16,17,18,19,20,21,22,23,24, |
| 25,26,27,28,29,30,31,32,33,34, |
| 35,36,37,38,39,40,41,42,43,44, |
| 45,46,47,48,49,50,51,52,53,54, |
| 55,56,57,58,59,60,61,62,63,64, |
| 65,-77,1,2,3,4,5,6,7,8, |
| 9,10,11,12,13,14,15,16,17,18, |
| 19,20,21,22,23,24,25,26,27,28, |
| 29,30,31,32,33,34,35,36,37,38, |
| 39,40,41,42,43,44,45,46,47,48, |
| 49,50,51,52,53,54,55,56,57,58, |
| 59,60,61,62,63,64,65,-78,1,2, |
| 3,4,5,6,7,8,9,10,11,12, |
| 13,14,15,16,17,18,19,20,21,22, |
| 23,24,25,26,27,28,29,30,31,32, |
| 33,34,35,36,37,38,39,40,41,42, |
| 43,44,45,46,47,48,49,50,51,52, |
| 53,54,55,56,57,58,59,60,61,62, |
| 63,64,65,-79,1,2,3,4,5,6, |
| 7,8,9,10,11,12,13,14,15,16, |
| 17,18,19,20,21,22,23,24,25,26, |
| 27,28,29,30,31,32,33,34,35,36, |
| 37,38,39,40,41,42,43,44,45,46, |
| 47,48,49,50,51,52,53,54,55,56, |
| 57,58,59,60,61,62,63,64,65,-83, |
| 1,2,3,4,5,6,7,8,9,10, |
| 11,12,13,14,15,16,17,18,19,20, |
| 21,22,23,24,25,26,27,28,29,30, |
| 31,32,33,34,35,36,37,38,39,40, |
| 41,42,43,44,45,46,47,48,49,50, |
| 51,52,53,54,55,56,57,58,59,60, |
| 61,62,63,64,65,-125,1,2,3,4, |
| 5,6,7,8,9,10,11,12,13,14, |
| 15,16,17,18,19,20,21,22,23,24, |
| 25,26,27,28,29,30,31,32,33,34, |
| 35,36,37,38,39,40,41,42,43,44, |
| 45,46,47,48,49,50,51,52,53,54, |
| 55,56,57,58,59,60,61,62,63,64, |
| 65,-150,1,2,3,4,5,6,7,8, |
| 9,10,11,12,13,14,15,16,17,18, |
| 19,20,21,22,23,24,25,26,27,28, |
| 29,30,31,32,33,34,35,36,37,38, |
| 39,40,41,42,43,44,45,46,47,48, |
| 49,50,51,52,53,54,55,56,57,58, |
| 59,60,61,62,63,64,65,-168,1,2, |
| 3,4,5,6,7,8,9,10,11,12, |
| 13,14,15,16,17,18,19,20,21,22, |
| 23,24,25,26,27,28,29,30,31,32, |
| 33,34,35,36,37,38,39,40,41,42, |
| 43,44,45,46,47,48,49,50,51,52, |
| 53,54,55,56,57,58,59,60,61,62, |
| 63,64,65,-179,1,2,3,4,5,6, |
| 7,8,9,10,11,12,13,14,15,16, |
| 17,18,19,20,21,22,23,24,25,26, |
| 27,28,29,30,31,32,33,34,35,36, |
| 37,38,39,40,41,42,43,44,45,46, |
| 47,48,49,50,51,52,53,54,55,56, |
| 57,58,59,60,61,62,63,64,65,-180, |
| 1,2,3,4,5,6,7,8,9,10, |
| 11,12,13,14,15,16,17,18,19,20, |
| 21,22,23,24,25,26,27,28,29,30, |
| 31,32,33,34,35,36,37,38,39,40, |
| 41,42,43,44,45,46,47,48,49,50, |
| 51,52,53,54,55,56,57,58,59,60, |
| 61,62,63,64,65,-188,1,2,3,4, |
| 5,6,7,8,9,10,11,12,13,14, |
| 15,16,17,18,19,20,21,22,23,24, |
| 25,26,27,28,29,30,31,32,33,34, |
| 35,36,37,38,39,40,41,42,43,44, |
| 45,46,47,48,49,50,51,52,53,54, |
| 55,56,57,58,59,60,61,62,63,64, |
| 65,-194,1,2,3,4,5,6,7,8, |
| 9,10,11,12,13,14,15,16,17,18, |
| 19,20,21,22,23,24,25,26,27,28, |
| 29,30,31,32,33,34,35,36,37,38, |
| 39,40,41,42,43,44,45,46,47,48, |
| 49,50,51,52,53,54,55,56,57,58, |
| 59,60,61,62,63,64,65,-211,1,2, |
| 3,4,5,6,7,8,9,10,11,12, |
| 13,14,15,16,17,18,19,20,21,22, |
| 23,24,25,26,27,28,29,30,31,32, |
| 33,34,35,36,37,38,39,40,41,42, |
| 43,44,45,46,47,48,49,50,51,52, |
| 53,54,55,56,57,58,59,60,61,62, |
| 63,64,65,-239,1,2,3,4,5,6, |
| 7,8,9,10,11,12,13,14,15,16, |
| 17,18,19,20,21,22,23,24,25,26, |
| 27,28,29,30,31,32,33,34,35,36, |
| 37,38,39,40,41,42,43,44,45,46, |
| 47,48,49,50,51,52,53,54,55,56, |
| 57,58,59,60,61,62,63,64,65,-241, |
| 1,2,3,4,5,6,7,8,9,10, |
| 11,12,13,14,15,16,17,18,19,20, |
| 21,22,23,24,25,26,27,28,29,30, |
| 31,32,33,34,35,36,37,38,39,40, |
| 41,42,43,44,45,46,47,48,49,50, |
| 51,52,53,54,55,56,57,58,59,60, |
| 61,62,63,64,65,-258,1,2,3,4, |
| 5,6,7,8,9,10,11,12,13,14, |
| 15,16,17,18,19,20,21,22,23,24, |
| 25,26,27,28,29,30,31,32,33,34, |
| 35,36,37,38,39,40,41,42,43,44, |
| 45,46,47,48,49,50,51,52,53,54, |
| 55,56,57,58,59,60,61,62,63,64, |
| 65,-259,1,2,3,4,5,6,7,8, |
| 9,10,11,12,13,14,15,16,17,18, |
| 19,20,21,22,23,24,25,26,27,28, |
| 29,30,31,32,33,34,35,36,37,38, |
| 39,40,41,42,43,44,45,46,47,48, |
| 49,50,51,52,53,54,55,56,57,58, |
| 59,60,61,62,63,64,65,-260,1,2, |
| 3,4,5,6,7,8,9,10,11,12, |
| 13,14,15,16,17,18,19,20,21,22, |
| 23,24,25,26,27,28,29,30,31,32, |
| 33,34,35,36,37,38,39,40,41,42, |
| 43,44,45,46,47,48,49,50,51,52, |
| 53,54,55,56,57,58,59,60,61,62, |
| 63,64,65,-108,1,2,3,4,5,6, |
| 7,8,9,10,11,12,13,14,15,16, |
| 17,18,19,20,21,22,23,24,25,26, |
| 27,28,29,30,31,32,33,34,35,36, |
| 37,38,39,40,41,42,43,44,45,46, |
| 47,48,49,50,51,52,53,54,55,56, |
| 57,58,59,60,-124,1,2,3,4,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,43,44,45, |
| 46,47,48,49,50,51,52,53,54,55, |
| 56,57,-109,1,2,3,4,5,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,26,27, |
| 28,29,30,31,32,33,34,35,36,37, |
| 38,39,40,41,42,43,44,45,46,47, |
| 48,49,50,51,52,53,54,-123,1,2, |
| 3,4,5,6,7,8,9,10,11,12, |
| 13,14,15,16,17,18,19,20,21,22, |
| 23,24,25,26,27,28,29,30,31,32, |
| 33,34,35,36,37,38,39,40,41,42, |
| 43,44,45,46,47,48,49,50,51,-110, |
| 1,2,3,4,5,6,7,8,9,10, |
| 11,12,13,14,15,16,17,18,19,20, |
| 21,22,23,24,25,26,27,28,29,30, |
| 31,32,33,34,35,36,37,38,39,40, |
| 41,42,43,44,45,46,47,48,-111,1, |
| 2,3,4,5,6,7,8,9,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 22,23,24,25,26,27,28,29,30,31, |
| 32,33,34,35,36,37,38,39,40,41, |
| 42,43,44,45,46,47,48,-119,1,2, |
| 3,4,5,6,7,8,9,10,11,12, |
| 13,14,15,16,17,18,19,20,21,22, |
| 23,24,25,26,27,28,29,30,31,32, |
| 33,34,35,36,37,38,39,40,41,42, |
| 43,44,45,-120,1,2,3,4,5,6, |
| 7,8,9,10,11,12,13,14,15,16, |
| 17,18,19,20,21,22,23,24,25,26, |
| 27,28,29,30,31,32,33,34,35,36, |
| 37,38,39,40,41,42,43,44,45,-121, |
| 1,2,3,4,5,6,7,8,9,10, |
| 11,12,13,14,15,16,17,18,19,20, |
| 21,22,23,24,25,26,27,28,29,30, |
| 31,32,33,34,35,36,37,38,39,40, |
| 41,42,43,44,45,-122,1,2,3,4, |
| 5,6,7,8,9,10,11,12,13,14, |
| 15,16,17,18,19,20,21,22,23,24, |
| 25,26,27,28,29,30,31,32,33,34, |
| 35,36,37,38,39,40,41,42,43,44, |
| 45,-112,1,2,3,4,5,6,7,8, |
| 9,10,11,12,13,14,15,16,17,18, |
| 19,20,21,22,23,24,25,26,27,28, |
| 29,30,31,32,33,34,35,36,37,38, |
| 39,40,41,42,-113,1,2,3,4,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 26,27,28,29,30,31,32,33,34,35, |
| 36,37,38,39,40,41,42,-65,1,2, |
| 3,4,5,6,7,8,9,10,11,12, |
| 13,14,15,16,17,18,19,20,21,22, |
| 23,24,25,26,27,28,29,30,31,32, |
| 33,34,35,36,37,38,39,-66,1,2, |
| 3,4,5,6,7,8,9,10,11,12, |
| 13,14,15,16,17,18,19,20,21,22, |
| 23,24,25,26,27,28,29,30,31,32, |
| 33,34,35,36,37,38,39,0,0,82, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,-88,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,-209, |
| 0,0,0,0,0,0,0,0,0,82, |
| -117,1,2,3,4,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| -118,1,2,3,4,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,26,27,28,29, |
| 30,31,32,33,34,35,36,37,38,39, |
| 91,-5,82,-1,1,2,3,-245,1,2, |
| 3,4,5,6,7,8,-37,124,0,-193, |
| 1,2,3,0,-181,1,2,3,0,0, |
| 121,-185,1,2,3,0,0,0,0,0, |
| 0,0,82,-6,-27,-246,1,2,3,4, |
| 5,6,7,8,0,0,-86,1,2,3, |
| 4,5,-7,1,2,3,4,5,67,66, |
| -29,-31,0,-34,71,0,0,0,0,76, |
| 77,0,75,80,81,66,83,84,85,86, |
| 66,0,0,90,91,71,93,66,0,0, |
| 76,77,71,100,97,81,90,76,77,106, |
| 67,67,81,0,0,0,113,114,115,116, |
| 75,118,119,120,68,69,70,0,104,105, |
| 68,69,70,0,0,104,105,67,67,123, |
| 67,79,97,-8,1,2,3,4,5,-9, |
| 1,2,3,4,5,-11,1,2,3,4, |
| 5,-12,1,2,3,4,5,-23,1,2, |
| 3,4,5,6,7,8,-32,1,2,3, |
| 4,5,-100,1,2,3,4,5,6,7, |
| 8,-169,1,2,3,4,5,6,7,8, |
| -182,1,2,3,4,5,6,7,8,0, |
| 0,68,69,70,0,0,0,68,69,70, |
| 0,0,79,68,69,70,0,-36,79,68, |
| 69,70,0,0,79,-96,1,2,3,-40, |
| 79,0,75,0,68,69,70,-89,1,2, |
| 3,4,5,0,0,79,0,75,-91,1, |
| 2,3,4,5,0,0,75,-200,1,2, |
| 3,4,5,0,0,75,-186,1,2,3, |
| 4,5,6,7,8,-232,1,2,3,4, |
| 5,6,7,8,67,-228,1,2,3,-82, |
| 1,2,3,-81,0,0,71,-97,1,2, |
| 3,-130,77,-227,-229,68,69,70,-126,1, |
| 2,3,83,84,85,86,68,69,70,94, |
| 0,-242,1,2,3,68,69,70,0,100, |
| -67,1,2,3,0,0,111,0,0,0, |
| 0,75,0,0,0,0,117,0,0,0, |
| 75,66,0,0,0,66,71,0,0,0, |
| 67,76,77,66,0,0,81,0,67,0, |
| 67,67,0,0,66,0,0,0,0,0, |
| 0,0,0,0,0,0,0,66,0,0, |
| 0,102,103,0,0,0,0,76,0,0, |
| 0,71,0,0,0,0,109,110,87,0, |
| 102,103,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,112,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0 |
| }; |
| }; |
| public final static short baseCheck[] = BaseCheck.baseCheck; |
| public final int baseCheck(int index) { return baseCheck[index]; } |
| public final static short rhs[] = baseCheck; |
| public final int rhs(int index) { return rhs[index]; }; |
| |
| public interface BaseAction { |
| public final static char baseAction[] = { |
| 106,107,107,107,107,107,107,107,107,107, |
| 107,107,107,107,107,107,108,126,126,126, |
| 126,126,126,126,126,126,126,126,68,127, |
| 69,69,69,9,1,1,2,2,70,70, |
| 6,6,5,5,5,5,5,5,5,5, |
| 4,4,4,4,4,75,75,75,75,7, |
| 8,109,109,110,110,76,66,77,71,94, |
| 94,87,87,81,81,81,81,10,10,10, |
| 10,11,11,95,95,96,96,88,88,89, |
| 13,13,13,13,13,13,13,12,111,111, |
| 15,16,17,17,18,18,19,20,21,14, |
| 14,14,22,22,24,24,25,25,25,26, |
| 26,23,23,23,28,28,28,28,28,28, |
| 28,28,28,30,29,29,31,31,31,74, |
| 78,78,72,72,61,61,33,32,62,62, |
| 65,65,63,63,64,64,59,59,58,58, |
| 60,60,56,56,55,55,57,57,53,53, |
| 52,52,54,54,50,50,49,49,49,51, |
| 51,51,47,47,46,46,46,46,46,48, |
| 48,48,48,48,44,44,43,43,43,45, |
| 45,45,41,41,40,40,40,42,42,42, |
| 82,82,34,34,34,35,35,35,27,27, |
| 36,36,36,36,36,38,37,112,112,106, |
| 106,106,106,106,106,126,126,126,126,126, |
| 126,126,126,126,126,126,126,79,79,1, |
| 5,97,97,28,31,73,74,39,39,98, |
| 98,99,99,92,92,92,36,113,113,113, |
| 114,114,93,116,118,119,119,120,115,115, |
| 117,117,100,100,83,83,83,84,121,121, |
| 91,91,85,85,101,101,80,80,80,102, |
| 102,86,123,123,90,90,90,103,122,104, |
| 104,105,105,67,124,3,1,7,12,111, |
| 31,38,38,38,38,27,39,39,85,102, |
| 102,80,80,80,103,103,103,122,122,90, |
| 90,90,91,91,93,93,79,622,417,316, |
| 708,109,702,707,111,146,222,77,78,79, |
| 80,90,91,705,93,94,95,96,220,112, |
| 113,114,115,709,121,122,123,133,795,221, |
| 204,207,626,215,223,266,787,803,199,792, |
| 801,189,791,804,179,794,800,172,793,806, |
| 166,797,799,160,796,807,154,1147,144,809, |
| 149,798,812,812,417,316,743,3,1153,972, |
| 40,417,316,609,839,4280,105,972,40,417, |
| 316,1210,432,802,85,87,822,625,417,316, |
| 39,1146,1148,127,622,417,316,708,109,702, |
| 707,111,146,222,77,78,79,80,90,91, |
| 705,93,94,95,96,220,112,113,114,115, |
| 709,121,122,123,133,795,221,204,207,626, |
| 215,223,266,787,803,199,792,801,189,791, |
| 804,179,794,800,172,793,806,166,797,799, |
| 160,796,807,154,1147,144,809,149,798,283, |
| 284,285,286,303,283,284,285,286,1071,16, |
| 810,972,1151,417,316,972,1152,417,316,1016, |
| 526,85,87,972,537,417,316,1167,1149,1148, |
| 254,913,417,316,708,109,702,707,111,146, |
| 222,77,78,79,80,90,91,705,93,94, |
| 95,96,220,112,113,114,115,709,121,122, |
| 123,133,795,221,204,207,626,215,223,266, |
| 787,803,199,792,801,189,791,804,179,794, |
| 800,172,793,806,166,797,799,160,796,807, |
| 154,1395,1399,809,149,798,1398,256,693,295, |
| 1316,1396,1130,835,914,1195,71,1201,1211,1079, |
| 1219,1198,1020,269,1081,1222,789,1397,483,1068, |
| 417,316,708,109,702,707,111,146,222,77, |
| 78,79,80,90,91,705,93,94,95,96, |
| 220,112,113,114,115,709,121,122,123,133, |
| 795,221,204,207,626,215,223,266,787,803, |
| 199,792,801,189,791,804,179,794,800,172, |
| 793,806,166,797,799,160,796,807,154,142, |
| 144,809,149,798,72,892,891,256,134,295, |
| 1547,268,42,289,71,332,963,956,1139,996, |
| 795,972,1066,417,316,1546,1,622,417,316, |
| 708,109,702,707,111,146,222,77,78,79, |
| 80,90,91,705,93,94,95,96,220,112, |
| 113,114,115,709,121,122,123,133,795,221, |
| 204,207,626,215,223,266,787,803,199,792, |
| 801,189,791,804,179,794,800,172,793,806, |
| 166,797,799,160,796,807,154,265,144,809, |
| 149,798,70,972,620,417,316,846,69,710, |
| 294,129,816,318,718,836,510,119,408,640, |
| 1119,1141,1022,1146,873,99,395,714,261,1153, |
| 1245,529,1076,842,1389,1391,40,622,417,316, |
| 708,109,702,707,111,146,222,77,78,79, |
| 80,90,91,705,93,94,95,96,220,112, |
| 113,114,115,709,121,122,123,133,795,221, |
| 204,207,626,215,223,266,787,803,199,792, |
| 801,189,791,804,179,794,800,172,793,806, |
| 166,797,799,160,796,807,154,265,144,809, |
| 149,798,294,256,1313,256,1314,1202,1223,902, |
| 1226,1225,1230,356,204,1034,563,1025,561,1231, |
| 1232,689,1235,619,1154,4057,1051,1236,261,1245, |
| 1237,394,1035,980,1392,1391,178,622,417,316, |
| 708,109,702,707,111,146,222,77,78,79, |
| 80,90,91,705,93,94,95,96,220,112, |
| 113,114,115,709,121,122,123,133,795,221, |
| 204,207,626,215,223,266,787,803,199,792, |
| 801,189,791,804,179,794,800,172,793,806, |
| 166,797,799,160,796,807,154,142,144,809, |
| 149,798,256,138,256,1469,892,891,1311,1245, |
| 972,899,417,316,1310,216,622,417,316,708, |
| 109,702,707,111,146,222,77,78,79,80, |
| 90,91,705,93,94,95,96,220,112,113, |
| 114,115,709,121,122,123,133,795,221,204, |
| 207,626,215,223,266,787,803,199,792,801, |
| 189,791,804,179,794,800,172,793,806,166, |
| 797,799,160,796,807,154,142,144,809,149, |
| 798,228,256,137,739,764,1157,1311,1013,972, |
| 899,417,316,1388,483,622,417,316,708,109, |
| 702,707,111,146,222,77,78,79,80,90, |
| 91,705,93,94,95,96,220,112,113,114, |
| 115,709,121,122,123,133,795,221,204,207, |
| 626,215,223,266,787,803,199,792,801,189, |
| 791,804,179,794,800,172,793,806,166,797, |
| 799,160,796,807,154,1147,144,809,149,798, |
| 1474,892,891,1238,1239,1109,1240,644,1242,1244, |
| 969,1160,1162,1246,863,1249,945,1247,968,1041, |
| 1045,1060,86,87,292,622,417,316,708,109, |
| 702,707,111,146,222,77,78,79,80,90, |
| 91,705,93,94,95,96,220,112,113,114, |
| 115,709,121,122,123,133,795,221,204,207, |
| 626,215,223,266,787,803,199,792,801,189, |
| 791,804,179,794,800,172,793,806,166,797, |
| 799,160,796,807,154,142,144,809,149,798, |
| 1165,1172,1014,1170,1176,1177,1311,1180,957,1147, |
| 887,1248,1468,330,622,417,316,708,109,702, |
| 707,111,146,222,77,78,79,80,90,91, |
| 705,93,94,95,96,220,112,113,114,115, |
| 709,121,122,123,133,795,221,204,207,626, |
| 215,223,266,787,803,199,792,801,189,791, |
| 804,179,794,800,172,793,806,166,797,799, |
| 160,796,807,154,142,144,809,149,798,1250, |
| 1251,1252,242,1253,1255,1311,1260,1254,1262,1263, |
| 1265,1470,368,622,417,316,708,109,702,707, |
| 111,146,222,77,78,79,80,90,91,705, |
| 93,94,95,96,220,112,113,114,115,709, |
| 121,122,123,133,795,221,204,207,626,215, |
| 223,266,787,803,199,792,801,189,791,804, |
| 179,794,800,172,793,806,166,797,799,160, |
| 796,807,154,142,144,809,149,798,1266,1268, |
| 1275,1281,1278,1148,1311,1282,167,592,1284,1286, |
| 1471,445,622,417,316,708,109,702,707,111, |
| 146,222,77,78,79,80,90,91,705,93, |
| 94,95,96,220,112,113,114,115,709,121, |
| 122,123,133,795,221,204,207,626,215,223, |
| 266,787,803,199,792,801,189,791,804,179, |
| 794,800,172,793,806,166,797,799,160,796, |
| 807,154,142,144,809,149,798,826,1289,1288, |
| 1291,1298,1307,1311,1272,1309,1300,1315,843,1548, |
| 483,622,417,316,708,109,702,707,111,146, |
| 222,77,78,79,80,90,91,705,93,94, |
| 95,96,220,112,113,114,115,709,121,122, |
| 123,133,795,221,204,207,626,215,223,266, |
| 787,803,199,792,801,189,791,804,179,794, |
| 800,172,793,806,166,797,799,160,796,807, |
| 154,142,144,809,149,798,1301,1182,1316,1319, |
| 1320,1322,912,483,622,417,316,708,109,702, |
| 707,111,146,222,77,78,79,80,90,91, |
| 705,93,94,95,96,220,112,113,114,115, |
| 709,121,122,123,133,795,221,204,207,626, |
| 215,223,266,787,803,199,792,801,189,791, |
| 804,179,794,800,172,793,806,166,797,799, |
| 160,796,807,154,142,144,809,149,798,4496, |
| 4496,4496,4496,4496,4496,1393,406,622,417,316, |
| 708,109,702,707,111,146,222,77,78,79, |
| 80,90,91,705,93,94,95,96,220,112, |
| 113,114,115,709,121,122,123,133,795,221, |
| 204,207,626,215,223,266,787,803,199,792, |
| 801,189,791,804,179,794,800,172,793,806, |
| 166,797,799,160,796,807,154,265,144,809, |
| 149,798,4496,4496,4496,4496,4496,4496,4496,4496, |
| 4496,4496,4496,4496,4496,4496,4496,4496,4496,4496, |
| 4496,4496,4496,4496,4496,4496,4496,4496,262,483, |
| 622,417,316,708,109,702,707,111,146,222, |
| 77,78,79,80,90,91,705,93,94,95, |
| 96,220,112,113,114,115,709,121,122,123, |
| 133,795,221,204,207,626,215,223,266,787, |
| 803,199,792,801,189,791,804,179,794,800, |
| 172,793,806,166,797,799,160,796,807,154, |
| 142,144,809,149,798,4496,4496,4496,4496,4496, |
| 4496,1478,483,622,417,316,708,109,702,707, |
| 111,146,222,77,78,79,80,90,91,705, |
| 93,94,95,96,220,112,113,114,115,709, |
| 121,122,123,133,795,221,204,207,626,215, |
| 223,266,787,803,199,792,801,189,791,804, |
| 179,794,800,172,793,806,166,797,799,160, |
| 796,807,154,67,144,809,149,798,483,622, |
| 417,316,708,109,702,707,111,146,222,77, |
| 78,79,80,90,91,705,93,94,95,96, |
| 220,112,113,114,115,709,121,122,123,133, |
| 795,221,204,207,626,215,223,266,787,803, |
| 199,792,801,189,791,804,179,794,800,172, |
| 793,806,166,797,799,160,796,807,154,291, |
| 144,809,149,798,483,622,417,316,708,109, |
| 702,707,111,146,222,77,78,79,80,90, |
| 91,705,93,94,95,96,220,112,113,114, |
| 115,709,121,122,123,133,795,221,204,207, |
| 626,215,223,266,787,803,199,792,801,189, |
| 791,804,179,794,800,172,793,806,166,797, |
| 799,160,796,807,154,290,144,809,149,798, |
| 521,622,417,316,708,109,702,707,111,146, |
| 222,77,78,79,80,90,91,705,93,94, |
| 95,96,220,112,113,114,115,709,121,122, |
| 123,133,795,221,204,207,626,215,223,266, |
| 787,803,199,792,801,189,791,804,179,794, |
| 800,172,793,806,166,797,799,160,796,807, |
| 154,894,144,809,149,798,483,622,417,316, |
| 708,109,702,707,111,146,222,77,78,79, |
| 80,90,91,705,93,94,95,96,220,112, |
| 113,114,115,709,121,122,123,133,795,221, |
| 204,207,626,215,223,266,787,803,199,792, |
| 801,189,791,804,179,794,800,172,793,806, |
| 166,797,799,160,796,807,154,896,144,809, |
| 149,798,483,622,417,316,708,109,702,707, |
| 111,146,222,77,78,79,80,90,91,705, |
| 93,94,95,96,220,112,113,114,115,709, |
| 121,122,123,133,795,221,204,207,626,215, |
| 223,266,787,803,199,792,801,189,791,804, |
| 179,794,800,172,793,806,166,797,799,160, |
| 796,807,154,306,144,809,149,798,483,622, |
| 417,316,708,109,702,707,111,146,222,77, |
| 78,79,80,90,91,705,93,94,95,96, |
| 220,112,113,114,115,709,121,122,123,133, |
| 795,221,204,207,626,215,223,266,787,803, |
| 199,792,801,189,791,804,179,794,800,172, |
| 793,806,166,797,799,160,796,807,154,305, |
| 144,809,149,798,483,622,417,316,708,109, |
| 702,707,111,146,222,77,78,79,80,90, |
| 91,705,93,94,95,96,220,112,113,114, |
| 115,709,121,122,123,133,795,221,204,207, |
| 626,215,223,266,787,803,199,792,801,189, |
| 791,804,179,794,800,172,793,806,166,797, |
| 799,160,796,807,154,304,144,809,149,798, |
| 483,622,417,316,708,109,702,707,111,146, |
| 222,77,78,79,80,90,91,705,93,94, |
| 95,96,220,112,113,114,115,709,121,122, |
| 123,133,795,221,204,207,626,215,223,266, |
| 787,803,199,792,801,189,791,804,179,794, |
| 800,172,793,806,166,797,799,160,796,807, |
| 154,296,144,809,149,798,483,622,417,316, |
| 708,109,702,707,111,146,222,77,78,79, |
| 80,90,91,705,93,94,95,96,220,112, |
| 113,114,115,709,121,122,123,133,795,221, |
| 204,207,626,215,223,266,787,803,199,792, |
| 801,189,791,804,179,794,800,172,793,806, |
| 166,797,799,160,796,807,154,68,144,809, |
| 149,798,483,622,417,316,708,109,702,707, |
| 111,146,222,77,78,79,80,90,91,705, |
| 93,94,95,96,220,112,113,114,115,709, |
| 121,122,123,133,795,221,204,207,626,215, |
| 223,266,787,803,199,792,801,189,791,804, |
| 179,794,800,172,793,806,166,797,799,160, |
| 796,807,154,1312,144,809,149,798,483,622, |
| 417,316,708,109,702,707,111,146,222,77, |
| 78,79,80,90,91,705,93,94,95,96, |
| 220,112,113,114,115,709,121,122,123,133, |
| 795,221,204,207,626,215,223,266,787,803, |
| 199,792,801,189,791,804,179,794,800,172, |
| 793,806,166,797,799,160,796,807,154,226, |
| 144,809,149,798,483,622,417,316,708,109, |
| 702,707,111,146,222,77,78,79,80,90, |
| 91,705,93,94,95,96,220,112,113,114, |
| 115,709,121,122,123,133,795,221,204,207, |
| 626,215,223,266,787,803,199,792,801,189, |
| 791,804,179,794,800,172,793,806,166,797, |
| 799,160,796,807,154,300,144,809,149,798, |
| 483,622,417,316,708,109,702,707,111,146, |
| 222,77,78,79,80,90,91,705,93,94, |
| 95,96,220,112,113,114,115,709,121,122, |
| 123,133,795,221,204,207,626,215,223,266, |
| 787,803,199,792,801,189,791,804,179,794, |
| 800,172,793,806,166,797,799,160,796,807, |
| 154,299,144,809,149,798,483,622,417,316, |
| 708,109,702,707,111,146,222,77,78,79, |
| 80,90,91,705,93,94,95,96,220,112, |
| 113,114,115,709,121,122,123,133,795,221, |
| 204,207,626,215,223,266,787,803,199,792, |
| 801,189,791,804,179,794,800,172,793,806, |
| 166,797,799,160,796,807,154,143,144,809, |
| 149,798,483,622,417,316,708,109,702,707, |
| 111,146,222,77,78,79,80,90,91,705, |
| 93,94,95,96,220,112,113,114,115,709, |
| 121,122,123,133,795,221,204,207,626,215, |
| 223,266,787,803,199,792,801,189,791,804, |
| 179,794,800,172,793,806,166,797,799,160, |
| 796,807,154,89,144,809,149,798,483,622, |
| 417,316,708,109,702,707,111,146,222,77, |
| 78,79,80,90,91,705,93,94,95,96, |
| 220,112,113,114,115,709,121,122,123,133, |
| 795,221,204,207,626,215,223,266,787,803, |
| 199,792,801,189,791,804,179,794,800,172, |
| 793,806,166,797,799,160,796,807,154,1467, |
| 144,809,149,798,483,622,417,316,708,109, |
| 702,707,111,146,222,77,78,79,80,90, |
| 91,705,93,94,95,96,220,112,113,114, |
| 115,709,121,122,123,133,795,221,204,207, |
| 626,215,223,266,787,803,199,792,801,189, |
| 791,804,179,794,800,172,793,806,166,797, |
| 799,160,796,807,154,1472,144,809,149,798, |
| 483,622,417,316,708,109,702,707,111,146, |
| 222,77,78,79,80,90,91,705,93,94, |
| 95,96,220,112,113,114,115,709,121,122, |
| 123,133,795,221,204,207,626,215,223,266, |
| 787,803,199,792,801,189,791,804,179,794, |
| 800,172,793,806,166,797,799,160,796,807, |
| 154,1475,144,809,149,798,483,622,417,316, |
| 708,109,702,707,111,146,222,77,78,79, |
| 80,90,91,705,93,94,95,96,220,112, |
| 113,114,115,709,121,122,123,133,795,221, |
| 204,207,626,215,223,266,787,803,199,792, |
| 801,189,791,804,179,794,800,172,793,806, |
| 166,797,799,160,796,807,154,1549,144,809, |
| 149,798,483,622,417,316,708,109,702,707, |
| 111,146,222,77,78,79,80,90,91,705, |
| 93,94,95,96,220,112,113,114,115,709, |
| 121,122,123,133,795,221,204,207,626,215, |
| 223,266,787,803,199,792,801,189,791,804, |
| 179,794,800,172,793,806,166,797,799,160, |
| 796,807,154,1550,144,809,149,798,483,622, |
| 417,316,708,109,702,707,111,146,222,77, |
| 78,79,80,90,91,705,93,94,95,96, |
| 220,112,113,114,115,709,121,122,123,133, |
| 795,221,204,207,626,215,223,266,787,803, |
| 199,792,801,189,791,804,179,794,800,172, |
| 793,806,166,797,799,160,796,807,154,1551, |
| 144,809,149,798,483,622,417,316,708,109, |
| 702,707,111,146,222,77,78,79,80,90, |
| 91,705,93,94,95,96,220,112,113,114, |
| 115,709,121,122,123,133,1154,221,204,207, |
| 626,215,223,266,787,803,199,792,801,189, |
| 791,804,179,794,800,172,793,806,166,797, |
| 799,160,156,1155,155,483,622,417,316,708, |
| 109,702,707,111,146,222,77,78,79,80, |
| 90,91,705,93,94,95,96,220,112,113, |
| 114,115,709,121,122,123,133,1240,221,204, |
| 207,626,215,223,266,787,803,199,792,801, |
| 189,791,804,179,794,800,172,793,806,166, |
| 162,1241,161,483,622,417,316,708,109,702, |
| 707,111,146,222,77,78,79,80,90,91, |
| 705,93,94,95,96,220,112,113,114,115, |
| 709,121,122,123,133,1156,221,204,207,626, |
| 215,223,266,787,803,199,792,801,189,791, |
| 804,179,794,800,172,168,1157,167,483,622, |
| 417,316,708,109,702,707,111,146,222,77, |
| 78,79,80,90,91,705,93,94,95,96, |
| 220,112,113,114,115,709,121,122,123,133, |
| 1238,221,204,207,626,215,223,266,787,803, |
| 199,792,801,189,791,804,179,174,1239,173, |
| 483,622,417,316,708,109,702,707,111,146, |
| 222,77,78,79,80,90,91,705,93,94, |
| 95,96,220,112,113,114,115,709,121,122, |
| 123,133,1158,221,204,207,626,215,223,266, |
| 787,803,199,792,801,189,182,1159,181,483, |
| 622,417,316,708,109,702,707,111,146,222, |
| 77,78,79,80,90,91,705,93,94,95, |
| 96,220,112,113,114,115,709,121,122,123, |
| 133,1158,221,204,207,626,215,223,266,787, |
| 803,199,792,801,189,182,1160,180,483,622, |
| 417,316,708,109,702,707,111,146,222,77, |
| 78,79,80,90,91,705,93,94,95,96, |
| 220,112,113,114,115,709,121,122,123,133, |
| 1232,221,204,207,626,215,223,266,787,803, |
| 199,194,1233,193,483,622,417,316,708,109, |
| 702,707,111,146,222,77,78,79,80,90, |
| 91,705,93,94,95,96,220,112,113,114, |
| 115,709,121,122,123,133,1232,221,204,207, |
| 626,215,223,266,787,803,199,194,1234,192, |
| 483,622,417,316,708,109,702,707,111,146, |
| 222,77,78,79,80,90,91,705,93,94, |
| 95,96,220,112,113,114,115,709,121,122, |
| 123,133,1232,221,204,207,626,215,223,266, |
| 787,803,199,194,1235,191,483,622,417,316, |
| 708,109,702,707,111,146,222,77,78,79, |
| 80,90,91,705,93,94,95,96,220,112, |
| 113,114,115,709,121,122,123,133,1232,221, |
| 204,207,626,215,223,266,787,803,199,194, |
| 1237,190,483,622,417,316,708,109,702,707, |
| 111,146,222,77,78,79,80,90,91,705, |
| 93,94,95,96,220,112,113,114,115,709, |
| 121,122,123,133,1161,221,204,207,626,215, |
| 223,266,202,1230,201,483,622,417,316,708, |
| 109,702,707,111,146,222,77,78,79,80, |
| 90,91,705,93,94,95,96,220,112,113, |
| 114,115,709,121,122,123,133,1161,221,204, |
| 207,626,215,223,266,202,1231,200,483,622, |
| 417,316,708,109,702,707,111,146,222,77, |
| 78,79,80,90,91,705,93,94,95,96, |
| 220,112,113,114,115,709,121,122,123,133, |
| 897,221,210,217,626,215,223,266,483,622, |
| 417,316,708,109,702,707,111,146,222,77, |
| 78,79,80,90,91,705,93,94,95,96, |
| 220,112,113,114,115,709,121,122,123,133, |
| 897,221,210,216,626,215,223,266,4496,4496, |
| 214,4496,4496,4496,4496,4496,4496,4496,4496,4496, |
| 4496,4496,4496,4496,547,4496,4496,4496,4496,4496, |
| 4496,4496,4496,4496,4496,4496,4496,4496,4496,4496, |
| 84,4496,4496,4496,4496,4496,4496,4496,4496,4496, |
| 213,483,622,417,316,708,109,702,707,111, |
| 146,222,77,78,79,80,90,91,705,93, |
| 94,95,96,220,112,113,114,115,709,121, |
| 122,123,133,897,221,210,209,626,215,223, |
| 266,483,622,417,316,708,109,702,707,111, |
| 146,222,77,78,79,80,90,91,705,93, |
| 94,95,96,220,112,113,114,115,709,121, |
| 122,123,133,897,221,210,208,626,215,223, |
| 266,288,1094,206,891,424,417,316,735,40, |
| 417,316,888,55,889,57,58,66,907,4496, |
| 972,1144,417,316,4496,165,424,417,316,4496, |
| 4496,612,937,424,417,316,4496,4496,4496,4496, |
| 4496,4496,4496,205,1098,1112,559,40,417,316, |
| 888,55,889,57,58,4496,4496,787,38,417, |
| 906,30,31,584,38,417,316,30,31,343, |
| 75,1116,1121,4496,1127,76,4496,4496,4496,4496, |
| 73,74,4496,252,230,233,64,282,284,285, |
| 286,75,4496,4496,231,232,76,270,75,4496, |
| 4496,73,74,76,426,307,311,302,73,74, |
| 416,342,341,311,4496,4496,4496,608,267,530, |
| 271,252,436,607,440,32,39,904,4496,1318, |
| 1319,32,39,4085,4496,4496,1320,1319,340,339, |
| 423,332,613,308,610,38,417,316,30,31, |
| 635,38,417,316,30,31,660,38,417,316, |
| 30,31,685,38,417,316,30,31,762,40, |
| 417,316,888,55,889,57,58,710,38,417, |
| 316,30,31,762,40,417,316,888,55,889, |
| 57,58,762,40,417,316,888,55,889,57, |
| 58,762,40,417,316,888,55,889,57,58, |
| 4496,4496,32,39,4111,4496,4496,4496,32,39, |
| 4112,4496,4496,614,32,39,4114,4496,1132,615, |
| 32,39,4268,4496,4496,617,1043,1066,417,316, |
| 1105,618,4496,813,4496,32,39,4344,787,38, |
| 417,316,30,31,4496,4496,890,4496,1150,787, |
| 38,417,316,30,31,4496,4496,1317,787,38, |
| 417,316,30,31,4496,4496,66,762,40,417, |
| 316,888,55,889,57,58,762,40,417,316, |
| 888,55,889,57,58,331,972,424,417,316, |
| 1026,4352,417,316,1150,4496,4496,70,117,1144, |
| 417,316,922,69,1189,1192,32,39,41,1026, |
| 4352,417,316,282,284,285,286,32,39,624, |
| 98,4496,972,1477,417,316,32,39,911,4496, |
| 431,972,899,417,316,4496,4496,1064,4496,4496, |
| 4496,4496,3950,4496,4496,4496,4496,3934,4496,4496, |
| 4496,264,75,4496,4496,4496,901,76,4496,4496, |
| 4496,333,73,74,63,4496,4496,312,4496,330, |
| 4496,334,337,4496,4496,901,4496,4496,4496,4496, |
| 4496,4496,4496,4496,4496,4496,4496,4496,72,4496, |
| 4496,4496,297,900,4496,4496,4496,4496,71,4496, |
| 4496,4496,227,4496,4496,4496,4496,1143,1145,1476, |
| 4496,298,900,4496,4496,4496,4496,4496,4496,4496, |
| 4496,4496,4496,4496,4496,4496,4496,4496,4496,4496, |
| 4496,4496,4496,4496,4496,4496,4496,4496,4496,4496, |
| 4496,4496,4496,898,4496,0 |
| }; |
| }; |
| public final static char baseAction[] = BaseAction.baseAction; |
| public final int baseAction(int index) { return baseAction[index]; } |
| public final static char lhs[] = baseAction; |
| public final int lhs(int index) { return lhs[index]; }; |
| |
| public interface TermCheck { |
| public final static byte termCheck[] = {0, |
| 0,1,0,3,4,5,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,0,25,28,29, |
| 30,31,32,33,34,35,36,37,0,0, |
| 1,0,3,4,5,6,7,8,9,10, |
| 11,12,13,14,15,16,17,18,19,20, |
| 21,22,23,24,25,0,66,28,29,30, |
| 31,32,33,34,35,36,37,39,0,1, |
| 39,3,4,0,6,7,8,9,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 22,23,24,25,0,66,28,29,30,31, |
| 32,33,34,35,36,37,0,1,0,3, |
| 55,5,6,7,59,60,0,1,0,3, |
| 4,53,6,7,8,9,10,11,12,13, |
| 14,15,16,17,18,19,20,21,22,23, |
| 24,25,69,70,28,29,30,31,32,33, |
| 34,35,36,37,0,1,0,3,64,5, |
| 6,7,54,45,46,47,48,0,1,53, |
| 3,4,5,6,7,8,9,10,11,12, |
| 13,14,15,16,17,18,19,20,21,22, |
| 23,24,25,0,1,28,29,30,31,32, |
| 33,34,35,36,37,0,1,51,3,4, |
| 5,6,7,8,9,10,11,12,13,14, |
| 15,16,17,18,19,20,21,22,23,24, |
| 25,0,1,28,29,30,31,32,33,34, |
| 35,36,37,0,1,0,3,4,5,6, |
| 7,8,9,10,11,12,13,14,15,16, |
| 17,18,19,20,21,22,23,24,25,76, |
| 25,28,29,30,31,32,33,34,35,36, |
| 37,0,1,0,3,4,5,6,7,8, |
| 9,10,11,12,13,14,15,16,17,18, |
| 19,20,21,22,23,24,25,0,77,28, |
| 29,30,31,32,33,34,35,36,37,0, |
| 1,0,3,4,5,6,7,8,9,10, |
| 11,12,13,14,15,16,17,18,19,20, |
| 21,22,23,24,25,0,25,28,29,30, |
| 31,32,33,34,35,36,37,0,1,52, |
| 3,4,5,6,7,8,9,10,11,12, |
| 13,14,15,16,17,18,19,20,21,22, |
| 23,24,25,0,0,28,29,30,31,32, |
| 33,34,35,36,37,0,1,0,3,4, |
| 55,6,7,8,9,10,11,12,13,14, |
| 15,16,17,18,19,20,21,22,23,24, |
| 25,0,39,28,29,30,31,32,33,34, |
| 35,36,37,50,0,1,52,3,4,5, |
| 6,7,8,9,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,25, |
| 63,66,28,29,30,31,32,33,34,35, |
| 36,37,0,1,0,3,4,56,6,7, |
| 8,9,10,11,12,13,14,15,16,17, |
| 18,19,20,21,22,23,24,25,0,0, |
| 28,29,30,31,32,33,34,35,36,37, |
| 0,1,0,3,4,0,6,7,8,9, |
| 10,11,12,13,14,15,16,17,18,19, |
| 20,21,22,23,24,25,0,1,28,29, |
| 30,31,32,33,34,35,36,37,0,1, |
| 0,3,0,1,6,7,57,5,10,11, |
| 12,13,14,15,16,17,18,19,20,21, |
| 22,23,24,0,1,2,3,27,0,6, |
| 7,0,67,10,11,12,13,14,15,16, |
| 17,18,19,20,21,22,23,24,0,0, |
| 1,2,3,55,68,6,7,59,60,10, |
| 11,12,13,14,15,16,17,18,19,20, |
| 21,22,23,24,0,1,2,3,78,0, |
| 6,7,51,0,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,0, |
| 1,2,3,55,73,6,7,59,60,10, |
| 11,12,13,14,15,16,17,18,19,20, |
| 21,22,23,24,0,1,2,3,0,1, |
| 6,7,0,54,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,0, |
| 1,2,3,0,26,6,7,0,75,10, |
| 11,12,13,14,15,16,17,18,19,20, |
| 21,22,23,24,0,1,0,3,0,0, |
| 6,7,0,26,10,11,12,13,14,15, |
| 16,17,18,19,20,21,22,23,24,67, |
| 26,0,1,0,3,27,49,6,7,0, |
| 57,10,11,12,13,14,15,16,17,18, |
| 19,20,21,22,23,24,0,1,0,3, |
| 27,53,6,7,0,1,10,11,12,13, |
| 14,15,16,17,18,19,20,21,22,23, |
| 24,0,1,71,3,0,53,6,7,8, |
| 9,0,1,8,3,0,1,6,7,41, |
| 42,43,44,39,0,0,2,26,0,28, |
| 2,0,0,8,9,0,25,5,0,38, |
| 56,40,58,38,9,61,45,46,47,48, |
| 49,26,0,52,26,54,0,26,57,27, |
| 8,9,0,38,63,40,41,42,43,44, |
| 45,46,47,48,49,40,0,52,26,54, |
| 0,1,57,3,8,9,6,7,63,74, |
| 38,0,40,41,42,43,44,45,46,47, |
| 48,49,26,0,52,2,54,45,46,47, |
| 48,0,1,2,38,4,40,41,42,43, |
| 44,45,46,47,48,49,0,1,52,3, |
| 39,5,6,7,0,55,56,0,58,59, |
| 60,61,8,9,64,0,0,67,0,69, |
| 70,71,0,1,8,9,4,0,0,1, |
| 26,0,1,5,3,8,9,6,7,0, |
| 0,2,38,4,40,41,42,43,44,45, |
| 46,47,48,49,38,0,40,41,42,43, |
| 44,45,46,47,48,38,27,40,41,42, |
| 43,44,0,0,2,0,4,0,39,0, |
| 65,0,9,4,0,0,1,65,3,50, |
| 51,6,7,0,0,1,41,42,43,44, |
| 0,62,0,1,0,3,0,0,6,7, |
| 0,39,73,40,41,42,43,44,39,0, |
| 39,27,50,51,0,41,42,43,44,50, |
| 0,56,2,58,62,0,61,56,0,58, |
| 0,62,61,0,4,45,46,47,48,45, |
| 46,47,48,0,1,2,26,0,1,2, |
| 41,42,43,44,0,55,72,74,0,59, |
| 60,0,1,2,39,0,1,2,0,39, |
| 0,1,2,0,0,50,0,1,2,0, |
| 50,0,1,2,56,27,58,62,0,61, |
| 0,71,4,39,26,0,0,0,8,0, |
| 1,2,0,0,9,2,0,4,2,0, |
| 1,0,1,4,0,4,0,49,64,0, |
| 4,0,26,9,27,0,0,8,38,0, |
| 9,0,26,8,8,40,5,8,0,1, |
| 2,0,1,2,0,49,2,0,69,70, |
| 0,0,2,65,40,4,9,38,27,0, |
| 0,40,2,38,38,63,50,38,0,72, |
| 2,0,0,2,0,0,4,2,4,0, |
| 0,0,2,4,0,0,0,0,0,0, |
| 2,0,5,0,0,0,0,0,0,0, |
| 0,0,0,0,0,5,4,26,4,0, |
| 26,0,0,4,0,0,5,0,27,5, |
| 5,0,5,64,0,26,2,0,27,26, |
| 0,0,5,0,39,0,5,0,0,27, |
| 0,4,53,5,50,5,53,0,52,0, |
| 0,54,5,68,68,57,0,27,0,0, |
| 27,5,27,5,0,0,2,0,0,0, |
| 5,0,51,5,5,0,5,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 51,51,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0,0,0,0,0,0,0,0,0, |
| 0,0 |
| }; |
| }; |
| public final static byte termCheck[] = TermCheck.termCheck; |
| public final int termCheck(int index) { return termCheck[index]; } |
| |
| public interface TermAction { |
| public final static char termAction[] = {0, |
| 4496,4811,35,4532,2056,259,4745,4530,3878,4602, |
| 4546,4547,4548,4549,4550,4541,4539,4542,4540,4538, |
| 706,4543,4545,4544,4746,4598,4496,4533,3838,4596, |
| 4597,4529,1990,4381,4600,4601,4604,4603,278,4496, |
| 4811,4496,4532,2056,259,4745,4530,3878,4602,4546, |
| 4547,4548,4549,4550,4541,4539,4542,4540,4538,706, |
| 4543,4545,4544,4746,4598,4496,1390,3838,4596,4597, |
| 4529,1990,4381,4600,4601,4604,4603,621,4496,4811, |
| 4299,4532,2056,4496,4745,4530,3878,4602,4546,4547, |
| 4548,4549,4550,4541,4539,4542,4540,4538,706,4543, |
| 4545,4544,4746,4598,273,1390,3838,4596,4597,4529, |
| 1990,4381,4600,4601,4604,4603,4496,4811,158,4532, |
| 4190,61,4745,4530,4184,4103,4496,4811,176,4532, |
| 2056,83,4745,4530,3878,4602,4546,4547,4548,4549, |
| 4550,4541,4539,4542,4540,4538,706,4543,4545,4544, |
| 4746,4598,4042,4084,3838,4596,4597,4529,1990,4381, |
| 4600,4601,4604,4603,4496,4811,4496,4532,783,309, |
| 4745,4530,162,182,182,182,182,4496,4811,83, |
| 4532,2056,140,4745,4530,3878,4602,4546,4547,4548, |
| 4549,4550,4541,4539,4542,4540,4538,706,4543,4545, |
| 4544,4746,4598,4496,4819,3838,4596,4597,4529,1990, |
| 4381,4600,4601,4604,4603,4496,4811,2914,4532,2056, |
| 140,4745,4530,3878,4602,4546,4547,4548,4549,4550, |
| 4541,4539,4542,4540,4538,706,4543,4545,4544,4746, |
| 4598,4496,4818,3838,4596,4597,4529,1990,4381,4600, |
| 4601,4604,4603,4496,4811,4496,4532,2056,4620,4745, |
| 4530,3878,4602,4546,4547,4548,4549,4550,4541,4539, |
| 4542,4540,4538,706,4543,4545,4544,4746,4598,2452, |
| 4773,3838,4596,4597,4529,1990,4381,4600,4601,4604, |
| 4603,4496,4811,4496,4532,2056,140,4745,4530,3878, |
| 4602,4546,4547,4548,4549,4550,4541,4539,4542,4540, |
| 4538,706,4543,4545,4544,4746,4598,164,2848,3838, |
| 4596,4597,4529,1990,4381,4600,4601,4604,4603,4496, |
| 4811,92,4532,2056,140,4745,4530,3878,4602,4546, |
| 4547,4548,4549,4550,4541,4539,4542,4540,4538,706, |
| 4543,4545,4544,4746,4598,4496,4599,3838,4596,4597, |
| 4529,1990,4381,4600,4601,4604,4603,4496,4811,168, |
| 4532,2056,140,4745,4530,3878,4602,4546,4547,4548, |
| 4549,4550,4541,4539,4542,4540,4538,706,4543,4545, |
| 4544,4746,4598,139,4496,3838,4596,4597,4529,1990, |
| 4381,4600,4601,4604,4603,4496,4811,4496,4532,2056, |
| 4751,4745,4530,3878,4602,4546,4547,4548,4549,4550, |
| 4541,4539,4542,4540,4538,706,4543,4545,4544,4746, |
| 4598,4496,41,3838,4596,4597,4529,1990,4381,4600, |
| 4601,4604,4603,893,4496,4811,3418,4532,2056,140, |
| 4745,4530,3878,4602,4546,4547,4548,4549,4550,4541, |
| 4539,4542,4540,4538,706,4543,4545,4544,4746,4598, |
| 3244,1390,3838,4596,4597,4529,1990,4381,4600,4601, |
| 4604,4603,4496,4811,4496,4532,2056,4217,4745,4530, |
| 3878,4602,4546,4547,4548,4549,4550,4541,4539,4542, |
| 4540,4538,706,4543,4545,4544,4746,4598,4496,152, |
| 3838,4596,4597,4529,1990,4381,4600,4601,4604,4603, |
| 4496,895,4496,4532,2056,4496,4745,4530,3878,4602, |
| 4546,4547,4548,4549,4550,4541,4539,4542,4540,4538, |
| 706,4543,4545,4544,4746,4598,4496,910,3838,4596, |
| 4597,4529,1990,4381,4600,4601,4604,4603,4496,4811, |
| 4496,4532,4496,4821,4745,4530,156,4720,4546,4547, |
| 4548,4549,4550,4541,4539,4542,4540,4538,887,4543, |
| 4545,4544,4746,4496,4811,247,4532,990,4496,4745, |
| 4530,4496,419,4546,4547,4548,4549,4550,4541,4539, |
| 4542,4540,4538,4524,4543,4545,4544,4746,301,4496, |
| 4811,247,4532,251,4768,4745,4530,251,251,4546, |
| 4547,4548,4549,4550,4541,4539,4542,4540,4538,4524, |
| 4543,4545,4544,4746,4496,4811,247,4532,2518,4496, |
| 4745,4530,2980,88,4546,4547,4548,4549,4550,4541, |
| 4539,4542,4540,4538,4524,4543,4545,4544,4746,4496, |
| 4811,247,4532,4190,1069,4745,4530,4184,4103,4546, |
| 4547,4548,4549,4550,4541,4539,4542,4540,4538,4524, |
| 4543,4545,4544,4746,4496,4811,247,4532,4496,4825, |
| 4745,4530,229,3363,4546,4547,4548,4549,4550,4541, |
| 4539,4542,4540,4538,4524,4543,4545,4544,4746,4496, |
| 4811,247,4532,4496,2650,4745,4530,170,2782,4546, |
| 4547,4548,4549,4550,4541,4539,4542,4540,4538,4524, |
| 4543,4545,4544,4746,4496,4811,4496,4532,4496,4496, |
| 4745,4530,4496,174,4546,4547,4548,4549,4550,4541, |
| 4539,4542,4540,4538,887,4543,4545,4544,4746,419, |
| 251,4496,4811,315,4532,711,174,4745,4530,4496, |
| 3305,4546,4547,4548,4549,4550,4541,4539,4542,4540, |
| 4538,887,4543,4545,4544,4746,4496,4811,212,4532, |
| 319,4593,4745,4530,4496,4824,4546,4547,4548,4549, |
| 4550,4541,4539,4542,4540,4538,4524,4543,4545,4544, |
| 4746,4496,4811,4495,4532,184,319,4745,4530,4509, |
| 4510,4496,4811,194,4532,4496,4817,4745,4530,218, |
| 218,218,218,4097,4496,145,2122,4506,65,4499, |
| 4208,66,4496,195,203,196,275,4622,4496,4508, |
| 4196,4511,4202,194,202,432,4505,4502,4504,4503, |
| 4507,175,157,4497,1792,4500,4496,2386,4501,2716, |
| 195,203,4496,195,4498,203,219,219,219,219, |
| 183,183,183,183,175,202,163,169,175,163, |
| 4496,4811,157,4532,195,203,518,4530,151,4721, |
| 195,56,203,219,219,219,219,183,183,183, |
| 183,175,175,4496,169,2188,163,3706,3660,3614, |
| 3568,4496,1309,4241,195,4065,203,219,219,219, |
| 219,183,183,183,183,175,4496,4811,169,4532, |
| 4288,309,4745,4530,169,4190,4196,4496,4202,4184, |
| 4103,432,195,203,783,110,175,419,4496,4042, |
| 4084,234,4496,4814,195,203,4348,183,4496,4813, |
| 175,4496,4811,4555,4532,195,203,4745,4530,147, |
| 4496,4208,195,139,203,219,219,219,219,183, |
| 183,183,183,175,195,4496,203,219,219,219, |
| 219,183,183,183,183,195,628,203,219,219, |
| 219,219,147,195,4241,292,139,4496,40,147, |
| 346,4496,203,139,211,4496,902,4276,4532,893, |
| 65,4745,4530,315,4496,4816,533,412,521,525, |
| 178,1480,4496,1065,177,4532,4496,4496,4745,4530, |
| 316,40,65,203,219,219,219,219,40,203, |
| 4288,2716,893,65,4496,219,219,219,219,893, |
| 274,4196,249,4202,1480,139,432,4196,293,4202, |
| 139,1480,432,4496,995,3706,3660,3614,3568,3706, |
| 3660,3614,3568,4496,4809,1858,249,4496,4809,1924, |
| 219,219,219,219,280,338,909,4820,62,338, |
| 338,4496,4809,248,40,4496,4809,248,4496,41, |
| 4496,4809,248,4496,4496,893,4496,4809,248,287, |
| 893,4496,4809,248,4196,4060,4202,1553,4496,432, |
| 4496,249,4223,4288,3519,4496,171,4496,3752,4496, |
| 4809,248,148,41,4001,4317,4496,4072,4232,4496, |
| 4823,4496,4822,716,198,816,4496,3470,783,188, |
| 540,197,3519,4001,2716,187,186,3752,3795,185, |
| 4001,4496,1792,3752,3752,3961,4623,3752,4496,4809, |
| 4048,4496,4809,4086,4496,3470,2254,4496,4042,4084, |
| 4496,4496,4340,443,3961,4348,4775,3795,2716,281, |
| 4496,3961,2320,3795,3795,150,893,3795,40,989, |
| 427,4496,4496,4772,4496,4496,4223,4359,916,254, |
| 4496,4496,4232,256,315,4496,345,4496,4496,4496, |
| 4241,84,4556,4496,139,4496,165,159,153,313, |
| 4496,141,4496,4496,136,4626,1164,2584,1243,4496, |
| 336,4496,310,1322,4496,4496,4354,4496,1074,4355, |
| 4627,4496,4754,783,263,335,4326,4496,2716,2386, |
| 260,4496,4753,72,4308,144,4621,135,4496,4336, |
| 4496,1401,4578,4624,893,4625,4577,4496,3418,4496, |
| 4496,3363,4749,4840,314,3305,4496,1626,4496,4496, |
| 4372,4615,1719,4612,65,4496,4241,4496,4496,4496, |
| 4628,4496,3046,4616,4614,4496,4613,4496,4496,4496, |
| 4496,4496,4496,4496,4496,4496,4496,4496,4496,4496, |
| 4496,4496,4496,4496,4496,4496,4496,4496,4496,4496, |
| 3112,3178 |
| }; |
| }; |
| public final static char termAction[] = TermAction.termAction; |
| public final int termAction(int index) { return termAction[index]; } |
| |
| public interface Asb { |
| public final static char asb[] = {0, |
| 458,166,56,105,536,536,518,518,518,111, |
| 518,518,246,164,246,113,30,116,34,103, |
| 102,217,231,217,217,537,536,537,536,537, |
| 536,518,537,536,537,536,211,366,367,539, |
| 54,537,63,371,59,125,168,172,169,217, |
| 349,217,67,71,69,77,75,63,79,78, |
| 251,253,255,258,217,217,246,53,400,261, |
| 263,80,275,360,360,268,217,217,217,537, |
| 536,246,217,206,246,231,96,322,231,321, |
| 231,217,360,282,213,246,434,1,1,231, |
| 325,328,246,246,36,246,437,217,217,217, |
| 217,217,217,63,354,537,217,217,217,217, |
| 217,217,217,217,217,246,493,492,357,358, |
| 368,365,362,323,101,60,373,405,442,440, |
| 122,438,537,108,443,445,442,443,437,217, |
| 359,359,265,371,59,265,63,79,63,77, |
| 63,71,71,63,67,67,246,217,231,63, |
| 69,69,69,69,63,75,63,78,217,217, |
| 434,231,315,96,434,231,405,217,62,438, |
| 108,246,246,217,217,449,215,215,360,231, |
| 217,282,360,405,493,438,108,438,471,438, |
| 217,438,107,108,438,405,60,374,405,405, |
| 438,280,279,278,108,377,536,246,536,160, |
| 452,231,216,438,282,62,438,438,217,246, |
| 217,246,217,217,474,495,405,438,280,438, |
| 280,455,108,280,108,378,438,217,217,217, |
| 438,438,438 |
| }; |
| }; |
| public final static char asb[] = Asb.asb; |
| public final int asb(int index) { return asb[index]; } |
| |
| public interface Asr { |
| public final static byte asr[] = {0, |
| 53,33,8,28,4,32,10,11,12,13, |
| 14,20,36,37,9,34,35,30,29,19, |
| 16,18,15,17,21,23,22,24,31,7, |
| 6,1,3,25,0,3,1,7,6,52, |
| 63,28,54,57,46,48,47,45,26,49, |
| 38,8,40,9,0,2,73,25,62,39, |
| 4,50,41,42,43,44,9,40,38,8, |
| 45,46,47,48,26,49,52,54,57,63, |
| 5,53,72,51,27,75,76,77,74,78, |
| 55,59,60,69,70,64,1,58,56,61, |
| 68,71,67,0,71,26,2,5,27,0, |
| 56,0,67,39,0,3,25,6,7,1, |
| 71,26,2,0,38,8,9,40,45,46, |
| 26,47,48,49,5,53,72,41,51,27, |
| 42,75,43,44,76,77,74,52,54,57, |
| 63,78,58,55,59,56,60,61,25,68, |
| 1,70,69,67,64,71,0,1,4,65, |
| 0,38,8,9,40,45,46,26,47,48, |
| 49,5,53,72,41,51,27,42,75,43, |
| 44,76,77,74,52,54,57,63,78,58, |
| 56,69,70,61,65,64,67,68,71,1, |
| 59,60,55,0,5,66,33,8,28,4, |
| 32,36,37,9,34,35,25,30,29,31, |
| 19,16,18,15,17,21,23,22,24,10, |
| 11,12,13,14,20,7,6,1,3,0, |
| 63,0,54,0,26,49,0,38,8,0, |
| 52,0,57,0,4,50,0,55,59,60, |
| 69,70,1,39,5,71,26,27,73,51, |
| 0,4,38,8,9,40,45,46,47,48, |
| 49,5,53,72,41,51,27,42,75,43, |
| 44,76,77,74,52,54,57,63,78,55, |
| 59,60,69,70,26,58,67,56,61,71, |
| 64,1,68,0,76,1,0,38,8,9, |
| 40,45,46,26,47,48,49,4,62,39, |
| 50,76,52,54,57,63,1,74,41,42, |
| 44,43,0,78,27,0,26,2,1,4, |
| 0,55,59,60,4,2,1,58,56,61, |
| 39,0,1,72,27,0,73,38,8,9, |
| 40,26,49,5,41,27,42,43,44,52, |
| 54,57,63,51,39,4,50,2,62,45, |
| 46,47,48,0,33,8,28,4,32,10, |
| 11,12,13,14,20,36,37,9,34,35, |
| 25,30,29,19,16,18,15,17,21,23, |
| 22,24,31,7,6,3,1,5,0,26, |
| 2,27,53,0,53,27,75,0,77,1, |
| 0,74,1,0,51,2,0,71,6,67, |
| 64,58,56,61,55,59,60,7,1,3, |
| 70,69,0,19,16,18,15,17,21,23, |
| 22,24,3,7,6,10,11,12,13,14, |
| 20,1,26,0,55,59,60,19,16,18, |
| 15,17,21,23,22,24,3,1,7,6, |
| 10,11,12,13,14,20,0,10,11,12, |
| 13,14,19,16,18,15,17,21,23,22, |
| 24,20,3,7,6,1,2,0,68,1, |
| 64,39,0 |
| }; |
| }; |
| public final static byte asr[] = Asr.asr; |
| public final int asr(int index) { return asr[index]; } |
| |
| public interface Nasb { |
| public final static byte nasb[] = {0, |
| 90,18,18,18,88,88,17,17,17,18, |
| 17,17,30,6,17,18,17,18,18,10, |
| 10,14,16,14,14,18,88,18,88,18, |
| 88,17,18,88,18,88,95,18,25,93, |
| 18,18,18,18,21,18,18,18,18,14, |
| 18,14,18,18,18,18,18,18,18,18, |
| 18,18,18,18,78,78,111,18,18,18, |
| 18,18,18,18,18,18,14,14,14,18, |
| 88,103,14,4,17,97,8,84,17,6, |
| 17,14,18,18,18,100,108,14,14,16, |
| 18,18,17,17,1,17,18,36,48,60, |
| 60,72,72,18,18,18,78,78,66,66, |
| 66,66,54,42,14,103,18,18,18,88, |
| 25,18,18,18,18,23,18,14,18,18, |
| 18,18,18,18,18,18,18,18,18,14, |
| 18,18,23,18,23,21,18,18,18,18, |
| 18,18,18,18,18,18,33,14,16,18, |
| 18,18,18,18,18,18,18,18,14,14, |
| 17,16,18,8,17,16,14,14,23,18, |
| 18,27,105,14,14,18,14,14,18,17, |
| 14,18,18,12,18,18,18,18,86,18, |
| 14,18,18,18,18,14,23,18,14,14, |
| 18,18,18,18,18,21,88,17,88,19, |
| 18,16,14,18,18,23,18,18,14,33, |
| 14,17,14,14,16,16,14,18,18,18, |
| 18,18,18,18,18,21,18,14,14,14, |
| 18,18,18 |
| }; |
| }; |
| public final static byte nasb[] = Nasb.nasb; |
| public final int nasb(int index) { return nasb[index]; } |
| |
| public interface Nasr { |
| public final static char nasr[] = {0, |
| 2,108,0,90,0,83,0,80,0,93, |
| 0,66,71,7,17,4,2,0,91,0, |
| 73,0,74,0,101,0,2,94,0,2, |
| 122,0,2,71,0,7,17,4,2,60, |
| 0,4,7,17,2,57,0,7,17,4, |
| 2,54,0,4,7,17,2,51,0,7, |
| 17,4,2,48,0,4,7,17,2,45, |
| 0,7,17,4,2,42,0,2,7,17, |
| 4,35,0,124,0,121,0,67,0,118, |
| 120,2,100,0,123,0,2,3,0,2, |
| 111,0,103,102,2,66,0,110,2,0, |
| 2,112,0 |
| }; |
| }; |
| public final static char nasr[] = Nasr.nasr; |
| public final int nasr(int index) { return nasr[index]; } |
| |
| public interface TerminalIndex { |
| public final static char terminalIndex[] = {0, |
| 81,20,30,11,12,75,78,2,3,50, |
| 51,52,53,54,55,56,57,58,59,60, |
| 61,62,63,76,33,7,19,42,31,32, |
| 34,35,44,46,47,48,49,1,21,4, |
| 17,23,26,27,5,6,8,9,10,25, |
| 18,39,14,40,65,70,41,64,66,71, |
| 74,15,43,67,13,28,68,69,72,73, |
| 77,16,22,38,24,36,37,45,79,80 |
| }; |
| }; |
| public final static char terminalIndex[] = TerminalIndex.terminalIndex; |
| public final int terminalIndex(int index) { return terminalIndex[index]; } |
| |
| public interface NonterminalIndex { |
| public final static char nonterminalIndex[] = {0, |
| 84,85,155,83,0,87,89,0,0,0, |
| 0,0,0,0,0,0,99,0,0,0, |
| 0,0,0,0,0,0,101,0,0,0, |
| 0,104,0,0,129,130,0,0,0,125, |
| 126,127,122,123,124,119,120,121,116,117, |
| 118,113,114,115,110,111,112,107,108,109, |
| 92,102,105,0,106,91,153,0,0,86, |
| 93,103,136,0,88,0,0,0,0,133, |
| 96,128,145,0,0,0,95,98,0,134, |
| 135,138,139,94,0,97,0,0,137,141, |
| 147,148,149,0,152,0,0,82,0,90, |
| 100,131,132,0,140,0,0,142,143,144, |
| 146,150,151,154,0,0,0 |
| }; |
| }; |
| public final static char nonterminalIndex[] = NonterminalIndex.nonterminalIndex; |
| public final int nonterminalIndex(int index) { return nonterminalIndex[index]; } |
| |
| public interface ScopePrefix { |
| public final static char scopePrefix[] = { |
| 215,251,261,149,183,191,237,271,225,18, |
| 57,18,169,176,43,51,158,209,143,199, |
| 245,9,164,9,9,35,39,279,285,289, |
| 293,39,35,1,6,1,64,6,6,6, |
| 82,82,90,90,98,98,98,98,112,112, |
| 120,125,130,135 |
| }; |
| }; |
| public final static char scopePrefix[] = ScopePrefix.scopePrefix; |
| public final int scopePrefix(int index) { return scopePrefix[index]; } |
| |
| public interface ScopeSuffix { |
| public final static char scopeSuffix[] = { |
| 49,49,49,49,49,49,49,49,233,4, |
| 49,70,49,49,49,49,49,49,140,205, |
| 233,4,49,25,72,4,4,283,283,283, |
| 49,49,140,4,4,49,67,14,29,76, |
| 84,87,92,95,100,103,106,109,114,117, |
| 122,127,132,137 |
| }; |
| }; |
| public final static char scopeSuffix[] = ScopeSuffix.scopeSuffix; |
| public final int scopeSuffix(int index) { return scopeSuffix[index]; } |
| |
| public interface ScopeLhs { |
| public final static char scopeLhs[] = { |
| 26,25,25,28,28,28,26,25,26,38, |
| 28,38,28,28,39,39,28,28,31,28, |
| 26,38,28,38,38,31,7,12,11,11, |
| 8,7,31,27,38,36,37,38,38,38, |
| 42,42,45,45,48,48,48,48,51,51, |
| 54,57,60,64 |
| }; |
| }; |
| public final static char scopeLhs[] = ScopeLhs.scopeLhs; |
| public final int scopeLhs(int index) { return scopeLhs[index]; } |
| |
| public interface ScopeLa { |
| public final static byte scopeLa[] = { |
| 5,5,5,5,5,5,5,5,51,1, |
| 5,74,5,5,5,5,5,5,72,27, |
| 51,1,5,77,77,1,1,53,53,53, |
| 5,5,72,1,1,5,78,76,76,76, |
| 40,9,8,38,48,47,46,45,49,26, |
| 52,54,57,63 |
| }; |
| }; |
| public final static byte scopeLa[] = ScopeLa.scopeLa; |
| public final int scopeLa(int index) { return scopeLa[index]; } |
| |
| public interface ScopeStateSet { |
| public final static byte scopeStateSet[] = { |
| 9,9,9,9,9,9,9,9,9,9, |
| 9,9,9,9,9,9,9,9,9,9, |
| 9,9,9,9,9,9,1,9,9,9, |
| 1,1,9,9,9,9,9,9,9,9, |
| 13,13,15,15,19,19,19,19,21,21, |
| 22,23,24,25 |
| }; |
| }; |
| public final static byte scopeStateSet[] = ScopeStateSet.scopeStateSet; |
| public final int scopeStateSet(int index) { return scopeStateSet[index]; } |
| |
| public interface ScopeRhs { |
| public final static char scopeRhs[] = {0, |
| 141,4,0,1,0,141,32,0,141,76, |
| 141,32,0,76,141,1,0,141,77,141, |
| 76,141,32,0,77,141,1,0,76,141, |
| 77,141,1,0,152,62,81,0,155,4, |
| 84,0,178,4,81,43,107,0,5,0, |
| 178,4,81,44,107,0,158,4,153,81, |
| 41,107,0,192,33,0,78,141,0,74, |
| 0,77,141,74,0,76,141,77,141,74, |
| 0,121,0,40,115,0,9,115,0,124, |
| 0,8,122,0,38,122,0,127,0,48, |
| 125,0,47,125,0,46,125,0,45,125, |
| 0,130,0,49,128,0,26,128,0,133, |
| 0,52,131,0,136,0,54,134,0,139, |
| 0,57,137,0,145,0,63,140,0,72, |
| 154,0,152,62,81,42,107,0,158,4, |
| 154,150,39,86,42,107,0,158,4,150, |
| 39,86,0,158,4,154,81,0,158,4, |
| 154,81,42,107,0,158,4,154,188,42, |
| 107,0,152,27,81,4,81,41,107,0, |
| 152,27,142,4,81,41,107,0,142,4, |
| 81,41,107,0,27,152,5,0,141,4, |
| 81,41,107,0,141,51,151,73,167,4, |
| 81,41,107,0,151,73,167,4,81,41, |
| 107,0,51,141,5,0,141,51,151,4, |
| 81,41,107,0,151,4,81,41,107,0, |
| 141,51,167,27,146,4,81,41,107,0, |
| 141,51,167,27,81,4,81,41,107,0, |
| 141,51,167,4,81,41,107,0,191,65, |
| 20,0,53,0,175,65,87,0,175,65, |
| 84,0,189,4,20,0 |
| }; |
| }; |
| public final static char scopeRhs[] = ScopeRhs.scopeRhs; |
| public final int scopeRhs(int index) { return scopeRhs[index]; } |
| |
| public interface ScopeState { |
| public final static char scopeState[] = {0, |
| 4086,4048,4326,4317,4241,4232,4223,4208,4001,3961, |
| 3878,3838,3795,3752,3706,3660,3614,3568,3519,3470, |
| 3418,3363,3305,3244,3178,3112,3046,1401,628,1719, |
| 2980,2914,1626,1322,1243,1164,2848,540,1553,816, |
| 716,1074,2782,2716,995,2650,2584,2518,2452,916, |
| 2386,443,346,1480,2320,2254,2188,2122,2056,1990, |
| 1924,1858,1792,0 |
| }; |
| }; |
| public final static char scopeState[] = ScopeState.scopeState; |
| public final int scopeState(int index) { return scopeState[index]; } |
| |
| public interface InSymb { |
| public final static char inSymb[] = {0, |
| 0,186,82,81,69,70,60,59,55,61, |
| 56,58,64,180,67,200,198,6,199,195, |
| 193,26,2,2,2,159,150,159,150,159, |
| 150,56,159,150,159,150,202,81,86,86, |
| 39,81,116,86,81,97,20,87,84,32, |
| 107,4,120,126,123,132,129,112,138,135, |
| 145,136,130,124,28,8,33,121,127,133, |
| 139,143,155,20,84,86,2,2,2,159, |
| 150,2,2,203,2,39,181,197,39,180, |
| 39,62,154,153,50,65,4,65,65,4, |
| 141,1,43,44,42,41,141,63,54,49, |
| 26,8,38,112,192,81,40,9,48,47, |
| 46,45,52,57,26,2,183,146,1,81, |
| 86,150,83,204,1,150,152,4,191,1, |
| 81,189,81,190,175,141,176,175,155,76, |
| 81,81,188,86,81,81,112,139,112,133, |
| 112,127,127,112,121,121,27,78,2,112, |
| 124,124,124,124,112,130,112,136,26,26, |
| 4,2,1,181,4,2,4,27,72,158, |
| 152,27,27,75,27,141,4,4,154,39, |
| 62,154,153,4,155,184,185,184,155,158, |
| 77,178,66,179,178,4,150,152,4,4, |
| 141,151,167,146,142,81,5,27,5,201, |
| 141,2,27,158,154,72,158,158,51,73, |
| 51,27,27,27,2,2,4,141,151,141, |
| 167,81,152,167,152,81,158,51,51,51, |
| 141,141,141 |
| }; |
| }; |
| public final static char inSymb[] = InSymb.inSymb; |
| public final int inSymb(int index) { return inSymb[index]; } |
| |
| public interface Name { |
| public final static String name[] = { |
| "", |
| "+", |
| "-", |
| "*", |
| "/", |
| ">", |
| "<", |
| "=", |
| ">=", |
| "<=", |
| "<>", |
| "(", |
| ")", |
| "{", |
| "}", |
| "[", |
| "]", |
| "->", |
| "|", |
| ",", |
| ":", |
| "::", |
| ";", |
| ".", |
| "..", |
| "@", |
| "^", |
| "^^", |
| "?", |
| "$empty", |
| "QUOTED_IDENTIFIER", |
| "INTEGER_LITERAL", |
| "REAL_LITERAL", |
| "STRING_LITERAL", |
| "self", |
| "if", |
| "then", |
| "else", |
| "endif", |
| "and", |
| "or", |
| "xor", |
| "not", |
| "implies", |
| "let", |
| "in", |
| "true", |
| "false", |
| "null", |
| "invalid", |
| "Set", |
| "Bag", |
| "Sequence", |
| "Collection", |
| "OrderedSet", |
| "String", |
| "Integer", |
| "UnlimitedNatural", |
| "Real", |
| "Boolean", |
| "Tuple", |
| "OclAny", |
| "OclVoid", |
| "OclInvalid", |
| "inv", |
| "pre", |
| "post", |
| "context", |
| "package", |
| "endpackage", |
| "def", |
| "body", |
| "derive", |
| "init", |
| "static", |
| "import", |
| "OclMessage", |
| "EOF_TOKEN", |
| "IDENTIFIER", |
| "SINGLE_LINE_COMMENT", |
| "MULTI_LINE_COMMENT", |
| "ERROR_TOKEN", |
| "conceptualOperationNameCS", |
| "CollectionTypeIdentifierCS", |
| "simpleNameCS", |
| "QuotedSimpleNameCS", |
| "unreservedSimpleNameCS", |
| "pathNameCS", |
| "typeCS", |
| "collectionTypeCS", |
| "tupleTypePartsCS", |
| "typedUninitializedVariableCS", |
| "OclExpressionCS", |
| "typedInitializedVariableCS", |
| "initializedVariableCS", |
| "uninitializedVariableCS", |
| "VariableDeclarationCS", |
| "CollectionLiteralPartsCS", |
| "CollectionLiteralPartCS", |
| "StringLiteralExpCS", |
| "TupleLiteralPartsCS", |
| "primaryExpCS", |
| "notNameExpressionCS", |
| "argumentsCS", |
| "SimpleNameExpCS", |
| "impliesNotNameNotLetCS", |
| "impliesNotLetCS", |
| "xorNotNameNotLetCS", |
| "xorNotLetCS", |
| "xorWithLetCS", |
| "orNotNameNotLetCS", |
| "orNotLetCS", |
| "orWithLetCS", |
| "andNotNameNotLetCS", |
| "andNotLetCS", |
| "andWithLetCS", |
| "equalityNotNameNotLetCS", |
| "equalityNotLetCS", |
| "equalityWithLetCS", |
| "relationalNotNameNotLetCS", |
| "relationalNotLetCS", |
| "relationalWithLetCS", |
| "additiveNotNameNotLetCS", |
| "additiveNotLetCS", |
| "additiveWithLetCS", |
| "multiplicativeNotNameNotLetCS", |
| "multiplicativeNotLetCS", |
| "multiplicativeWithLetCS", |
| "unaryNotLetCS", |
| "unaryWithLetCS", |
| "primaryNotNameCS", |
| "letVariablesCS", |
| "packageDeclarationsCS", |
| "invOrDefCS", |
| "prePostOrBodyDeclCS", |
| "initOrDerValueCS", |
| "isMarkedPreCS", |
| "OclMessageArgumentsCS", |
| "OclMessageArgCS", |
| "packageDeclarationCS_A", |
| "importCS", |
| "contextDeclsCS", |
| "importCS_0", |
| "importCS_1", |
| "importCS_2", |
| "contextDeclCS", |
| "initOrDerValuesCS", |
| "invOrDefsCS", |
| "defExpressionCS", |
| "operationCS1", |
| "operationCS2", |
| "prePostOrBodyDeclsCS", |
| "parametersCS", |
| "ERROR_Colon", |
| "ERROR_Empty", |
| "ERROR_SimpleNameCS" |
| }; |
| }; |
| public final static String name[] = Name.name; |
| public final String name(int index) { return name[index]; } |
| |
| public final int originalState(int state) { |
| return -baseCheck[state]; |
| } |
| public final int asi(int state) { |
| return asb[originalState(state)]; |
| } |
| public final int nasi(int state) { |
| return nasb[originalState(state)]; |
| } |
| public final int inSymbol(int state) { |
| return inSymb[originalState(state)]; |
| } |
| |
| /** |
| * assert(! goto_default); |
| */ |
| public final int ntAction(int state, int sym) { |
| return baseAction[state + sym]; |
| } |
| |
| /** |
| * assert(! shift_default); |
| */ |
| public final int tAction(int state, int sym) { |
| int i = baseAction[state], |
| k = i + sym; |
| return termAction[termCheck[k] == sym ? k : i]; |
| } |
| public final int lookAhead(int la_state, int sym) { |
| int k = la_state + sym; |
| return termAction[termCheck[k] == sym ? k : la_state]; |
| } |
| } |
