diff options
author | Adrian Thurston <thurston@colm.net> | 2020-03-08 23:29:57 +0200 |
---|---|---|
committer | Adrian Thurston <thurston@colm.net> | 2020-03-08 23:53:25 +0200 |
commit | 78e7949ca590b273c2c152a0abe0d51e590a52fd (patch) | |
tree | c253c852aec77af8a04c24d921d8657ff29c4101 /test/ragel.d/trans-csharp.lm | |
parent | 5718c319424a21b64e1b50dbb6aae644715b9e85 (diff) | |
download | colm-78e7949ca590b273c2c152a0abe0d51e590a52fd.tar.gz |
remove the ragel tests, export runtests for use by ragel
Diffstat (limited to 'test/ragel.d/trans-csharp.lm')
-rw-r--r-- | test/ragel.d/trans-csharp.lm | 354 |
1 files changed, 0 insertions, 354 deletions
diff --git a/test/ragel.d/trans-csharp.lm b/test/ragel.d/trans-csharp.lm deleted file mode 100644 index e546dafe..00000000 --- a/test/ragel.d/trans-csharp.lm +++ /dev/null @@ -1,354 +0,0 @@ -int rw_cs_factor( Factor: indep::factor ) -{ - if match Factor [`first_token_char] - { - send Out "data\[ts\]" - } - else if match Factor [tk_ident `[ expr `]] - { - send Out - "[$Factor.tk_ident]\[ [rw_cs_expr(Factor.expr)] \] - } - else if match Factor [tk_ident `( expr `)] - { - send Out - "[$Factor.tk_ident]( [rw_cs_expr(Factor.expr)] ) - } - elsif match Factor [`< type `> `( expr `)] - { - send Out - "( [rw_cs_type(Factor.type)] ) ( [rw_cs_expr(Factor.expr)] ) - } - elsif match Factor [`( expr `)] - { - send Out - "( [rw_cs_expr(Factor.expr)] ) - } - elsif match Factor ['true'] - { - send Out 'true' - } - elsif match Factor ['false'] - { - send Out 'false' - } - elsif match Factor [`buffer] - { - send Out - "new String( buffer, 0, blen ) - } - else - { - send Out [$Factor] - } -} - -void rw_cs_type( Type: indep::type ) -{ - if match Type [`int] - { - send Out "int" - } - elsif match Type [`bool] - { - send Out "bool" - } - elsif match Type [`char] - { - send Out "char" - } - elsif match Type [`ptr] - { - send Out "int" - } - elsif match Type [`byte] - { - send Out "unsigned char" - } -} - -void rw_cs_abs_expr( Expr: indep::abs_expr ) -{ - if ( Expr.Op ) { - send Out - "[rw_cs_abs_expr(Expr.E1)] [$Expr.Op] [rw_cs_abs_expr( Expr.E2 )]" - } - else { - rw_cs_factor( Expr.factor ) - } -} - -void rw_cs_expr( Expr: indep::expr ) -{ - AbsExpr: indep::abs_expr = indep::abs_comparative( Expr.comparative ) - rw_cs_abs_expr( AbsExpr ) -} - -void rw_cs_opt_array( OptArr: indep::opt_arr ) -{ - if OptArr.expr - send Out "\[[rw_cs_expr( OptArr.expr )]\]" -} - -int rw_cs_var_decl( VarDecl: indep::var_decl ) -{ - if ( VarDecl.opt_arr.expr ) { - send Out - "[rw_cs_type( VarDecl.type )] \[\] [$VarDecl.tk_ident]" - " = new [rw_cs_type( VarDecl.type )] [rw_cs_opt_array(VarDecl.opt_arr) ]; - } - else { - send Out - "[rw_cs_type( VarDecl.type )] [$VarDecl.tk_ident]; - } -} - -void rw_cs_opt_sub( OptSub: indep::opt_sub ) -{ - if ( OptSub.expr ) { - send Out "\[[rw_cs_expr(OptSub.expr)]\] - } -} - -int rw_cs_expr_stmt( ExprStmt: indep::expr_stmt ) -{ - if match ExprStmt [tk_ident opt_sub `= expr `;] - { - send Out - "[$ExprStmt.tk_ident rw_cs_opt_sub(ExprStmt.opt_sub)] = [rw_cs_expr(ExprStmt.expr)]; - } - else if match ExprStmt [expr `;] - { - send Out - "[rw_cs_expr(ExprStmt.expr)]; - } -} - -int rw_cs_if_stmt( IfStmt: indep::if_stmt ) -{ - send Out - "if ( [rw_cs_expr( IfStmt.expr )] ) - "{ - " [rw_cs_stmt_list( IfStmt._repeat_stmt )] - "} - - if ( IfStmt.opt_else._repeat_stmt ) { - send Out - "else { - " [rw_cs_stmt_list( IfStmt.opt_else._repeat_stmt )] - "} - } -} - -int rw_cs_print_stmt( Stmt: indep::print_stmt ) -{ - if match Stmt [`print_int expr `;] { - send Out - "Console.Write( [rw_cs_expr(Stmt.expr)] );" - } - else if match Stmt [`print_buf `;] - { - send Out - "Console.Write( new String( buffer, 0, blen ) ); - } - else if match Stmt [`print_str expr `;] - { - send Out - "Console.Write( [rw_cs_expr( Stmt.expr )] );" - } - else if match Stmt [`print_token `;] - { - send Out - "Console.Write( new String( data , ts , te - ts ) ); - } - else if match Stmt [`print_off `;] - { - send Out - "Console.Write( p );" - } -} - -void rw_cs_buf_stmt( BufStmt: indep::buf_stmt ) -{ - switch BufStmt - case [`buf_clear `( `) `;] { - send Out - " blen = 0; - } - case [`buf_append `( `) `;] { - send Out - " buffer\[blen++\] = fc; - } -} - - -int rw_cs_ragel_stmt( Stmt: indep::ragel_stmt ) -{ - send Out - [$Stmt] -} - -int rw_cs_stmt( Stmt: indep::stmt ) -{ - if match Stmt [var_decl] - rw_cs_var_decl( Stmt.var_decl ) - else if match Stmt [expr_stmt] - rw_cs_expr_stmt( Stmt.expr_stmt ) - else if match Stmt [if_stmt] - rw_cs_if_stmt( Stmt.if_stmt ) - else if match Stmt [print_stmt] - rw_cs_print_stmt( Stmt.print_stmt ) - else if match Stmt [buf_stmt] - rw_cs_buf_stmt( Stmt.buf_stmt ) - else if match Stmt [ragel_stmt] - rw_cs_ragel_stmt( Stmt.ragel_stmt ) -} - -void rw_cs_stmt_list( StmtList: indep::stmt* ) -{ - for Stmt: indep::stmt in repeat( StmtList ) - rw_cs_stmt( Stmt ) -} - -int rw_cs_action_block( ActionBlock: indep::action_block ) -{ - Out = new parser<out_code::lines>() - if match ActionBlock [`{ stmt* `}] { - send Out - "{[rw_cs_stmt_list( ActionBlock._repeat_stmt )]} - } - else if match ActionBlock [`{ expr `}] { - send Out - "{[rw_cs_expr( ActionBlock.expr )]} - } - send Out [] eos -} - -void rw_csharp( Output: stream ) -{ - send Output - "/* - " * @LANG: csharp - - if ProhibitGenflags { - send Output - " * @PROHIBIT_GENFLAGS:[ProhibitGenflags] - } - - send Output - " * @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 - "{ - - Init: indep::stmt* = RagelTree.Init - for Stmt: indep::stmt in Init { - if match Stmt [Decl: var_decl] { - Out = new parser<out_code::lines>() - rw_cs_var_decl( Decl ) - send Out [] eos - send Output [Out->tree] - } - } - - Section: indep::section = RagelTree.section - for Action: ragel::action_block in Section { - # Reparse as lang-independent code. - parse IndepActionBlock: indep::action_block[$Action] - if ( !IndepActionBlock ) { - print( error, '\n', Action ) - exit(1) - } - - # Translate to specific language. - rw_cs_action_block( IndepActionBlock ) - - # Reparse back to ragel action block. - Action = parse ragel::action_block[$Out->tree] - if ( !Action ) { - print( error, '\n' ) - exit(1) - } - } - - send Output - ["\n" Section "\n"] - - send Output - "%% write data; - "int cs; - "int nfa_len, nfa_count; - "struct nfa_s { public int state; public int p; }; - "nfa_s \[\] nfa_bp = new nfa_s\[20\]; - " - "void init() - "{ - - for Stmt: indep::stmt in Init { - if match Stmt [ExprStmt: expr_stmt] { - Out = new parser<out_code::lines>() - rw_cs_expr_stmt( ExprStmt ) - send Out [] eos - send Output [Out->tree] - } - } - - send Output - " %% write init; - "} - " - "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; - " %% write exec; - "} - " - "void finish( ) - "{ - " if ( cs >= [$MachineName.mn_word]_first_final ) - " Console.WriteLine( \"ACCEPT\" ); - " else - " Console.WriteLine( \"FAIL\" ); - "} - " - - send Output - "static readonly string\[\] inp = { - - NR: int = 0 - for InputString: indep::input_string in RagelTree { - send Output - [^InputString ",\n"] - NR = NR + 1 - } - - send Output - "}; - " - - send Output - " - "static readonly int inplen = [NR]; - " - "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(); - " } - "} - "} - "} -} |