Stanse  -1
Static Public Member Functions | List of all members
cz.muni.stanse.codestructures.traversal.CFGTraversal Class Reference

Static Public Member Functions

static< T extends CFGvisitor > T traverseCFGToBreadthForward (final CFGHandle cfg, final CFGNode startNode, final T visitor)
 
static< T extends CFGvisitor > T traverseCFGToBreadthBackward (final CFGHandle cfg, final CFGNode startNode, final T visitor)
 
static< T extends CFGvisitor > T traverseCFGToDepthForward (final CFGHandle cfg, final CFGNode startNode, final T visitor)
 
static< T extends CFGvisitor > T traverseCFGToDepthBackward (final CFGHandle cfg, final CFGNode startNode, final T visitor)
 
static< T extends CFGPathVisitor > T traverseFunctionForward (final CFGHandle cfg, final T visitor)
 
static< T extends CFGPathVisitor > T traverseFunctionBackward (final CFGHandle cfg, final T visitor)
 
static< T extends CFGPathVisitor > T traverseCFGPathsForward (final CFGHandle cfg, final CFGNode startNode, final T visitor)
 
static< T extends CFGPathVisitor > T traverseCFGPathsBackward (final CFGHandle cfg, final CFGNode startNode, final T visitor)
 
static< T extends CFGPathVisitor > T traverseCFGPathsForwardInterprocedural (final CFGsNavigator navigator, final CFGNode startNode, final T visitor)
 
static< T extends CFGPathVisitor > T traverseCFGPathsForwardInterprocedural (final CFGsNavigator navigator, final CFGNode startNode, final T visitor, final Stack< CFGNode > stack)
 
static< T extends CFGPathVisitor > T traverseCFGPathsBackwardInterprocedural (final CFGsNavigator navigator, final CFGNode startNode, final T visitor)
 
static< T extends CFGPathVisitor > T traverseCFGPathsBackwardInterprocedural (final CFGsNavigator navigator, final CFGNode startNode, final T visitor, final Stack< CFGNode > stack)
 

Member Function Documentation

◆ traverseCFGPathsBackward()

static <T extends CFGPathVisitor> T cz.muni.stanse.codestructures.traversal.CFGTraversal.traverseCFGPathsBackward ( final CFGHandle  cfg,
final CFGNode  startNode,
final T  visitor 
)
inlinestatic

◆ traverseCFGPathsBackwardInterprocedural() [1/2]

static <T extends CFGPathVisitor> T cz.muni.stanse.codestructures.traversal.CFGTraversal.traverseCFGPathsBackwardInterprocedural ( final CFGsNavigator  navigator,
final CFGNode  startNode,
final T  visitor 
)
inlinestatic

◆ traverseCFGPathsBackwardInterprocedural() [2/2]

static <T extends CFGPathVisitor> T cz.muni.stanse.codestructures.traversal.CFGTraversal.traverseCFGPathsBackwardInterprocedural ( final CFGsNavigator  navigator,
final CFGNode  startNode,
final T  visitor,
final Stack< CFGNode stack 
)
inlinestatic

◆ traverseCFGPathsForward()

static <T extends CFGPathVisitor> T cz.muni.stanse.codestructures.traversal.CFGTraversal.traverseCFGPathsForward ( final CFGHandle  cfg,
final CFGNode  startNode,
final T  visitor 
)
inlinestatic

◆ traverseCFGPathsForwardInterprocedural() [1/2]

static <T extends CFGPathVisitor> T cz.muni.stanse.codestructures.traversal.CFGTraversal.traverseCFGPathsForwardInterprocedural ( final CFGsNavigator  navigator,
final CFGNode  startNode,
final T  visitor 
)
inlinestatic

◆ traverseCFGPathsForwardInterprocedural() [2/2]

static <T extends CFGPathVisitor> T cz.muni.stanse.codestructures.traversal.CFGTraversal.traverseCFGPathsForwardInterprocedural ( final CFGsNavigator  navigator,
final CFGNode  startNode,
final T  visitor,
final Stack< CFGNode stack 
)
inlinestatic

◆ traverseCFGToBreadthBackward()

static <T extends CFGvisitor> T cz.muni.stanse.codestructures.traversal.CFGTraversal.traverseCFGToBreadthBackward ( final CFGHandle  cfg,
final CFGNode  startNode,
final T  visitor 
)
inlinestatic

◆ traverseCFGToBreadthForward()

static <T extends CFGvisitor> T cz.muni.stanse.codestructures.traversal.CFGTraversal.traverseCFGToBreadthForward ( final CFGHandle  cfg,
final CFGNode  startNode,
final T  visitor 
)
inlinestatic

◆ traverseCFGToDepthBackward()

static <T extends CFGvisitor> T cz.muni.stanse.codestructures.traversal.CFGTraversal.traverseCFGToDepthBackward ( final CFGHandle  cfg,
final CFGNode  startNode,
final T  visitor 
)
inlinestatic

◆ traverseCFGToDepthForward()

static <T extends CFGvisitor> T cz.muni.stanse.codestructures.traversal.CFGTraversal.traverseCFGToDepthForward ( final CFGHandle  cfg,
final CFGNode  startNode,
final T  visitor 
)
inlinestatic

◆ traverseFunctionBackward()

static <T extends CFGPathVisitor> T cz.muni.stanse.codestructures.traversal.CFGTraversal.traverseFunctionBackward ( final CFGHandle  cfg,
final T  visitor 
)
inlinestatic

◆ traverseFunctionForward()

static <T extends CFGPathVisitor> T cz.muni.stanse.codestructures.traversal.CFGTraversal.traverseFunctionForward ( final CFGHandle  cfg,
final T  visitor 
)
inlinestatic

The documentation for this class was generated from the following file: