summaryrefslogtreecommitdiff
path: root/test/rlhc.d/case/any1_rust.rs-U-F1--var-backend.exp
diff options
context:
space:
mode:
Diffstat (limited to 'test/rlhc.d/case/any1_rust.rs-U-F1--var-backend.exp')
-rw-r--r--test/rlhc.d/case/any1_rust.rs-U-F1--var-backend.exp93
1 files changed, 93 insertions, 0 deletions
diff --git a/test/rlhc.d/case/any1_rust.rs-U-F1--var-backend.exp b/test/rlhc.d/case/any1_rust.rs-U-F1--var-backend.exp
new file mode 100644
index 00000000..351710db
--- /dev/null
+++ b/test/rlhc.d/case/any1_rust.rs-U-F1--var-backend.exp
@@ -0,0 +1,93 @@
+static _any1_trans_keys: [u8 ; 8] = [ 1, 0, 1, 0, 1, 0, 0 , 0 ];
+static _any1_char_class: [i8 ; 2] = [ 0 , 0 ];
+static _any1_index_offsets: [i8 ; 5] = [ 0, 0, 0, 0 , 0 ];
+static _any1_indicies: [i8 ; 2] = [ 0 , 0 ];
+static _any1_index_defaults: [i8 ; 5] = [ 0, 0, 1, 0 , 0 ];
+static _any1_trans_cond_spaces: [i8 ; 4] = [ -1, -1, 0 , 0 ];
+static _any1_cond_targs: [i8 ; 4] = [ 2, 0, 0 , 0 ];
+static _any1_cond_actions: [i8 ; 4] = [ 0, 0, 0 , 0 ];
+static _any1_nfa_targs: [i8 ; 3] = [ 0, 0 , 0 ];
+static _any1_nfa_offsets: [i8 ; 5] = [ 0, 0, 0, 0 , 0 ];
+static _any1_nfa_push_actions: [i8 ; 3] = [ 0, 0 , 0 ];
+static _any1_nfa_pop_trans: [i8 ; 3] = [ 0, 0 , 0 ];
+static any1_start : i32 = 1;
+static any1_first_final : i32 = 2;
+static any1_error : i32 = 0;
+static any1_en_main : i32 = 1;
+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 = ( any1_start ) as i32;
+ }
+
+ {
+ let mut _trans = 0;
+ let mut _have = 0;
+ let mut _cont = 1;
+ while ( _cont == 1 )
+ {
+
+ if ( cs == 0 ) {
+ _cont = 0;
+
+ }
+ _have = 0;
+ if ( p == pe ) {
+ {
+ if ( _have == 0 ) {
+ _cont = 0;
+
+ }
+ }
+
+ }
+ if ( _cont == 1 ) {
+ {
+ if ( _have == 0 ) {
+ {
+ _trans = ( _any1_index_defaults[(cs) as usize] ) as u32;
+ }
+
+ }
+ if ( _cont == 1 ) {
+ {
+ cs = ( _any1_cond_targs[(_trans) as usize] ) as i32;
+ if ( cs == 0 ) {
+ _cont = 0;
+
+ }
+ if ( _cont == 1 ) {
+ p += 1;
+
+ }
+ }
+ }
+ }
+
+ }
+ }
+
+ }
+ if ( cs >= any1_first_final ) {
+ println!( "ACCEPT" );
+ }
+ else {
+ println!( "FAIL" );
+ }
+}
+
+fn main()
+{
+ unsafe { m( "".to_string() ); }
+ unsafe { m( "x".to_string() ); }
+ unsafe { m( "xx".to_string() ); }
+}
+