summaryrefslogtreecommitdiff
path: root/test/rlhc.d/case/gotocallret2_cs.cs-A-G1--goto-backend.in
diff options
context:
space:
mode:
Diffstat (limited to 'test/rlhc.d/case/gotocallret2_cs.cs-A-G1--goto-backend.in')
-rw-r--r--test/rlhc.d/case/gotocallret2_cs.cs-A-G1--goto-backend.in404
1 files changed, 404 insertions, 0 deletions
diff --git a/test/rlhc.d/case/gotocallret2_cs.cs-A-G1--goto-backend.in b/test/rlhc.d/case/gotocallret2_cs.cs-A-G1--goto-backend.in
new file mode 100644
index 00000000..5084de92
--- /dev/null
+++ b/test/rlhc.d/case/gotocallret2_cs.cs-A-G1--goto-backend.in
@@ -0,0 +1,404 @@
+host( "working/gotocallret2_cs.rl", 1 ) @{/*
+ * @@LANG: csharp
+ * @@GENERATED: true
+ */
+
+ using System;
+ // Disables lots of warnings that appear in the test suite
+ #pragma warning disable 0168, 0169, 0219, 0162, 0414
+ namespace Test {
+ class Test
+ {
+ char comm;
+ int top;
+ int [] stack = new int [32];
+ int ts;
+ int te;
+ int act;
+ int val;
+
+
+
+
+ }@
+ array s8 _GotoCallRet_to_state_actions( 0, 3 ) = { 0, 0, 0, 0, 0, 3, 3, 0, 0, 0, 3, 0, 0, 3, 0, 0, 0 };
+
+ array s8 _GotoCallRet_from_state_actions( 0, 5 ) = { 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 5, 0, 0, 5, 0, 0, 0 };
+
+ array s8 _GotoCallRet_nfa_targs( 0, 0 ) = { 0, 0 };
+
+ array s8 _GotoCallRet_nfa_offsets( 0, 0 ) = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
+
+ array s8 _GotoCallRet_nfa_push_actions( 0, 0 ) = { 0, 0 };
+
+ array s8 _GotoCallRet_nfa_pop_trans( 0, 0 ) = { 0, 0 };
+
+ value int GotoCallRet_start = 6;
+ value int GotoCallRet_first_final = 6;
+ value int GotoCallRet_error = 0;
+
+ value int GotoCallRet_en_handle = 5;
+ value int GotoCallRet_en_one = 10;
+ value int GotoCallRet_en_two = 13;
+ value int GotoCallRet_en_main = 6;
+
+ host( "working/gotocallret2_cs.rl", 70 ) @{
+ int cs;
+
+ void init()
+ {
+ }@
+ {
+ cs = cast(int)GotoCallRet_start;
+ top = 0;
+ ts = nil;
+ te = nil;
+ }
+ host( "working/gotocallret2_cs.rl", 75 ) @{
+ }
+
+ void exec( char[] data, int len )
+ {
+ int p = 0;
+ int pe = len;
+ int eof = len;
+ string _s;
+ char [] buffer = new char [1024];
+ int blen = 0;
+ }@
+ {
+ if ( p == pe )
+ goto _test_eof;
+ if ( cs == 0 )
+ goto _out;
+ _resume:
+ switch ( _GotoCallRet_from_state_actions[cs] ) {
+ case 5{
+ host( "NONE", 1 ) ${${ts = p;}$}$
+ }
+ }
+
+ switch ( cs ) {
+ case 6:
+ switch( ( deref( data, p )) ) {
+ case c(10): {
+ goto ctr10;
+ }
+ case c(32): {
+ goto ctr12;
+ }
+ case c(91): {
+ goto ctr13;
+ }
+ case c(123): {
+ goto ctr15;
+ }
+ }
+ if ( c(97) <= ( deref( data, p )) && ( deref( data, p )) <= c(122) ) {
+ goto ctr14;
+ }
+ {
+ goto ctr11;
+ }
+ case 0:
+ goto _out;
+ case 7:
+ if ( ( deref( data, p )) == c(32) ) {
+ goto ctr18;
+ }
+ if ( c(97) <= ( deref( data, p )) && ( deref( data, p )) <= c(122) ) {
+ goto ctr19;
+ }
+ {
+ goto ctr20;
+ }
+ case 1:
+ if ( ( deref( data, p )) == c(102) ) {
+ goto ctr2;
+ }
+ {
+ goto ctr7;
+ }
+ case 2:
+ if ( ( deref( data, p )) == c(111) ) {
+ goto ctr4;
+ }
+ {
+ goto ctr7;
+ }
+ case 3:
+ if ( ( deref( data, p )) == c(105) ) {
+ goto ctr6;
+ }
+ {
+ goto ctr7;
+ }
+ case 4:
+ if ( ( deref( data, p )) == c(108) ) {
+ goto ctr8;
+ }
+ {
+ goto ctr7;
+ }
+ case 8:
+ if ( c(97) <= ( deref( data, p )) && ( deref( data, p )) <= c(122) ) {
+ goto ctr19;
+ }
+ {
+ goto ctr20;
+ }
+ case 5:
+ {
+ goto ctr9;
+ }
+ case 9:
+ {
+ goto ctr11;
+ }
+ case 10:
+ switch( ( deref( data, p )) ) {
+ case c(32): {
+ goto ctr21;
+ }
+ case c(91): {
+ goto ctr22;
+ }
+ case c(123): {
+ goto ctr24;
+ }
+ case c(125): {
+ goto ctr25;
+ }
+ }
+ if ( c(97) <= ( deref( data, p )) && ( deref( data, p )) <= c(122) ) {
+ goto ctr23;
+ }
+ {
+ goto ctr11;
+ }
+ case 11:
+ if ( c(97) <= ( deref( data, p )) && ( deref( data, p )) <= c(122) ) {
+ goto ctr23;
+ }
+ {
+ goto ctr27;
+ }
+ case 12:
+ if ( ( deref( data, p )) == c(32) ) {
+ goto ctr25;
+ }
+ {
+ goto ctr29;
+ }
+ case 13:
+ switch( ( deref( data, p )) ) {
+ case c(32): {
+ goto ctr30;
+ }
+ case c(91): {
+ goto ctr31;
+ }
+ case c(93): {
+ goto ctr32;
+ }
+ case c(123): {
+ goto ctr34;
+ }
+ }
+ if ( c(97) <= ( deref( data, p )) && ( deref( data, p )) <= c(122) ) {
+ goto ctr33;
+ }
+ {
+ goto ctr11;
+ }
+ case 14:
+ if ( ( deref( data, p )) == c(32) ) {
+ goto ctr32;
+ }
+ {
+ goto ctr36;
+ }
+ case 15:
+ if ( c(97) <= ( deref( data, p )) && ( deref( data, p )) <= c(122) ) {
+ goto ctr33;
+ }
+ {
+ goto ctr38;
+ }
+ }
+
+ ctr11: cs = 0; goto _again;
+ ctr18: cs = 1; goto _again;
+ ctr2: cs = 2; goto _again;
+ ctr4: cs = 3; goto _again;
+ ctr6: cs = 4; goto _again;
+ ctr7: cs = 6; goto f0;
+ ctr8: cs = 6; goto f1;
+ ctr10: cs = 6; goto f5;
+ ctr12: cs = 6; goto f6;
+ ctr13: cs = 6; goto f7;
+ ctr15: cs = 6; goto f9;
+ ctr20: cs = 6; goto f10;
+ ctr14: cs = 7; goto f8;
+ ctr19: cs = 8; goto _again;
+ ctr9: cs = 9; goto f3;
+ ctr21: cs = 10; goto f11;
+ ctr22: cs = 10; goto f12;
+ ctr24: cs = 10; goto f13;
+ ctr27: cs = 10; goto f14;
+ ctr29: cs = 10; goto f15;
+ ctr23: cs = 11; goto _again;
+ ctr25: cs = 12; goto _again;
+ ctr30: cs = 13; goto f16;
+ ctr31: cs = 13; goto f17;
+ ctr34: cs = 13; goto f18;
+ ctr36: cs = 13; goto f19;
+ ctr38: cs = 13; goto f20;
+ ctr32: cs = 14; goto _again;
+ ctr33: cs = 15; goto _again;
+
+ f3:
+ host( "working/gotocallret2_cs.rl", 25 ) ${Console.Write( "handle " );${p = p - 1; }$if ( val == 1 )
+ {
+ cs = (10);
+ }
+ if ( val == 2 )
+ {
+ cs = (13);
+ }
+ if ( val == 3 )
+ {
+ cs = 6;}
+ }$
+ goto _again;
+ f8:
+ host( "NONE", 1 ) ${${te = p+1;}$}$
+ goto _again;
+ f13:
+ host( "working/gotocallret2_cs.rl", 40 ) ${${te = p+1;host( "working/gotocallret2_cs.rl", 40 ) ${Console.Write( "{ " );${stack[top] = cs; top += 1;cs = host( "-", 1 ) ={10}=; goto _again;}$}$}$}$
+ goto _again;
+ f12:
+ host( "working/gotocallret2_cs.rl", 41 ) ${${te = p+1;host( "working/gotocallret2_cs.rl", 41 ) ${Console.Write( "[ " );${stack[top] = cs; top += 1;cs = host( "-", 1 ) ={13}=; goto _again;}$}$}$}$
+ goto _again;
+ f11:
+ host( "working/gotocallret2_cs.rl", 45 ) ${${te = p+1;host( "working/gotocallret2_cs.rl", 45 ) ${Console.Write( "space " );}$}$}$
+ goto _again;
+ f15:
+ host( "working/gotocallret2_cs.rl", 42 ) ${${te = p;p = p - 1;host( "working/gotocallret2_cs.rl", 42 ) ${Console.Write( "} " );${top-= 1;cs = stack[top];goto _again;}$}$}$}$
+ goto _again;
+ f14:
+ host( "working/gotocallret2_cs.rl", 43 ) ${${te = p;p = p - 1;host( "working/gotocallret2_cs.rl", 43 ) ${Console.Write( "word " );val = 1;
+ ${cs = host( "-", 1 ) ={5}=; goto _again;}$}$}$}$
+ goto _again;
+ f18:
+ host( "working/gotocallret2_cs.rl", 49 ) ${${te = p+1;host( "working/gotocallret2_cs.rl", 49 ) ${Console.Write( "{ " );${stack[top] = cs; top += 1;cs = host( "-", 1 ) ={10}=; goto _again;}$}$}$}$
+ goto _again;
+ f17:
+ host( "working/gotocallret2_cs.rl", 50 ) ${${te = p+1;host( "working/gotocallret2_cs.rl", 50 ) ${Console.Write( "[ " );${stack[top] = cs; top += 1;cs = host( "-", 1 ) ={13}=; goto _again;}$}$}$}$
+ goto _again;
+ f16:
+ host( "working/gotocallret2_cs.rl", 54 ) ${${te = p+1;host( "working/gotocallret2_cs.rl", 54 ) ${Console.Write( "space " );}$}$}$
+ goto _again;
+ f19:
+ host( "working/gotocallret2_cs.rl", 51 ) ${${te = p;p = p - 1;host( "working/gotocallret2_cs.rl", 51 ) ${Console.Write( "] " );${top-= 1;cs = stack[top];goto _again;}$}$}$}$
+ goto _again;
+ f20:
+ host( "working/gotocallret2_cs.rl", 52 ) ${${te = p;p = p - 1;host( "working/gotocallret2_cs.rl", 52 ) ${Console.Write( "word " );val = 2;
+ ${cs = host( "-", 1 ) ={5}=; goto _again;}$}$}$}$
+ goto _again;
+ f9:
+ host( "working/gotocallret2_cs.rl", 58 ) ${${te = p+1;host( "working/gotocallret2_cs.rl", 58 ) ${Console.Write( "{ " );${stack[top] = cs; top += 1;cs = 10; goto _again;}$}$}$}$
+ goto _again;
+ f7:
+ host( "working/gotocallret2_cs.rl", 59 ) ${${te = p+1;host( "working/gotocallret2_cs.rl", 59 ) ${Console.Write( "[ " );${stack[top] = cs; top += 1;cs = 13; goto _again;}$}$}$}$
+ goto _again;
+ f1:
+ host( "working/gotocallret2_cs.rl", 62 ) ${${te = p+1;host( "working/gotocallret2_cs.rl", 62 ) ${Console.Write( "this is the foil" );}$}$}$
+ goto _again;
+ f6:
+ host( "working/gotocallret2_cs.rl", 63 ) ${${te = p+1;host( "working/gotocallret2_cs.rl", 63 ) ${Console.Write( "space " );}$}$}$
+ goto _again;
+ f5:
+ host( "working/gotocallret2_cs.rl", 64 ) ${${te = p+1;}$}$
+ goto _again;
+ f10:
+ host( "working/gotocallret2_cs.rl", 60 ) ${${te = p;p = p - 1;host( "working/gotocallret2_cs.rl", 60 ) ${Console.Write( "word " );val = 3;
+ ${cs = 5; goto _again;}$}$}$}$
+ goto _again;
+ f0:
+ host( "working/gotocallret2_cs.rl", 60 ) ${${p = ((te))-1;
+ host( "working/gotocallret2_cs.rl", 60 ) ${Console.Write( "word " );val = 3;
+ ${cs = 5; goto _again;}$}$}$}$
+ goto _again;
+
+ _again:
+ switch ( _GotoCallRet_to_state_actions[cs] ) {
+ case 3{
+ host( "NONE", 1 ) ${${ts = nil;}$}$
+ }
+ }
+
+ if ( cs == 0 )
+ goto _out;
+ p+= 1;
+ if ( p != pe )
+ goto _resume;
+ _test_eof: {}
+ if ( p == eof )
+ {
+ switch ( cs ) {
+ case 7: goto ctr20;
+ case 1: goto ctr7;
+ case 2: goto ctr7;
+ case 3: goto ctr7;
+ case 4: goto ctr7;
+ case 8: goto ctr20;
+ case 11: goto ctr27;
+ case 12: goto ctr29;
+ case 14: goto ctr36;
+ case 15: goto ctr38;
+ }
+ }
+
+ _out: {}
+ }
+ host( "working/gotocallret2_cs.rl", 86 ) @{
+ }
+
+ void finish( )
+ {
+ if ( cs >= GotoCallRet_first_final )
+ Console.WriteLine( "ACCEPT" );
+ else
+ Console.WriteLine( "FAIL" );
+ }
+
+ static readonly string[] inp = {
+ "{a{b[c d]d}c}\n",
+ "[a{b[c d]d}c}\n",
+ "[a[b]c]d{ef{g{h}i}j}l\n",
+ "{{[]}}\n",
+ "a b c\n",
+ "{a b c}\n",
+ "[a b c]\n",
+ "{]\n",
+ "{{}\n",
+ "[[[[[[]]]]]]\n",
+ "[[[[[[]]}]]]\n",
+ };
+
+
+ static readonly int inplen = 11;
+
+ public static void Main (string[] args)
+ {
+ Test machine = new Test();
+ for ( int i = 0; i < inplen; i++ ) {
+ machine.init();
+ machine.exec( inp[i].ToCharArray(), inp[i].Length );
+ machine.finish();
+ }
+ }
+ }
+ }
+ }@ \ No newline at end of file
View Lorry Controller Status