DDgraphTester Class ReferenceList of all members.
Constructor & Destructor Documentation
| DDgraphTester::DDgraphTester |
( |
ProgramUnit & |
PU |
) |
[inline] |
|
Member Function Documentation
| void DDgraphTester::add |
( |
int |
num_of_dvfs |
) |
|
|
|
|
... End of for
Definition at line 143 of file DDGtester.cc.
References _ANTI, _ASSUMED, DVfield::_dv, RefSet< T >::_element(), _EQ, _FLOW, _GE, _GT, _INPUT, _LE, _LT, _NEQ, _OUTPUT, _PROVED, _STAR, DDgraph::add(), Iterator< T >::current(), RefSet< T >::entries(), Statement::in_refs(), List< T >::ins_first(), List< T >::ins_last(), StmtList::iterator(), Statement::out_refs(), Iterator< T >::reset(), Statement::tag(), and Iterator< T >::valid(). |
| void DDgraphTester::show_active_arcs |
( |
|
) |
|
|
|
|
... End of add()
... COMMON DATA
... Source Expression
... Target Statement & Expression
... DVfield LIST
... EACH DV
... End of for
Definition at line 246 of file DDGtester.cc.
References DDgraph::_active_arcs, _ANTI, DVfield::_dep_decided, DVfield::_dep_type, DVfield::_dv, _EQ, _FLOW, DVfield::_from_expr, DVfield::_from_stmt, _GE, _GT, _INPUT, _LE, _LT, _NEQ, ActiveArc::_next_arc, _OUTPUT, ActiveArc::_prev_arc, _PROVED, DVfield::_references, ActiveArc::_references, ActiveArc::_source_expr, ActiveArc::_source_stmt, _STAR, ActiveArc::_target_expr, ActiveArc::_target_stmt, ActiveArc::_this_arc, DVfield::_to_expr, DVfield::_to_stmt, _UNKNOWN, DVfield::_valid, ActiveArc::_working_dv_fields, Iterator< T >::current(), ElementDV::direction(), Statement::in_refs(), Statement::out_refs(), Statement::tag(), and Iterator< T >::valid(). |
| void DDgraphTester::merge_DVF |
( |
int |
dditer_num |
) |
|
|
| void DDgraphTester::show_arcs |
( |
|
) |
|
|
|
|
... End of show_active_arcs()
... FOR IN_REFS()
... Iterate over all DVfields in this arc
... TARGET statment & expression, and ACTIVE BIT
... EACH FIELD in DVfield head
... DIRECTIONS in DV
... End of if ... FOR OUR_REFS()
... Iterate over all DVfields in this arc
... TARGET statment & expression, and ACTIVE BIT
... EACH FIELD in DVfield head
... DIRECTIONS in DV
... End of if
Definition at line 362 of file DDGtester.cc.
References _ANTI, _ASSUMED, _DELIM, _EQ, _FLOW, _GE, _GT, _INPUT, _LE, _LT, _NEQ, _NORMAL, _OUTPUT, _PROVED, _REVERSE, _STAR, _UNKNOWN, Arc_type, DDgraph::arcs_ptr(), Iterator< T >::current(), DDgraph::data_field(), DDgraph::dep_decision(), DDgraph::dep_direction(), DDgraph::dep_type(), DDgraph::direction(), Statement::in_refs(), DDgraph::is_active(), DDgraph::is_new_dvfield(), StmtList::iterator(), DDgraph::next_arc(), Statement::out_refs(), Statement::tag(), DDgraph::target_expr(), DDgraph::target_stmt(), and Iterator< T >::valid(). |
| void DDgraphTester::add_dditerator |
( |
int |
num_of_dditer |
) |
|
|
|
|
... End of show_arcs()
... a Statement List - From
... a Statement List - To
... CASE1: From = stmt list, To = stmt list
... a Pair of a Stmt & an Expr
... Stmt tag & Expr num are found legal
... From-part == Pair
... Stmt tag or Expr num is found illegal
... a Statement List - To
... a Pair of a Stmt & an Expr
... Stmt tag & Expr num are found legal
Definition at line 573 of file DDGtester.cc.
References Iterator< T >::current(), RefSet< T >::entries(), RefList< T >::entries(), DDI_list::id, Statement::in_refs(), RefList< T >::ins_last(), DDI_list::iter, StmtList::iterator(), DDI_list::next, Statement::out_refs(), Iterator< T >::reset(), Statement::tag(), and Iterator< T >::valid(). |
| void DDgraphTester::del_dditerator |
( |
int |
dditer_num |
) |
|
|
| void DDgraphTester::show_dditerator |
( |
|
) |
|
|
| void DDgraphTester::del_current |
( |
int |
dditer_num |
) |
|
|
| void DDgraphTester::prev_current |
( |
int |
dditer_num |
) |
|
|
| void DDgraphTester::next_current |
( |
int |
dditer_num |
) |
|
|
| void DDgraphTester::grab_current |
( |
int |
dditer_num |
) |
|
|
| void DDgraphTester::show_program |
( |
|
) |
|
|
| void DDgraphTester::reset |
( |
int |
dditer_num |
) |
|
|
| void DDgraphTester::set_to_last |
( |
int |
dditer_num |
) |
|
|
The documentation for this class was generated from the following file:
|