/** * Pushes the specified amount of characters back into the input stream. * * They will be read again by then next call of the scanning method * * @param number the number of characters to be read again. * This number must not be greater than yylength()! */ public void yypushback(int number) { if ( number > yylength() ) zzScanError(ZZ_PUSHBACK_2BIG); zzMarkedPos -= number; }
public void pushBack(int n) { yypushback(n); }
private static int [] zzUnpackAction() { int [] result = new int[14]; int offset = 0; offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result); return result; }
boolean eof = zzRefill(); { System.out.print(yytext()); { yybegin(SENTENCE); { yybegin(YYINITIAL); zzScanError(ZZ_NO_MATCH);
java.io.FileInputStream stream = new java.io.FileInputStream(argv[i]); java.io.Reader reader = new java.io.InputStreamReader(stream, encodingName); scanner = new NegraLexer(reader); while ( !scanner.zzAtEOF ) scanner.yylex();
private static int [] zzUnpackAttribute() { int [] result = new int[14]; int offset = 0; offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result); return result; }