summaryrefslogtreecommitdiff
path: root/test/ragel.d/trans-csharp.lm
diff options
context:
space:
mode:
Diffstat (limited to 'test/ragel.d/trans-csharp.lm')
-rw-r--r--test/ragel.d/trans-csharp.lm354
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();
- " }
- "}
- "}
- "}
-}