Package com.github._1c_syntax.bsl.languageserver.cfg

Class ControlFlowGraphWalker

java.lang.Object

com.github._1c_syntax.bsl.languageserver.cfg.ControlFlowGraphWalker

public class ControlFlowGraphWalker
extends Object

Constructor Summary

Constructors

Constructor	Description
ControlFlowGraphWalker(ControlFlowGraph graph)

Method Summary

Modifier and Type	Method	Description
Set<CfgEdge>	availableRoutes()
CfgVertex	getCurrentNode()
boolean	isOnBranch()
void	start()
CfgEdge	walkNext()
CfgEdge	walkNext(CfgEdgeType edgeType)
void	walkTo(CfgVertex target)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ControlFlowGraphWalker

@ConstructorProperties("graph")
public ControlFlowGraphWalker(ControlFlowGraph graph)

Method Details

start

public void start()

availableRoutes

public Set<CfgEdge> availableRoutes()

walkNext

public CfgEdge walkNext()

walkNext

public CfgEdge walkNext(CfgEdgeType edgeType)

walkTo

public void walkTo(CfgVertex target)

isOnBranch

public boolean isOnBranch()

getCurrentNode

public CfgVertex getCurrentNode()