class Yylex {
	private final int YY_BUFFER_SIZE = 512;
	private final int YY_F = -1;
	private final int YY_NO_STATE = -1;
	private final int YY_NOT_ACCEPT = 0;
	private final int YY_START = 1;
	private final int YY_END = 2;
	private final int YY_NO_ANCHOR = 4;
	private final int YY_BOL = 128;
	private final int YY_EOF = 129;

  private void echo () { System . out . print (yytext ()); }
  private java_cup . runtime . Symbol token (int token_class,
      Object token_value) {
    return new java_cup . runtime . Symbol (token_class, yychar,
      yychar + yylength (), token_value);
  }
  private java_cup . runtime . Symbol token (int token_class) {
    return new java_cup . runtime . Symbol (token_class, yychar,
      yychar + yylength (), null);
  }
	private java.io.BufferedReader yy_reader;
	private int yy_buffer_index;
	private int yy_buffer_read;
	private int yy_buffer_start;
	private int yy_buffer_end;
	private char yy_buffer[];
	private int yychar;
	private boolean yy_at_bol;
	private int yy_lexical_state;

	Yylex (java.io.Reader reader) {
		this ();
		if (null == reader) {
			throw (new Error("Error: Bad input stream initializer."));
		}
		yy_reader = new java.io.BufferedReader(reader);
	}

	Yylex (java.io.InputStream instream) {
		this ();
		if (null == instream) {
			throw (new Error("Error: Bad input stream initializer."));
		}
		yy_reader = new java.io.BufferedReader(new java.io.InputStreamReader(instream));
	}

	private Yylex () {
		yy_buffer = new char[YY_BUFFER_SIZE];
		yy_buffer_read = 0;
		yy_buffer_index = 0;
		yy_buffer_start = 0;
		yy_buffer_end = 0;
		yychar = 0;
		yy_at_bol = true;
		yy_lexical_state = YYINITIAL;
	}

	private boolean yy_eof_done = false;
	private final int YYINITIAL = 0;
	private final int yy_state_dtrans[] = {
		0
	};
	private void yybegin (int state) {
		yy_lexical_state = state;
	}
	private int yy_advance ()
		throws java.io.IOException {
		int next_read;
		int i;
		int j;

		if (yy_buffer_index < yy_buffer_read) {
			return yy_buffer[yy_buffer_index++];
		}

		if (0 != yy_buffer_start) {
			i = yy_buffer_start;
			j = 0;
			while (i < yy_buffer_read) {
				yy_buffer[j] = yy_buffer[i];
				++i;
				++j;
			}
			yy_buffer_end = yy_buffer_end - yy_buffer_start;
			yy_buffer_start = 0;
			yy_buffer_read = j;
			yy_buffer_index = j;
			next_read = yy_reader.read(yy_buffer,
					yy_buffer_read,
					yy_buffer.length - yy_buffer_read);
			if (-1 == next_read) {
				return YY_EOF;
			}
			yy_buffer_read = yy_buffer_read + next_read;
		}

		while (yy_buffer_index >= yy_buffer_read) {
			if (yy_buffer_index >= yy_buffer.length) {
				yy_buffer = yy_double(yy_buffer);
			}
			next_read = yy_reader.read(yy_buffer,
					yy_buffer_read,
					yy_buffer.length - yy_buffer_read);
			if (-1 == next_read) {
				return YY_EOF;
			}
			yy_buffer_read = yy_buffer_read + next_read;
		}
		return yy_buffer[yy_buffer_index++];
	}
	private void yy_move_end () {
		if (yy_buffer_end > yy_buffer_start &&
		    '\n' == yy_buffer[yy_buffer_end-1])
			yy_buffer_end--;
		if (yy_buffer_end > yy_buffer_start &&
		    '\r' == yy_buffer[yy_buffer_end-1])
			yy_buffer_end--;
	}
	private boolean yy_last_was_cr=false;
	private void yy_mark_start () {
		yychar = yychar
			+ yy_buffer_index - yy_buffer_start;
		yy_buffer_start = yy_buffer_index;
	}
	private void yy_mark_end () {
		yy_buffer_end = yy_buffer_index;
	}
	private void yy_to_mark () {
		yy_buffer_index = yy_buffer_end;
		yy_at_bol = (yy_buffer_end > yy_buffer_start) &&
		            ('\r' == yy_buffer[yy_buffer_end-1] ||
		             '\n' == yy_buffer[yy_buffer_end-1] ||
		             2028/*LS*/ == yy_buffer[yy_buffer_end-1] ||
		             2029/*PS*/ == yy_buffer[yy_buffer_end-1]);
	}
	private java.lang.String yytext () {
		return (new java.lang.String(yy_buffer,
			yy_buffer_start,
			yy_buffer_end - yy_buffer_start));
	}
	private int yylength () {
		return yy_buffer_end - yy_buffer_start;
	}
	private char[] yy_double (char buf[]) {
		int i;
		char newbuf[];
		newbuf = new char[2*buf.length];
		for (i = 0; i < buf.length; ++i) {
			newbuf[i] = buf[i];
		}
		return newbuf;
	}
	private final int YY_E_INTERNAL = 0;
	private final int YY_E_MATCH = 1;
	private java.lang.String yy_error_string[] = {
		"Error: Internal error.\n",
		"Error: Unmatched input.\n"
	};
	private void yy_error (int code,boolean fatal) {
		java.lang.System.out.print(yy_error_string[code]);
		java.lang.System.out.flush();
		if (fatal) {
			throw new Error("Fatal Error.\n");
		}
	}
	private int[][] unpackFromString(int size1, int size2, String st) {
		int colonIndex = -1;
		String lengthString;
		int sequenceLength = 0;
		int sequenceInteger = 0;

		int commaIndex;
		String workString;

		int res[][] = new int[size1][size2];
		for (int i= 0; i < size1; i++) {
			for (int j= 0; j < size2; j++) {
				if (sequenceLength != 0) {
					res[i][j] = sequenceInteger;
					sequenceLength--;
					continue;
				}
				commaIndex = st.indexOf(',');
				workString = (commaIndex==-1) ? st :
					st.substring(0, commaIndex);
				st = st.substring(commaIndex+1);
				colonIndex = workString.indexOf(':');
				if (colonIndex == -1) {
					res[i][j]=Integer.parseInt(workString);
					continue;
				}
				lengthString =
					workString.substring(colonIndex+1);
				sequenceLength=Integer.parseInt(lengthString);
				workString=workString.substring(0,colonIndex);
				sequenceInteger=Integer.parseInt(workString);
				res[i][j] = sequenceInteger;
				sequenceLength--;
			}
		}
		return res;
	}
	private int yy_acpt[] = {
		/* 0 */ YY_NOT_ACCEPT,
		/* 1 */ YY_NO_ANCHOR,
		/* 2 */ YY_NO_ANCHOR,
		/* 3 */ YY_NO_ANCHOR,
		/* 4 */ YY_NO_ANCHOR,
		/* 5 */ YY_NO_ANCHOR,
		/* 6 */ YY_NO_ANCHOR,
		/* 7 */ YY_NO_ANCHOR,
		/* 8 */ YY_NO_ANCHOR,
		/* 9 */ YY_NO_ANCHOR,
		/* 10 */ YY_NO_ANCHOR,
		/* 11 */ YY_NO_ANCHOR,
		/* 12 */ YY_NO_ANCHOR,
		/* 13 */ YY_NO_ANCHOR,
		/* 14 */ YY_NO_ANCHOR,
		/* 15 */ YY_NO_ANCHOR,
		/* 16 */ YY_NO_ANCHOR,
		/* 17 */ YY_NOT_ACCEPT,
		/* 18 */ YY_NO_ANCHOR,
		/* 19 */ YY_NO_ANCHOR,
		/* 20 */ YY_NOT_ACCEPT,
		/* 21 */ YY_NO_ANCHOR,
		/* 22 */ YY_NOT_ACCEPT,
		/* 23 */ YY_NO_ANCHOR,
		/* 24 */ YY_NOT_ACCEPT,
		/* 25 */ YY_NO_ANCHOR,
		/* 26 */ YY_NOT_ACCEPT,
		/* 27 */ YY_NO_ANCHOR,
		/* 28 */ YY_NOT_ACCEPT,
		/* 29 */ YY_NO_ANCHOR,
		/* 30 */ YY_NO_ANCHOR,
		/* 31 */ YY_NO_ANCHOR,
		/* 32 */ YY_NO_ANCHOR,
		/* 33 */ YY_NO_ANCHOR,
		/* 34 */ YY_NO_ANCHOR,
		/* 35 */ YY_NO_ANCHOR,
		/* 36 */ YY_NO_ANCHOR,
		/* 37 */ YY_NO_ANCHOR,
		/* 38 */ YY_NO_ANCHOR,
		/* 39 */ YY_NO_ANCHOR
	};
	private int yy_cmap[] = unpackFromString(1,130,
"4:9,1:2,4:2,0,4:18,1,4:7,9,10,3,22,7,25,8,2,20:10,6,5,27,28,26,4:2,24:4,21," +
"24:21,4:6,13,23,11,19,15,23:6,12,23,18,23:4,14,17,23:3,16,23:2,4:5,29:2")[0];

	private int yy_rmap[] = unpackFromString(1,40,
"0,1,2,1:2,3,1:4,4,1:2,5,6,5:2,6,1:2,7,8,9,10,11,12,13,14,15,16,17,18,19,20," +
"21,22,23,24,25,5")[0];

	private int yy_nxt[][] = unpackFromString(26,30,
"-1,1,2,18,3,4,5,6,7,8,9,21,39:3,32,39:4,23,10,18,39,10,18,25,18,27,11,-1:33" +
",17,-1:32,12,-1:34,10:9,19,10,-1,10:2,-1:16,39:9,-1,39,-1,39:2,-1:6,17:2,22" +
",17:25,-1:21,24,-1:20,39,35,39:7,-1,39,-1,39:2,-1:6,17,14,22,17:25,-1:9,20," +
"-1:11,23,-1:29,24,26,-1:36,18,-1:23,28,-1:34,18,-1:22,18,-1:20,39:8,13,-1,3" +
"9,-1,39:2,-1:16,39:3,15,39:5,-1,39,-1,39:2,-1:16,39:3,16,39:5,-1,39,-1,39:2" +
",-1:16,39:5,36,39,29,39,-1,39,-1,39:2,-1:16,39:3,30,39:5,-1,39,-1,39:2,-1:1" +
"6,39:8,31,-1,39,-1,39:2,-1:16,39:2,33,39:6,-1,39,-1,39:2,-1:16,39:6,37,39:2" +
",-1,39,-1,39:2,-1:16,39:4,38,39:4,-1,39,-1,39:2,-1:16,39:7,34,39,-1,39,-1,3" +
"9:2,-1:5");

	public java_cup . runtime . Symbol nextToken ()
		throws java.io.IOException {
		int yy_lookahead;
		int yy_anchor = YY_NO_ANCHOR;
		int yy_state = yy_state_dtrans[yy_lexical_state];
		int yy_next_state = YY_NO_STATE;
		int yy_last_accept_state = YY_NO_STATE;
		boolean yy_initial = true;
		int yy_this_accept;

		yy_mark_start();
		yy_this_accept = yy_acpt[yy_state];
		if (YY_NOT_ACCEPT != yy_this_accept) {
			yy_last_accept_state = yy_state;
			yy_mark_end();
		}
		while (true) {
			if (yy_initial && yy_at_bol) yy_lookahead = YY_BOL;
			else yy_lookahead = yy_advance();
			yy_next_state = YY_F;
			yy_next_state = yy_nxt[yy_rmap[yy_state]][yy_cmap[yy_lookahead]];
			if (YY_EOF == yy_lookahead && true == yy_initial) {

  { return token (Symbol . EOF); }
			}
			if (YY_F != yy_next_state) {
				yy_state = yy_next_state;
				yy_initial = false;
				yy_this_accept = yy_acpt[yy_state];
				if (YY_NOT_ACCEPT != yy_this_accept) {
					yy_last_accept_state = yy_state;
					yy_mark_end();
				}
			}
			else {
				if (YY_NO_STATE == yy_last_accept_state) {
					throw (new Error("Lexical Error: Unmatched Input."));
				}
				else {
					yy_anchor = yy_acpt[yy_last_accept_state];
					if (0 != (YY_END & yy_anchor)) {
						yy_move_end();
					}
					yy_to_mark();
					switch (yy_last_accept_state) {
					case 1:
						{ echo (); }
					case -2:
						break;
					case 2:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -3:
						break;
					case 3:
						{ echo (); ErrorMessage . print (yychar, "Illegal character");}
					case -4:
						break;
					case 4:
						{ echo (); return token (Symbol . SEMICOLON); }
					case -5:
						break;
					case 5:
						{ echo (); return token (Symbol . COLON);}
					case -6:
						break;
					case 6:
						{ echo (); return token (Symbol . COMMA);}
					case -7:
						break;
					case 7:
						{ echo (); return token (Symbol . DOT);}
					case -8:
						break;
					case 8:
						{ echo (); return token (Symbol . LPAREN);}
					case -9:
						break;
					case 9:
						{ echo (); return token (Symbol . RPAREN);}
					case -10:
						break;
					case 10:
						{ echo (); return token (Symbol . METANOTION, new String (yytext ())); }
					case -11:
						break;
					case 11:
						
					case -12:
						break;
					case 12:
						{ echo (); return token (Symbol . DOUCOLON); }
					case -13:
						break;
					case 13:
						{ echo (); return token (Symbol . END);}
					case -14:
						break;
					case 14:
						{ echo (); }
					case -15:
						break;
					case 15:
						{ echo (); return token (Symbol . CLASS);}
					case -16:
						break;
					case 16:
						{ echo (); return token (Symbol . EXTENDS);}
					case -17:
						break;
					case 18:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -18:
						break;
					case 19:
						{ echo (); return token (Symbol . METANOTION, new String (yytext ())); }
					case -19:
						break;
					case 21:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -20:
						break;
					case 23:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -21:
						break;
					case 25:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -22:
						break;
					case 27:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -23:
						break;
					case 29:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -24:
						break;
					case 30:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -25:
						break;
					case 31:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -26:
						break;
					case 32:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -27:
						break;
					case 33:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -28:
						break;
					case 34:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -29:
						break;
					case 35:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -30:
						break;
					case 36:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -31:
						break;
					case 37:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -32:
						break;
					case 38:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -33:
						break;
					case 39:
						{ echo (); return token (Symbol . PROTONOTION, new String (yytext ())); }
					case -34:
						break;
					default:
						yy_error(YY_E_INTERNAL,false);
					case -1:
					}
					yy_initial = true;
					yy_state = yy_state_dtrans[yy_lexical_state];
					yy_next_state = YY_NO_STATE;
					yy_last_accept_state = YY_NO_STATE;
					yy_mark_start();
					yy_this_accept = yy_acpt[yy_state];
					if (YY_NOT_ACCEPT != yy_this_accept) {
						yy_last_accept_state = yy_state;
						yy_mark_end();
					}
				}
			}
		}
	}
}