diff options
Diffstat (limited to 'examples/params.c')
| -rw-r--r-- | examples/params.c | 374 |
1 files changed, 374 insertions, 0 deletions
diff --git a/examples/params.c b/examples/params.c new file mode 100644 index 0000000..485e1c3 --- /dev/null +++ b/examples/params.c @@ -0,0 +1,374 @@ + +#line 1 "params.rl" +/* + * Parse command line arguments. + */ + +#include <stdio.h> +#include <string.h> + +#define BUFLEN 1024 + +struct params +{ + char buffer[BUFLEN+1]; + int buflen; + int cs; +}; + + +#line 61 "params.rl" + + + +#line 25 "params.c" +static const int params_start = 23; +static const int params_first_final = 23; +static const int params_error = 0; + +static const int params_en_main = 23; + + +#line 64 "params.rl" + +void params_init( struct params *fsm ) +{ + fsm->buflen = 0; + +#line 39 "params.c" + { + fsm->cs = params_start; + } + +#line 69 "params.rl" +} + +void params_execute( struct params *fsm, const char *data, int len ) +{ + const char *p = data; + const char *pe = data + len; + + +#line 53 "params.c" + { + if ( p == pe ) + goto _test_eof; + switch ( fsm->cs ) + { +tr11: +#line 38 "params.rl" + { printf("help\n"); } + goto st23; +tr17: +#line 39 "params.rl" + { printf("version\n"); } + goto st23; +tr21: +#line 30 "params.rl" + { + if ( fsm->buflen < BUFLEN ) + fsm->buffer[fsm->buflen++] = 0; + } +#line 42 "params.rl" + { printf("machine: \"%s\"\n", fsm->buffer); } + goto st23; +tr25: +#line 30 "params.rl" + { + if ( fsm->buflen < BUFLEN ) + fsm->buffer[fsm->buflen++] = 0; + } +#line 41 "params.rl" + { printf("spec: \"%s\"\n", fsm->buffer); } + goto st23; +tr29: +#line 30 "params.rl" + { + if ( fsm->buflen < BUFLEN ) + fsm->buffer[fsm->buflen++] = 0; + } +#line 40 "params.rl" + { printf("output: \"%s\"\n", fsm->buffer); } + goto st23; +st23: + if ( ++p == pe ) + goto _test_eof23; +case 23: +#line 98 "params.c" + if ( (*p) == 45 ) + goto st1; + goto st0; +st0: + fsm->cs = 0; + goto _out; +st1: + if ( ++p == pe ) + goto _test_eof1; +case 1: + switch( (*p) ) { + case 45: goto st2; + case 63: goto st6; + case 72: goto st6; + case 77: goto st14; + case 83: goto st17; + case 104: goto st6; + case 111: goto st20; + case 118: goto st13; + } + goto st0; +st2: + if ( ++p == pe ) + goto _test_eof2; +case 2: + switch( (*p) ) { + case 104: goto st3; + case 118: goto st7; + } + goto st0; +st3: + if ( ++p == pe ) + goto _test_eof3; +case 3: + if ( (*p) == 101 ) + goto st4; + goto st0; +st4: + if ( ++p == pe ) + goto _test_eof4; +case 4: + if ( (*p) == 108 ) + goto st5; + goto st0; +st5: + if ( ++p == pe ) + goto _test_eof5; +case 5: + if ( (*p) == 112 ) + goto st6; + goto st0; +st6: + if ( ++p == pe ) + goto _test_eof6; +case 6: + if ( (*p) == 0 ) + goto tr11; + goto st0; +st7: + if ( ++p == pe ) + goto _test_eof7; +case 7: + if ( (*p) == 101 ) + goto st8; + goto st0; +st8: + if ( ++p == pe ) + goto _test_eof8; +case 8: + if ( (*p) == 114 ) + goto st9; + goto st0; +st9: + if ( ++p == pe ) + goto _test_eof9; +case 9: + if ( (*p) == 115 ) + goto st10; + goto st0; +st10: + if ( ++p == pe ) + goto _test_eof10; +case 10: + if ( (*p) == 105 ) + goto st11; + goto st0; +st11: + if ( ++p == pe ) + goto _test_eof11; +case 11: + if ( (*p) == 111 ) + goto st12; + goto st0; +st12: + if ( ++p == pe ) + goto _test_eof12; +case 12: + if ( (*p) == 110 ) + goto st13; + goto st0; +st13: + if ( ++p == pe ) + goto _test_eof13; +case 13: + if ( (*p) == 0 ) + goto tr17; + goto st0; +st14: + if ( ++p == pe ) + goto _test_eof14; +case 14: + if ( (*p) == 0 ) + goto st16; + goto tr18; +tr18: +#line 36 "params.rl" + { fsm->buflen = 0; } +#line 24 "params.rl" + { + if ( fsm->buflen < BUFLEN ) + fsm->buffer[fsm->buflen++] = (*p); + } + goto st15; +tr20: +#line 24 "params.rl" + { + if ( fsm->buflen < BUFLEN ) + fsm->buffer[fsm->buflen++] = (*p); + } + goto st15; +st15: + if ( ++p == pe ) + goto _test_eof15; +case 15: +#line 233 "params.c" + if ( (*p) == 0 ) + goto tr21; + goto tr20; +st16: + if ( ++p == pe ) + goto _test_eof16; +case 16: + if ( (*p) == 0 ) + goto st0; + goto tr18; +st17: + if ( ++p == pe ) + goto _test_eof17; +case 17: + if ( (*p) == 0 ) + goto st19; + goto tr22; +tr22: +#line 36 "params.rl" + { fsm->buflen = 0; } +#line 24 "params.rl" + { + if ( fsm->buflen < BUFLEN ) + fsm->buffer[fsm->buflen++] = (*p); + } + goto st18; +tr24: +#line 24 "params.rl" + { + if ( fsm->buflen < BUFLEN ) + fsm->buffer[fsm->buflen++] = (*p); + } + goto st18; +st18: + if ( ++p == pe ) + goto _test_eof18; +case 18: +#line 271 "params.c" + if ( (*p) == 0 ) + goto tr25; + goto tr24; +st19: + if ( ++p == pe ) + goto _test_eof19; +case 19: + if ( (*p) == 0 ) + goto st0; + goto tr22; +st20: + if ( ++p == pe ) + goto _test_eof20; +case 20: + if ( (*p) == 0 ) + goto st22; + goto tr26; +tr26: +#line 36 "params.rl" + { fsm->buflen = 0; } +#line 24 "params.rl" + { + if ( fsm->buflen < BUFLEN ) + fsm->buffer[fsm->buflen++] = (*p); + } + goto st21; +tr28: +#line 24 "params.rl" + { + if ( fsm->buflen < BUFLEN ) + fsm->buffer[fsm->buflen++] = (*p); + } + goto st21; +st21: + if ( ++p == pe ) + goto _test_eof21; +case 21: +#line 309 "params.c" + if ( (*p) == 0 ) + goto tr29; + goto tr28; +st22: + if ( ++p == pe ) + goto _test_eof22; +case 22: + if ( (*p) == 0 ) + goto st0; + goto tr26; + } + _test_eof23: fsm->cs = 23; goto _test_eof; + _test_eof1: fsm->cs = 1; goto _test_eof; + _test_eof2: fsm->cs = 2; goto _test_eof; + _test_eof3: fsm->cs = 3; goto _test_eof; + _test_eof4: fsm->cs = 4; goto _test_eof; + _test_eof5: fsm->cs = 5; goto _test_eof; + _test_eof6: fsm->cs = 6; goto _test_eof; + _test_eof7: fsm->cs = 7; goto _test_eof; + _test_eof8: fsm->cs = 8; goto _test_eof; + _test_eof9: fsm->cs = 9; goto _test_eof; + _test_eof10: fsm->cs = 10; goto _test_eof; + _test_eof11: fsm->cs = 11; goto _test_eof; + _test_eof12: fsm->cs = 12; goto _test_eof; + _test_eof13: fsm->cs = 13; goto _test_eof; + _test_eof14: fsm->cs = 14; goto _test_eof; + _test_eof15: fsm->cs = 15; goto _test_eof; + _test_eof16: fsm->cs = 16; goto _test_eof; + _test_eof17: fsm->cs = 17; goto _test_eof; + _test_eof18: fsm->cs = 18; goto _test_eof; + _test_eof19: fsm->cs = 19; goto _test_eof; + _test_eof20: fsm->cs = 20; goto _test_eof; + _test_eof21: fsm->cs = 21; goto _test_eof; + _test_eof22: fsm->cs = 22; goto _test_eof; + + _test_eof: {} + _out: {} + } + +#line 77 "params.rl" +} + +int params_finish( struct params *fsm ) +{ + if ( fsm->cs == params_error ) + return -1; + if ( fsm->cs >= params_first_final ) + return 1; + return 0; +} + +#define BUFSIZE 2048 + +int main( int argc, char **argv ) +{ + int a; + struct params params; + + params_init( ¶ms ); + for ( a = 1; a < argc; a++ ) + params_execute( ¶ms, argv[a], strlen(argv[a])+1 ); + if ( params_finish( ¶ms ) != 1 ) + fprintf( stderr, "params: error processing arguments\n" ); + + return 0; +} |