summaryrefslogtreecommitdiff
path: root/test/rlhc.d/case/condrep1.cpp-C-F1--var-backend.exp
diff options
context:
space:
mode:
Diffstat (limited to 'test/rlhc.d/case/condrep1.cpp-C-F1--var-backend.exp')
-rw-r--r--test/rlhc.d/case/condrep1.cpp-C-F1--var-backend.exp193
1 files changed, 193 insertions, 0 deletions
diff --git a/test/rlhc.d/case/condrep1.cpp-C-F1--var-backend.exp b/test/rlhc.d/case/condrep1.cpp-C-F1--var-backend.exp
new file mode 100644
index 00000000..67d37d0d
--- /dev/null
+++ b/test/rlhc.d/case/condrep1.cpp-C-F1--var-backend.exp
@@ -0,0 +1,193 @@
+#include <iostream>
+#include <string.h>
+using std::cout;
+using std::endl;
+
+
+
+static const char _foo_trans_keys [] = { 1, 0, 0, 2, 0, 2, 1, 0, 0 , };
+static const char _foo_char_class [] = { 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, 2, 0 , };
+static const char _foo_index_offsets [] = { 0, 0, 3, 6, 0 , };
+static const char _foo_indicies [] = { 0, 1, 2, 0, 1, 2, 0 , };
+static const char _foo_index_defaults [] = { 0, 1, 1, 1, 0 , };
+static const char _foo_trans_cond_spaces [] = { 0, -1, 1, 0 , };
+static const char _foo_trans_offsets [] = { 0, 2, 3, 0 , };
+static const char _foo_cond_targs [] = { 0, 3, 0, 0, 2, 0 , };
+static const char _foo_cond_actions [] = { 0, 0, 0, 0, 2, 0 , };
+static const char _foo_from_state_actions [] = { 0, 1, 0, 0, 0 , };
+static const char _foo_nfa_targs [] = { 0, 0 , };
+static const char _foo_nfa_offsets [] = { 0, 0, 0, 0, 0 , };
+static const char _foo_nfa_push_actions [] = { 0, 0 , };
+static const char _foo_nfa_pop_trans [] = { 0, 0 , };
+static const int foo_start = 1;
+static const int foo_first_final = 3;
+static const int foo_en_main = 1;
+void test( int min, int max, const char *str )
+{
+ int cs;
+ const char *p = str;
+ const char *pe = str + strlen( str ) + 1;
+ int c = 0, seen = 0;
+
+ cout << "run " << str << " " << min << " " << max << ":";
+
+
+ {
+ cs = ( int ) foo_start;
+ }
+
+ {
+ int _cpc;
+ unsigned int _trans = 0;
+ unsigned int _have = 0;
+ unsigned int _cont = 1;
+ unsigned int _cond = 0;
+ const char *_keys;
+ const char *_inds;
+ while ( _cont == 1 )
+ {
+
+ if ( cs == 0 )
+ _cont = 0;
+
+ _have = 0;
+ if ( p == pe )
+ {
+ if ( _have == 0 )
+ _cont = 0;
+
+ }
+
+ if ( _cont == 1 )
+ {
+ if ( _have == 0 )
+ {
+ switch ( _foo_from_state_actions[cs] ) {
+ case 1 :
+ {
+ c = 0;
+ }
+
+ break;
+
+ }
+ _keys = _foo_trans_keys + (cs<<1);
+ _inds = _foo_indicies + _foo_index_offsets[cs];
+ if ( ((*( p ))
+ )<= 46 && ((*( p ))
+ )>= 0 )
+ {
+ int _ic = ( int ) _foo_char_class[( int ) ((*( p ))
+ )- 0];
+ if ( _ic <= ( int ) (*( _keys+1 ))
+ && _ic >= ( int ) (*( _keys ))
+ )
+ _trans = ( unsigned int ) (*( _inds + ( int ) (_ic - ( int ) (*( _keys ))
+ ) ))
+ ;
+
+ else
+ _trans = ( unsigned int ) _foo_index_defaults[cs];
+
+ }
+
+ else
+ {
+ _trans = ( unsigned int ) _foo_index_defaults[cs];
+ }
+
+
+ _cond = ( unsigned int ) _foo_trans_offsets[_trans];
+ _cpc = 0;
+ switch ( _foo_trans_cond_spaces[_trans] ) {
+ case 0 :
+ if ( (({ c >= min; }) ) )
+ _cpc += 1;
+
+
+ break;
+ case 1 :
+ if ( (({ c < max; }) ) )
+ _cpc += 1;
+
+
+ break;
+
+ }
+ _cond += ( unsigned int ) _cpc;
+ }
+
+ if ( _cont == 1 )
+ {
+ cs = ( int ) _foo_cond_targs[_cond];
+ switch ( _foo_cond_actions[_cond] ) {
+ case 2 :
+ {
+ c += 1;
+ }
+ {
+ seen += 1;
+ }
+
+ break;
+
+ }
+ if ( cs == 0 )
+ _cont = 0;
+
+ if ( _cont == 1 )
+ p += 1;
+
+ }
+ }
+
+ }
+
+ }
+ cout << " " << seen;
+
+ if ( cs >= foo_first_final )
+ cout << " success" << endl;
+ else
+ cout << " failure" << endl;
+}
+
+int main()
+{
+ test( 0, 0, "" );
+ test( 0, 1, "" );
+ test( 1, 1, "" );
+ test( 1, 2, "" );
+ test( 2, 2, "" );
+ test( 2, 3, "" );
+
+ test( 0, 0, "." );
+ test( 0, 1, "." );
+ test( 1, 1, "." );
+ test( 1, 2, "." );
+ test( 2, 2, "." );
+ test( 2, 3, "." );
+
+ test( 0, 0, ".." );
+ test( 0, 1, ".." );
+ test( 1, 1, ".." );
+ test( 1, 2, ".." );
+ test( 2, 2, ".." );
+ test( 2, 3, ".." );
+
+ test( 0, 0, "..." );
+ test( 0, 1, "..." );
+ test( 1, 1, "..." );
+ test( 1, 2, "..." );
+ test( 2, 2, "..." );
+ test( 2, 3, "..." );
+
+ test( 0, 0, "...." );
+ test( 0, 1, "...." );
+ test( 1, 1, "...." );
+ test( 1, 2, "...." );
+ test( 2, 2, "...." );
+ test( 2, 3, "...." );
+ return 0;
+}
+