Definition at line 55 of file DataflowCFG.h.
 
◆ DataflowEdge() [1/2]
  
  
      
        
          | VirtualCFG::DataflowEdge::DataflowEdge  | 
          ( | 
          CFGPath  | 
          p,  | 
         
        
           | 
           | 
          bool(*)(CFGNode)  | 
          f  | 
         
        
           | 
          ) | 
           |  | 
         
       
   | 
  
inline   | 
  
 
 
◆ DataflowEdge() [2/2]
  
  
      
        
          | VirtualCFG::DataflowEdge::DataflowEdge  | 
          ( | 
          const DataflowEdge &  | 
          dfe | ) | 
           | 
         
       
   | 
  
inline   | 
  
 
 
◆ toString()
  
  
      
        
          | std::string VirtualCFG::DataflowEdge::toString  | 
          ( | 
           | ) | 
           const | 
         
       
   | 
  
inline   | 
  
 
 
◆ toStringForDebugging()
  
  
      
        
          | std::string VirtualCFG::DataflowEdge::toStringForDebugging  | 
          ( | 
           | ) | 
           const | 
         
       
   | 
  
inline   | 
  
 
 
◆ id()
  
  
      
        
          | std::string VirtualCFG::DataflowEdge::id  | 
          ( | 
           | ) | 
           const | 
         
       
   | 
  
inline   | 
  
 
 
◆ source()
◆ target()
◆ condition()
  
  
      
        
          | EdgeConditionKind VirtualCFG::DataflowEdge::condition  | 
          ( | 
           | ) | 
           const | 
         
       
   | 
  
inline   | 
  
 
 
◆ caseLabel()
  
  
      
        
          | SgExpression * VirtualCFG::DataflowEdge::caseLabel  | 
          ( | 
           | ) | 
           const | 
         
       
   | 
  
inline   | 
  
 
 
◆ conditionBasedOn()
  
  
      
        
          | SgExpression * VirtualCFG::DataflowEdge::conditionBasedOn  | 
          ( | 
           | ) | 
           const | 
         
       
   | 
  
inline   | 
  
 
 
◆ scopesBeingExited()
  
  
      
        
          | std::vector< SgInitializedName * > VirtualCFG::DataflowEdge::scopesBeingExited  | 
          ( | 
           | ) | 
           const | 
         
       
   | 
  
inline   | 
  
 
 
◆ scopesBeingEntered()
  
  
      
        
          | std::vector< SgInitializedName * > VirtualCFG::DataflowEdge::scopesBeingEntered  | 
          ( | 
           | ) | 
           const | 
         
       
   | 
  
inline   | 
  
 
 
◆ operator==()
  
  
      
        
          | bool VirtualCFG::DataflowEdge::operator==  | 
          ( | 
          const DataflowEdge &  | 
          o | ) | 
           const | 
         
       
   | 
  
inline   | 
  
 
 
◆ operator!=()
  
  
      
        
          | bool VirtualCFG::DataflowEdge::operator!=  | 
          ( | 
          const DataflowEdge &  | 
          o | ) | 
           const | 
         
       
   | 
  
inline   | 
  
 
 
The documentation for this class was generated from the following file: