summaryrefslogtreecommitdiff
path: root/test/cases/rlhc.d/case/caseindep_cs.cs-A-T0--var-backend.in
diff options
context:
space:
mode:
authorAdrian Thurston <thurston@colm.net>2019-09-09 09:33:46 -0600
committerAdrian Thurston <thurston@colm.net>2019-09-09 09:33:46 -0600
commitc171cdda894fa59515d1bdc1e00cace185366e7f (patch)
tree3ca69dca58aee3bf7bd206cb056a4e1f9b6e1058 /test/cases/rlhc.d/case/caseindep_cs.cs-A-T0--var-backend.in
parent05508d109059e400e093456ce50a1edfc6299f76 (diff)
downloadcolm-c171cdda894fa59515d1bdc1e00cace185366e7f.tar.gz
lifted all test files to /test directory
Diffstat (limited to 'test/cases/rlhc.d/case/caseindep_cs.cs-A-T0--var-backend.in')
-rw-r--r--test/cases/rlhc.d/case/caseindep_cs.cs-A-T0--var-backend.in234
1 files changed, 234 insertions, 0 deletions
diff --git a/test/cases/rlhc.d/case/caseindep_cs.cs-A-T0--var-backend.in b/test/cases/rlhc.d/case/caseindep_cs.cs-A-T0--var-backend.in
new file mode 100644
index 00000000..c89e01d7
--- /dev/null
+++ b/test/cases/rlhc.d/case/caseindep_cs.cs-A-T0--var-backend.in
@@ -0,0 +1,234 @@
+host( "working/caseindep_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
+ {
+
+
+
+
+
+ }@
+ array s8 _indep_key_offsets( 0, 20 ) = { 0, 0, 4, 5, 6, 7, 8, 9, 10, 12, 14, 16, 18, 20, 0 };
+
+ array char _indep_trans_keys( 0, 111 ) = { c(49), c(51), c(52), c(54), c(104), c(101), c(108), c(108), c(111), c(10), c(72), c(104), c(69), c(101), c(76), c(108), c(76), c(108), c(79), c(111), c(0) };
+
+ array s8 _indep_single_lengths( 0, 2 ) = { 0, 0, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 0, 0 };
+
+ array s8 _indep_range_lengths( 0, 2 ) = { 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
+
+ array s8 _indep_index_offsets( 0, 30 ) = { 0, 0, 3, 5, 7, 9, 11, 13, 15, 18, 21, 24, 27, 30, 0 };
+
+ array s8 _indep_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, 0 };
+
+ array s8 _indep_trans_offsets( 0, 30 ) = { 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, 0 };
+
+ array s8 _indep_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, 0 };
+
+ array s8 _indep_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 };
+
+ array s8 _indep_cond_targs( 0, 13 ) = { 2, 8, 0, 3, 0, 4, 0, 5, 0, 6, 0, 7, 0, 13, 0, 9, 9, 0, 10, 10, 0, 11, 11, 0, 12, 12, 0, 7, 7, 0, 0, 0 };
+
+ array s8 _indep_cond_actions( 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 _indep_nfa_targs( 0, 0 ) = { 0, 0 };
+
+ array s8 _indep_nfa_offsets( 0, 0 ) = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
+
+ array s8 _indep_nfa_push_actions( 0, 0 ) = { 0, 0 };
+
+ array s8 _indep_nfa_pop_trans( 0, 0 ) = { 0, 0 };
+
+ value int indep_start = 1;
+ value int indep_first_final = 13;
+ value int indep_error = 0;
+
+ value int indep_en_main = 1;
+
+ host( "working/caseindep_cs.rl", 29 ) @{
+ int cs;
+
+ void init()
+ {
+ }@
+ {
+ cs = cast(int)indep_start;
+ }
+ host( "working/caseindep_cs.rl", 34 ) @{
+ }
+
+ 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;
+ }@
+ {
+ int _klen;
+ uint _trans = 0;
+ uint _cond = 0;
+ uint _have = 0;
+ uint _cont = 1;
+ index char _keys;
+ index s8 _ckeys;
+ int _cpc;
+ while ( _cont == 1 ) {
+
+ if ( cs == 0 )
+ _cont = 0;
+ _have = 0;
+ if ( p == pe ) {
+ if ( _have == 0 )
+ _cont = 0;
+ }
+ if ( _cont == 1 ) {
+ if ( _have == 0 ) {
+ _keys = offset( _indep_trans_keys, _indep_key_offsets[cs] );
+ _trans = cast(uint)_indep_index_offsets[cs];
+ _have = 0;
+
+ _klen = cast(int)_indep_single_lengths[cs];
+ if ( _klen > 0 ) {
+ index char _lower;
+ index char _mid;
+ index char _upper;
+ _lower = _keys;
+ _upper = _keys + _klen - 1;
+ while ( _upper >= _lower && _have == 0 ) {
+ _mid = _lower + ((_upper-_lower) >> 1);
+ if ( ( deref( data, p )) < deref( _indep_trans_keys, _mid ) )
+ _upper = _mid - 1;
+ else if ( ( deref( data, p )) > deref( _indep_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)_indep_range_lengths[cs];
+ if ( _klen > 0 ) {
+ index char _lower;
+ index char _mid;
+ index char _upper;
+ _lower = _keys;
+ _upper = _keys + (_klen<<1) - 2;
+ while ( _have == 0 && _lower <= _upper ) {
+ _mid = _lower + (((_upper-_lower) >> 1) & ~1);
+ if ( ( deref( data, p )) < deref( _indep_trans_keys, _mid ) )
+ _upper = _mid - 2;
+ else if ( ( deref( data, p )) > deref( _indep_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( _indep_cond_keys, _indep_trans_offsets[_trans] );
+ _klen = cast(int)_indep_trans_lengths[_trans];
+ _cond = cast(uint)_indep_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( _indep_cond_keys, _mid ) )
+ _upper = _mid - 1;
+ else if ( _cpc > cast(int)deref( _indep_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)_indep_cond_targs[_cond];
+
+ if ( cs == 0 )
+ _cont = 0;
+ if ( _cont == 1 )
+ p += 1;
+
+ }
+ }
+ }
+ }
+ host( "working/caseindep_cs.rl", 45 ) @{
+ }
+
+ void finish( )
+ {
+ if ( cs >= indep_first_final )
+ Console.WriteLine( "ACCEPT" );
+ else
+ Console.WriteLine( "FAIL" );
+ }
+
+ static readonly string[] inp = {
+ "1hello\n",
+ "1HELLO\n",
+ "1HeLLo\n",
+ "2hello\n",
+ "2HELLO\n",
+ "2HeLLo\n",
+ "3hello\n",
+ "3HELLO\n",
+ "3HeLLo\n",
+ "4hello\n",
+ "4HELLO\n",
+ "4HeLLo\n",
+ "5hello\n",
+ "5HELLO\n",
+ "5HeLLo\n",
+ "6hello\n",
+ "6HELLO\n",
+ "6HeLLo\n",
+ };
+
+
+ static readonly int inplen = 18;
+
+ 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