/*
* @LANG: java
* @GENERATED: yes
+EOF
+
+grep '@ALLOW_GENFLAGS:' $file
+grep '@ALLOW_MINFLAGS:' $file
+
+cat << EOF
*/
class $class
{
int p = 0;
int pe = len;
+ int eof = len;
String _s;
%% write exec;
}
void finish( )
{
- %% write eof;
if ( cs >= ${class}_first_final )
System.out.println( "ACCEPT" );
else