summaryrefslogtreecommitdiff
path: root/test/rlhc.d/case/erract1.cpp-C-T0--var-backend.in
diff options
context:
space:
mode:
Diffstat (limited to 'test/rlhc.d/case/erract1.cpp-C-T0--var-backend.in')
-rw-r--r--test/rlhc.d/case/erract1.cpp-C-T0--var-backend.in313
1 files changed, 313 insertions, 0 deletions
diff --git a/test/rlhc.d/case/erract1.cpp-C-T0--var-backend.in b/test/rlhc.d/case/erract1.cpp-C-T0--var-backend.in
new file mode 100644
index 00000000..c0d358d9
--- /dev/null
+++ b/test/rlhc.d/case/erract1.cpp-C-T0--var-backend.in
@@ -0,0 +1,313 @@
+host( "working/erract1.rl", 1 ) @{/*
+ * @@LANG: c++
+ */
+
+ /*
+ * Test error actions.
+ */
+
+ #include <iostream>
+ #include <stdio.h>
+ #include <string.h>
+
+ using namespace std;
+
+ struct ErrAct
+ {
+ int cs;
+
+ // Initialize the machine. Invokes any init statement blocks. Returns 0
+ // if the machine begins in a non-accepting state and 1 if the machine
+ // begins in an accepting state.
+ int init( );
+
+ // Execute the machine on a block of data. Returns -1 if after processing
+ // the data, the machine is in the error state and can never accept, 0 if
+ // the machine is in a non-accepting state and 1 if the machine is in an
+ // accepting state.
+ int execute( const char *data, int len );
+
+ // Indicate that there is no more data. Returns -1 if the machine finishes
+ // in the error state and does not accept, 0 if the machine finishes
+ // in any other non-accepting state and 1 if the machine finishes in an
+ // accepting state.
+ int finish( );
+ };
+
+
+
+}@
+array s8 _ErrAct_actions( 0, 2 ) = { 0, 1, 0, 1, 1, 1, 2, 0 };
+
+array s8 _ErrAct_key_offsets( 0, 15 ) = { 0, 0, 4, 6, 10, 12, 15, 0 };
+
+array char _ErrAct_trans_keys( 0, 57 ) = { 43, 45, 48, 57, 48, 57, 10, 46, 48, 57, 48, 57, 10, 48, 57, 0 };
+
+array s8 _ErrAct_single_lengths( 0, 2 ) = { 0, 2, 0, 2, 0, 1, 0, 0 };
+
+array s8 _ErrAct_range_lengths( 0, 1 ) = { 0, 1, 1, 1, 1, 1, 0, 0 };
+
+array s8 _ErrAct_index_offsets( 0, 15 ) = { 0, 0, 4, 6, 10, 12, 15, 0 };
+
+array s8 _ErrAct_trans_cond_spaces( -1, 0 ) = { -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 0 };
+
+array s8 _ErrAct_trans_offsets( 0, 15 ) = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 0 };
+
+array s8 _ErrAct_trans_lengths( 0, 1 ) = { 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0 };
+
+array s8 _ErrAct_cond_keys( 0, 0 ) = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
+
+array s8 _ErrAct_cond_targs( 0, 6 ) = { 2, 2, 3, 0, 3, 0, 6, 4, 3, 0, 5, 0, 6, 5, 0, 0, 0 };
+
+array s8 _ErrAct_cond_actions( 0, 5 ) = { 0, 0, 0, 1, 0, 3, 0, 0, 0, 5, 0, 3, 0, 0, 3, 0, 0 };
+
+array s8 _ErrAct_eof_actions( 0, 5 ) = { 0, 1, 3, 5, 3, 3, 0, 0 };
+
+array s8 _ErrAct_nfa_targs( 0, 0 ) = { 0, 0 };
+
+array s8 _ErrAct_nfa_offsets( 0, 0 ) = { 0, 0, 0, 0, 0, 0, 0, 0 };
+
+array s8 _ErrAct_nfa_push_actions( 0, 0 ) = { 0, 0 };
+
+array s8 _ErrAct_nfa_pop_trans( 0, 0 ) = { 0, 0 };
+
+value int ErrAct_start = 1;
+value int ErrAct_first_final = 6;
+value int ErrAct_error = 0;
+
+value int ErrAct_en_main = 1;
+
+host( "working/erract1.rl", 57 ) @{
+
+ int ErrAct::init( )
+ {
+ }@
+ {
+ cs = cast(int)ErrAct_start;
+ }
+ host( "working/erract1.rl", 61 ) @{
+ return 0;
+ }
+
+ int ErrAct::execute( const char *_data, int _len )
+ {
+ const char *p = _data;
+ const char *pe = _data+_len;
+ const char *eof = pe;
+ }@
+ {
+ int _klen;
+ uint _trans = 0;
+ uint _cond = 0;
+ uint _have = 0;
+ uint _cont = 1;
+ index s8 _acts;
+ uint _nacts;
+ index char _keys;
+ index s8 _ckeys;
+ int _cpc;
+ while ( _cont == 1 ) {
+
+ if ( cs == 0 )
+ _cont = 0;
+ _have = 0;
+ if ( p == pe ) {
+ if ( p == eof )
+ {
+ if ( _have == 0 ) {
+ index s8 __acts;
+ uint __nacts;
+ __acts = offset( _ErrAct_actions, _ErrAct_eof_actions[cs] );
+ __nacts = cast(uint)deref( _ErrAct_actions, __acts );
+ __acts += 1;
+ while ( __nacts > 0 ) {
+ switch ( deref( _ErrAct_actions, __acts ) ) {
+ case 0 {
+ host( "working/erract1.rl", 40 ) ${ printf(" DIGIT PLUS MINUS\n"); }$
+ }
+ case 1 {
+ host( "working/erract1.rl", 41 ) ${ printf(" DIGIT\n"); }$
+ }
+ case 2 {
+ host( "working/erract1.rl", 42 ) ${ printf(" DIGIT DECIMAL\n"); }$
+ }
+ }
+ __nacts -= 1;
+ __acts += 1;
+ }
+ }
+ }
+
+ if ( _have == 0 )
+ _cont = 0;
+ }
+ if ( _cont == 1 ) {
+ if ( _have == 0 ) {
+ _keys = offset( _ErrAct_trans_keys, _ErrAct_key_offsets[cs] );
+ _trans = cast(uint)_ErrAct_index_offsets[cs];
+ _have = 0;
+
+ _klen = cast(int)_ErrAct_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( _ErrAct_trans_keys, _mid ) )
+ _upper = _mid - 1;
+ else if ( ( deref( data, p )) > deref( _ErrAct_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)_ErrAct_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( _ErrAct_trans_keys, _mid ) )
+ _upper = _mid - 2;
+ else if ( ( deref( data, p )) > deref( _ErrAct_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( _ErrAct_cond_keys, _ErrAct_trans_offsets[_trans] );
+ _klen = cast(int)_ErrAct_trans_lengths[_trans];
+ _cond = cast(uint)_ErrAct_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( _ErrAct_cond_keys, _mid ) )
+ _upper = _mid - 1;
+ else if ( _cpc > cast(int)deref( _ErrAct_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)_ErrAct_cond_targs[_cond];
+
+ if ( _ErrAct_cond_actions[_cond] != 0 ) {
+ _acts = offset( _ErrAct_actions, _ErrAct_cond_actions[_cond] );
+ _nacts = cast(uint)deref( _ErrAct_actions, _acts );
+ _acts += 1;
+ while ( _nacts > 0 )
+ {
+ switch ( deref( _ErrAct_actions, _acts ) )
+ {
+ case 0 {
+ host( "working/erract1.rl", 40 ) ${ printf(" DIGIT PLUS MINUS\n"); }$
+ }
+ case 1 {
+ host( "working/erract1.rl", 41 ) ${ printf(" DIGIT\n"); }$
+ }
+ case 2 {
+ host( "working/erract1.rl", 42 ) ${ printf(" DIGIT DECIMAL\n"); }$
+ }
+ }
+ _nacts -= 1;
+ _acts += 1;
+ }
+ }
+
+ if ( cs == 0 )
+ _cont = 0;
+ if ( _cont == 1 )
+ p += 1;
+
+ }
+ }
+ }
+ }
+ host( "working/erract1.rl", 70 ) @{
+
+ if ( cs == ErrAct_error )
+ return -1;
+ if ( cs >= ErrAct_first_final )
+ return 1;
+ return 0;
+ }
+
+ int ErrAct::finish( )
+ {
+ if ( cs == ErrAct_error )
+ return -1;
+ if ( cs >= ErrAct_first_final )
+ return 1;
+ return 0;
+ }
+
+ #define BUFSIZE 1024
+
+ void test( const char *buf )
+ {
+ ErrAct errAct;
+ errAct.init();
+ errAct.execute( buf, strlen(buf) );
+ if ( errAct.finish() > 0 )
+ cout << "ACCEPT" << endl;
+ else
+ cout << "FAIL" << endl;
+ }
+
+ int main()
+ {
+ test( "1\n" );
+ test( "+1\n" );
+ test( "-1\n" );
+ test( "1.1\n" );
+ test( "+1.1\n" );
+ test( "-1.1\n" );
+ test( "a\n" );
+ test( "-\n" );
+ test( "+\n" );
+ test( "-a\n" );
+ test( "+b\n" );
+ test( "1.\n" );
+ test( "1d\n" );
+ test( "1.d\n" );
+ test( "1.1d\n" );
+ return 0;
+ }
+
+}@ \ No newline at end of file
View Lorry Controller Status