From f3c26ea55e2f2c1d222312bf75035359c439ed21 Mon Sep 17 00:00:00 2001 From: fche Date: Sun, 5 Jun 2005 16:35:28 +0000 Subject: 2005-06-05 Frank Ch. Eigler Implement for/next/continue/break/while statements. * staptree.h: Declare new 0-arity statement types. Tweak for_loop. * parse.cxx: Parse them all. * translate.cxx (c_unparser): Maintain break/continue label stack. (visit_for_loop, *_statement): New implementations. * elaborate.*, staptree.cxx: Mechanical changes. * testsuite/parseok/ten.stp, semko/twelve.stp, transko/two.stp, transok/five.stp: New tests. --- staptree.h | 35 +++++++++++++++++++++++++++++++++-- 1 file changed, 33 insertions(+), 2 deletions(-) (limited to 'staptree.h') diff --git a/staptree.h b/staptree.h index 48862d05..98bd057c 100644 --- a/staptree.h +++ b/staptree.h @@ -275,11 +275,12 @@ struct block: public statement }; +struct expr_statement; struct for_loop: public statement { - expression* init; + expr_statement* init; expression* cond; - expression* incr; + expr_statement* incr; statement* block; void print (std::ostream& o); void visit (visitor* u); @@ -338,6 +339,27 @@ struct delete_statement: public expr_statement }; +struct break_statement: public statement +{ + void print (std::ostream& o); + void visit (visitor* u); +}; + + +struct continue_statement: public statement +{ + void print (std::ostream& o); + void visit (visitor* u); +}; + + +struct next_statement: public statement +{ + void print (std::ostream& o); + void visit (visitor* u); +}; + + struct probe; struct stapfile { @@ -393,6 +415,9 @@ struct visitor virtual void visit_foreach_loop (foreach_loop* s) = 0; virtual void visit_return_statement (return_statement* s) = 0; virtual void visit_delete_statement (delete_statement* s) = 0; + virtual void visit_next_statement (next_statement* s) = 0; + virtual void visit_break_statement (break_statement* s) = 0; + virtual void visit_continue_statement (continue_statement* s) = 0; virtual void visit_literal_string (literal_string* e) = 0; virtual void visit_literal_number (literal_number* e) = 0; virtual void visit_binary_expression (binary_expression* e) = 0; @@ -426,6 +451,9 @@ struct traversing_visitor: public visitor void visit_foreach_loop (foreach_loop* s); void visit_return_statement (return_statement* s); void visit_delete_statement (delete_statement* s); + void visit_next_statement (next_statement* s); + void visit_break_statement (break_statement* s); + void visit_continue_statement (continue_statement* s); void visit_literal_string (literal_string* e); void visit_literal_number (literal_number* e); void visit_binary_expression (binary_expression* e); @@ -464,6 +492,9 @@ struct throwing_visitor: public visitor void visit_foreach_loop (foreach_loop* s); void visit_return_statement (return_statement* s); void visit_delete_statement (delete_statement* s); + void visit_next_statement (next_statement* s); + void visit_break_statement (break_statement* s); + void visit_continue_statement (continue_statement* s); void visit_literal_string (literal_string* e); void visit_literal_number (literal_number* e); void visit_binary_expression (binary_expression* e); -- cgit