diff options
Diffstat (limited to 'test/trans.d/case/zlen1_java.rl')
-rw-r--r-- | test/trans.d/case/zlen1_java.rl | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/test/trans.d/case/zlen1_java.rl b/test/trans.d/case/zlen1_java.rl new file mode 100644 index 00000000..71c483b6 --- /dev/null +++ b/test/trans.d/case/zlen1_java.rl @@ -0,0 +1,62 @@ +/* + * @LANG: java + * @GENERATED: true + */ + + +class zlen1_java +{ + + + +%%{ + machine zlen1; + main := zlen; +}%% + + + +%% write data; +int cs; + +void init() +{ + %% write init; +} + +void exec( char data[], int len ) +{ + char buffer [] = new char[1024]; + int blen = 0; + int p = 0; + int pe = len; + + String _s; + %% write exec; +} + +void finish( ) +{ + if ( cs >= zlen1_first_final ) + System.out.println( "ACCEPT" ); + else + System.out.println( "FAIL" ); +} + +static final String inp[] = { +"", +"x", +}; + +static final int inplen = 2; + +public static void main (String[] args) +{ + zlen1_java machine = new zlen1_java(); + for ( int i = 0; i < inplen; i++ ) { + machine.init(); + machine.exec( inp[i].toCharArray(), inp[i].length() ); + machine.finish(); + } +} +} |