C-Breeze C Compiler Infrastructure [ Project home page]

FlowVal Class Reference a flow value for a flow problem More... #include <dataflow.h> Inheritance diagram for FlowVal: List of all members. Public Member Functions virtual FlowVal *  clone () const=0 virtual bool  diff (FlowVal *other) const=0 virtual void  meet (const FlowVal *other)=0 virtual void  to_top ()=0 void  meet_and_diff (const FlowVal *other, FlowProblem &fp) Detailed Description a flow value for a flow problem Definition at line 46 of file dataflow.h. Member Function Documentation virtual FlowVal* FlowVal::clone (    )  const [pure virtual]   Implemented in declSetFlowVal. Referenced by init_flowproblem_walker::at_loop(), init_flowproblem_walker::at_proc(), init_flowproblem_walker::at_stmt(), init_flowproblem_walker::at_switch(), init_flowproblem_walker::at_target(), whileNode::dataflow(), ternaryNode::dataflow(), ifNode::dataflow(), forNode::dataflow(), binaryNode::dataflow(), FlowProblem::iterate(), and meet_and_diff(). virtual bool FlowVal::diff (  FlowVal *    other )  const [pure virtual]   Implemented in declSetFlowVal. Referenced by FlowProblem::iterate(), and meet_and_diff(). virtual void FlowVal::meet (  const FlowVal *    other )  [pure virtual]   Implemented in declSetFlowVal. Referenced by whileNode::dataflow(), ternaryNode::dataflow(), switchNode::dataflow(), returnNode::dataflow(), procNode::dataflow(), labelNode::dataflow(), ifNode::dataflow(), gotoNode::dataflow(), forNode::dataflow(), doNode::dataflow(), continueNode::dataflow(), caseNode::dataflow(), breakNode::dataflow(), binaryNode::dataflow(), and meet_and_diff(). void FlowVal::meet_and_diff (  const FlowVal *    other, FlowProblem &    fp )    Definition at line 98 of file dataflow.cc. References FlowProblem::changed(), clone(), diff(), and meet(). Referenced by whileNode::dataflow(), switchNode::dataflow(), returnNode::dataflow(), gotoNode::dataflow(), forNode::dataflow(), doNode::dataflow(), continueNode::dataflow(), and breakNode::dataflow(). virtual void FlowVal::to_top (    )  [pure virtual]   Implemented in declSetFlowVal. Referenced by whileNode::dataflow(), switchNode::dataflow(), returnNode::dataflow(), gotoNode::dataflow(), forNode::dataflow(), doNode::dataflow(), continueNode::dataflow(), and breakNode::dataflow(). The documentation for this class was generated from the following files: dataflow.h dataflow.cc

Generated on August 27, 2003
Back to the C-Breeze home page