summaryrefslogtreecommitdiff
path: root/test/rlhc.d/case/patact_rust.rs-U-T1--var-backend.in
diff options
context:
space:
mode:
Diffstat (limited to 'test/rlhc.d/case/patact_rust.rs-U-T1--var-backend.in')
-rw-r--r--test/rlhc.d/case/patact_rust.rs-U-T1--var-backend.in373
1 files changed, 373 insertions, 0 deletions
diff --git a/test/rlhc.d/case/patact_rust.rs-U-T1--var-backend.in b/test/rlhc.d/case/patact_rust.rs-U-T1--var-backend.in
new file mode 100644
index 00000000..12340724
--- /dev/null
+++ b/test/rlhc.d/case/patact_rust.rs-U-T1--var-backend.in
@@ -0,0 +1,373 @@
+host( "working/patact_rust.rl", 1 ) @{//
+ // @@LANG: rust
+ // @@GENERATED: true
+ //
+
+ static mut comm : u8 = 0;
+ static mut top : i32 = 0;
+ static mut stack : [ i32 ; 32] = [ 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 ];
+ static mut ts : i32
+ = 0;
+ static mut te : i32
+ = 0;
+ static mut act : i32 = 0;
+ static mut value : i32 = 0;
+
+
+
+
+
+}@
+array s8 _patact_key_offsets( 0, 63 ) = { 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 25, 28, 32, 35, 41, 43, 45, 53, 56, 60, 63, 0 };
+
+array u8 _patact_trans_keys( 0, 122 ) = { 102, 111, 105, 108, 102, 111, 105, 108, 102, 111, 105, 108, 102, 111, 105, 108, 10, 32, 33, 50, 59, 48, 57, 97, 122, 32, 48, 57, 32, 50, 48, 57, 32, 97, 122, 10, 32, 48, 57, 97, 122, 48, 57, 97, 122, 10, 32, 33, 50, 48, 57, 97, 122, 32, 48, 57, 32, 50, 48, 57, 32, 97, 122, 59, 0 };
+
+array s8 _patact_single_lengths( 0, 5 ) = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 2, 1, 2, 0, 0, 4, 1, 2, 1, 1, 0 };
+
+array s8 _patact_range_lengths( 0, 2 ) = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 1, 1, 1, 2, 1, 1, 2, 1, 1, 1, 0, 0 };
+
+array s8 _patact_index_offsets( 0, 76 ) = { 0, 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 40, 43, 47, 50, 55, 57, 59, 66, 69, 73, 76, 0 };
+
+array s8 _patact_trans_cond_spaces( -1, 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, -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, -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, 0 };
+
+array s8 _patact_trans_offsets( 0, 101 ) = { 0, 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, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 0 };
+
+array s8 _patact_trans_lengths( 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, 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, 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, 0 };
+
+array s8 _patact_cond_keys( 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 };
+
+array s8 _patact_cond_targs( 0, 28 ) = { 2, 17, 3, 17, 4, 17, 17, 17, 6, 17, 7, 17, 8, 17, 17, 17, 10, 24, 11, 24, 12, 24, 24, 24, 14, 24, 15, 24, 16, 24, 24, 24, 17, 17, 17, 19, 17, 18, 20, 0, 1, 18, 17, 1, 18, 18, 17, 5, 20, 17, 21, 21, 22, 23, 0, 22, 21, 23, 21, 24, 24, 24, 26, 25, 27, 0, 9, 25, 24, 9, 25, 25, 24, 13, 27, 24, 28, 0, 17, 17, 17, 17, 17, 17, 17, 17, 24, 24, 24, 24, 24, 24, 24, 24, 17, 17, 17, 21, 21, 24, 24, 24, 0 };
+
+array s8 _patact_cond_actions( 0, 28 ) = { 0, 1, 0, 1, 0, 1, 2, 1, 0, 3, 0, 3, 0, 3, 4, 3, 0, 5, 0, 5, 0, 5, 6, 5, 0, 7, 0, 7, 0, 7, 8, 7, 11, 11, 12, 13, 14, 13, 15, 0, 0, 13, 1, 0, 17, 13, 16, 0, 15, 18, 19, 19, 0, 0, 0, 0, 20, 0, 21, 22, 22, 23, 24, 24, 15, 0, 0, 24, 5, 0, 26, 24, 25, 0, 15, 27, 28, 0, 1, 1, 1, 1, 3, 3, 3, 3, 5, 5, 5, 5, 7, 7, 7, 7, 1, 16, 18, 20, 21, 5, 25, 27, 0 };
+
+array s8 _patact_to_state_actions( 0, 9 ) = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 9, 0, 0, 9, 0, 0, 0, 9, 0 };
+
+array s8 _patact_from_state_actions( 0, 10 ) = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 10, 0, 0, 0, 10, 0, 0, 10, 0, 0, 0, 10, 0 };
+
+array s8 _patact_eof_trans_indexed( 0, 43 ) = { 0, 18, 18, 18, 18, 20, 20, 20, 20, 36, 36, 36, 36, 38, 38, 38, 38, 0, 18, 25, 26, 0, 32, 33, 0, 36, 42, 43, 0, 0 };
+
+array s8 _patact_eof_trans_direct( 0, 102 ) = { 0, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 0, 95, 96, 97, 0, 98, 99, 0, 100, 101, 102, 0, 0 };
+
+array s8 _patact_nfa_targs( 0, 0 ) = { 0, 0 };
+
+array s8 _patact_nfa_offsets( 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 };
+
+array s8 _patact_nfa_push_actions( 0, 0 ) = { 0, 0 };
+
+array s8 _patact_nfa_pop_trans( 0, 0 ) = { 0, 0 };
+
+value int patact_start = 17;
+value int patact_first_final = 17;
+value int patact_error = 0;
+
+value int patact_en_other = 21;
+value int patact_en_exec_test = 24;
+value int patact_en_semi = 28;
+value int patact_en_main = 17;
+
+host( "working/patact_rust.rl", 72 ) @{
+
+ unsafe fn m( s: String )
+ {
+ let data: &[u8] = s.as_bytes();
+ let mut p:i32 = 0;
+ let mut pe:i32 = s.len() as i32;
+ let mut eof:i32 = s.len() as i32;
+ let mut cs: i32 = 0;
+ let mut buffer = String::new();
+
+ }@
+ {
+ cs = cast(int)patact_start;
+ ts = nil;
+ te = nil;
+ act = 0;
+ }
+ host( "working/patact_rust.rl", 83 ) @{
+ }@
+ {
+ int _klen;
+ index u8 _keys;
+ index s8 _ckeys;
+ int _cpc;
+ uint _trans;
+ uint _cond = 0;
+ uint _have = 0;
+ uint _cont = 1;
+ while ( _cont == 1 ) {
+
+ if ( cs == 0 )
+ _cont = 0;
+ _have = 0;
+ if ( p == pe ) {
+ if ( p == eof )
+ {
+ if ( _patact_eof_trans_direct[cs] > 0 ) {
+ _trans = cast(uint)_patact_eof_trans_direct[cs] - 1;
+ _cond = cast(uint)_patact_trans_offsets[_trans];
+ _have = 1;
+ }
+ if ( _have == 0 ) {
+ }
+ }
+
+ if ( _have == 0 )
+ _cont = 0;
+ }
+ if ( _cont == 1 ) {
+ if ( _have == 0 ) {
+ switch ( _patact_from_state_actions[cs] ) {
+ case 10 {
+ host( "NONE", 1 ) ${${ts = p;}$}$
+ }
+ }
+
+ _keys = offset( _patact_trans_keys, _patact_key_offsets[cs] );
+ _trans = cast(uint)_patact_index_offsets[cs];
+ _have = 0;
+
+ _klen = cast(int)_patact_single_lengths[cs];
+ if ( _klen > 0 ) {
+ index u8 _lower;
+ index u8 _mid;
+ index u8 _upper;
+ _lower = _keys;
+ _upper = _keys + _klen - 1;
+ while ( _upper >= _lower && _have == 0 ) {
+ _mid = _lower + ((_upper-_lower) >> 1);
+ if ( ( deref( data, p )) < deref( _patact_trans_keys, _mid ) )
+ _upper = _mid - 1;
+ else if ( ( deref( data, p )) > deref( _patact_trans_keys, _mid ) )
+ _lower = _mid + 1;
+ else {
+ _trans += cast(uint)(_mid - _keys);
+ _have = 1;
+ }
+ }
+ if ( _have == 0 ) {
+ _keys += _klen;
+ _trans += cast(uint)_klen;
+ }
+ }
+
+ if ( _have == 0 ) {
+ _klen = cast(int)_patact_range_lengths[cs];
+ if ( _klen > 0 ) {
+ index u8 _lower;
+ index u8 _mid;
+ index u8 _upper;
+ _lower = _keys;
+ _upper = _keys + (_klen<<1) - 2;
+ while ( _have == 0 && _lower <= _upper ) {
+ _mid = _lower + (((_upper-_lower) >> 1) & ~1);
+ if ( ( deref( data, p )) < deref( _patact_trans_keys, _mid ) )
+ _upper = _mid - 2;
+ else if ( ( deref( data, p )) > deref( _patact_trans_keys, _mid + 1 ) )
+ _lower = _mid + 2;
+ else {
+ _trans += cast(uint)((_mid - _keys)>>1);
+ _have = 1;
+ }
+ }
+ if ( _have == 0 )
+ _trans += cast(uint)_klen;
+ }
+ }
+
+ _ckeys = offset( _patact_cond_keys, _patact_trans_offsets[_trans] );
+ _klen = cast(int)_patact_trans_lengths[_trans];
+ _cond = cast(uint)_patact_trans_offsets[_trans];
+ _have = 0;
+
+ _cpc = 0;
+ {
+ index s8 _lower;
+ index s8 _mid;
+ index s8 _upper;
+ _lower = _ckeys;
+ _upper = _ckeys + _klen - 1;
+ while ( _have == 0 && _lower <= _upper ) {
+ _mid = _lower + ((_upper-_lower) >> 1);
+ if ( _cpc < cast(int)deref( _patact_cond_keys, _mid ) )
+ _upper = _mid - 1;
+ else if ( _cpc > cast(int)deref( _patact_cond_keys, _mid ) )
+ _lower = _mid + 1;
+ else {
+ _cond += cast(uint)(_mid - _ckeys);
+ _have = 1;
+ }
+ }
+ if ( _have == 0 ) {
+ cs = 0;
+ _cont = 0;
+ }
+ }
+ }
+ if ( _cont == 1 ) {
+ cs = cast(int)_patact_cond_targs[_cond];
+
+ switch ( _patact_cond_actions[_cond] ) {
+ case 15 {
+ host( "NONE", 1 ) ${${te = p+1;}$}$
+ }
+ case 19 {
+ host( "working/patact_rust.rl", 24 ) ${${te = p+1;host( "working/patact_rust.rl", 24 ) ${print!( "{}", "space\n" );
+ }$}$}$
+ }
+ case 21 {
+ host( "working/patact_rust.rl", 20 ) ${${te = p;p = p - 1;host( "working/patact_rust.rl", 20 ) ${print!( "{}", "word\n" );
+ }$}$}$
+ }
+ case 20 {
+ host( "working/patact_rust.rl", 22 ) ${${te = p;p = p - 1;host( "working/patact_rust.rl", 22 ) ${print!( "{}", "num\n" );
+ }$}$}$
+ }
+ case 8 {
+ host( "working/patact_rust.rl", 31 ) ${${te = p+1;host( "working/patact_rust.rl", 31 ) ${print!( "{}", "word (c/lbh)\n" );
+ }$}$}$
+ }
+ case 22 {
+ host( "working/patact_rust.rl", 33 ) ${${te = p+1;host( "working/patact_rust.rl", 33 ) ${print!( "{}", "space\n" );
+ }$}$}$
+ }
+ case 6 {
+ host( "working/patact_rust.rl", 39 ) ${${te = p+1;host( "working/patact_rust.rl", 39 ) ${print!( "{}", "num (c/switch)\n" );
+ }$}$}$
+ }
+ case 23 {
+ host( "working/patact_rust.rl", 41 ) ${${te = p+1;}$}$
+ }
+ case 27 {
+ host( "working/patact_rust.rl", 29 ) ${${te = p;p = p - 1;host( "working/patact_rust.rl", 29 ) ${print!( "{}", "word (w/lbh)\n" );
+ ${p = (( te-1))-1;}$
+ ${cs = 21;}$}$}$}$
+ }
+ case 25 {
+ host( "working/patact_rust.rl", 37 ) ${${te = p;p = p - 1;host( "working/patact_rust.rl", 37 ) ${print!( "{}", "num (w/switch)\n" );
+ ${p = (( te-1))-1;}$
+ ${cs = 21;}$}$}$}$
+ }
+ case 7 {
+ host( "working/patact_rust.rl", 29 ) ${${p = ((te))-1;
+ host( "working/patact_rust.rl", 29 ) ${print!( "{}", "word (w/lbh)\n" );
+ ${p = (( te-1))-1;}$
+ ${cs = 21;}$}$}$}$
+ }
+ case 5 {
+ host( "NONE", 1 ) ${${switch( act ) {
+ case 7 {
+ p = ((te))-1;
+ host( "working/patact_rust.rl", 35 ) ${print!( "{}", "num (w/switch)\n" );
+ }$ }
+ case 8 {
+ p = ((te))-1;
+ host( "working/patact_rust.rl", 37 ) ${print!( "{}", "num (w/switch)\n" );
+ ${p = (( te-1))-1;}$
+ ${cs = 21;}$}$ }
+ }}$
+ }$
+ }
+ case 28 {
+ host( "working/patact_rust.rl", 45 ) ${${te = p+1;host( "working/patact_rust.rl", 45 ) ${print!( "{}", "in semi\n" );
+ ${cs = 17;}$}$}$}$
+ }
+ case 4 {
+ host( "working/patact_rust.rl", 52 ) ${${te = p+1;host( "working/patact_rust.rl", 52 ) ${print!( "{}", "word (c/lbh)\n" );
+ }$}$}$
+ }
+ case 11 {
+ host( "working/patact_rust.rl", 54 ) ${${te = p+1;host( "working/patact_rust.rl", 54 ) ${print!( "{}", "space\n" );
+ }$}$}$
+ }
+ case 2 {
+ host( "working/patact_rust.rl", 60 ) ${${te = p+1;host( "working/patact_rust.rl", 60 ) ${print!( "{}", "num (c/switch)\n" );
+ }$}$}$
+ }
+ case 14 {
+ host( "working/patact_rust.rl", 62 ) ${${te = p+1;host( "working/patact_rust.rl", 62 ) ${print!( "{}", "going to semi\n" );
+ ${p = p - 1; }$${cs = 28;}$}$}$}$
+ }
+ case 12 {
+ host( "working/patact_rust.rl", 64 ) ${${te = p+1;host( "working/patact_rust.rl", 64 ) ${print!( "{}", "immdiate\n" );
+ ${cs = 24;}$}$}$}$
+ }
+ case 18 {
+ host( "working/patact_rust.rl", 50 ) ${${te = p;p = p - 1;host( "working/patact_rust.rl", 50 ) ${print!( "{}", "word (w/lbh)\n" );
+ ${p = p - 1; }$${cs = 21;}$}$}$}$
+ }
+ case 16 {
+ host( "working/patact_rust.rl", 58 ) ${${te = p;p = p - 1;host( "working/patact_rust.rl", 58 ) ${print!( "{}", "num (w/switch)\n" );
+ ${p = p - 1; }$${cs = 21;}$}$}$}$
+ }
+ case 3 {
+ host( "working/patact_rust.rl", 50 ) ${${p = ((te))-1;
+ host( "working/patact_rust.rl", 50 ) ${print!( "{}", "word (w/lbh)\n" );
+ ${p = p - 1; }$${cs = 21;}$}$}$}$
+ }
+ case 1 {
+ host( "NONE", 1 ) ${${switch( act ) {
+ case 15 {
+ p = ((te))-1;
+ host( "working/patact_rust.rl", 56 ) ${print!( "{}", "num (w/switch)\n" );
+ }$ }
+ case 16 {
+ p = ((te))-1;
+ host( "working/patact_rust.rl", 58 ) ${print!( "{}", "num (w/switch)\n" );
+ ${p = p - 1; }$${cs = 21;}$}$ }
+ }}$
+ }$
+ }
+ case 26 {
+ host( "NONE", 1 ) ${${te = p+1;}$}$
+ host( "working/patact_rust.rl", 35 ) ${${act = 7;}$}$
+ }
+ case 24 {
+ host( "NONE", 1 ) ${${te = p+1;}$}$
+ host( "working/patact_rust.rl", 37 ) ${${act = 8;}$}$
+ }
+ case 17 {
+ host( "NONE", 1 ) ${${te = p+1;}$}$
+ host( "working/patact_rust.rl", 56 ) ${${act = 15;}$}$
+ }
+ case 13 {
+ host( "NONE", 1 ) ${${te = p+1;}$}$
+ host( "working/patact_rust.rl", 58 ) ${${act = 16;}$}$
+ }
+ }
+
+ switch ( _patact_to_state_actions[cs] ) {
+ case 9 {
+ host( "NONE", 1 ) ${${ts = nil;}$}$
+ }
+ }
+
+ if ( cs == 0 )
+ _cont = 0;
+ if ( _cont == 1 )
+ p += 1;
+
+ }}
+ }
+ }
+ host( "working/patact_rust.rl", 84 ) @{
+
+ if ( cs >= patact_first_final ) {
+ println!( "ACCEPT" );
+ }
+ else {
+ println!( "FAIL" );
+ }
+ }
+
+ fn main()
+ {
+ unsafe { m( "abcd foix\n".to_string() ); }
+ unsafe { m( "abcd\nanother\n".to_string() ); }
+ unsafe { m( "123 foix\n".to_string() ); }
+ unsafe { m( "!abcd foix\n".to_string() ); }
+ unsafe { m( "!abcd\nanother\n".to_string() ); }
+ unsafe { m( "!123 foix\n".to_string() ); }
+ unsafe { m( ";".to_string() ); }
+ }
+
+}@ \ No newline at end of file
View Lorry Controller Status