com.sonarsource.cobol.api.flow

Class CobolDataFlowEngine

java.lang.Object

com.sonar.sslr.api.flow.ExecutionFlowVisitor<CobolStatement>

com.sonarsource.cobol.api.flow.CobolDataFlowEngine

public class CobolDataFlowEngine
extends ExecutionFlowVisitor<CobolStatement>

Constructor Summary

Constructors

Constructor and Description
CobolDataFlowEngine(CobolSymbolTable symbolTable, CobolGrammar grammar, CobolDataFlowEngineObserver... obversers)

Method Summary

Methods

Modifier and Type	Method and Description
void	endPath(Branch branch)
void	initialize(DataItem dataItem)
void	initialize(java.util.List<DataItem> dataItems)
boolean	isInitialized(DataItem dataItem)
void	leaveBranch(Branch branch)
void	leaveMandatoryBranches()
void	start()
void	unInitialize(DataItem dataItem)
void	unInitialize(java.util.List<DataItem> dataItems)
void	useOfNotInitializedDataItems(java.util.Collection<DataItem> notInitializedDataItems, CobolStatement stmt)
void	visitBranch(Branch branch)
void	visitMandatoryBranches()
void	visitStatement(CobolStatement stmt, Branch branch)

Methods inherited from class com.sonar.sslr.api.flow.ExecutionFlowVisitor

stop

Methods inherited from class java.lang.Object

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

Constructor Detail

CobolDataFlowEngine

public CobolDataFlowEngine(CobolSymbolTable symbolTable,
                   CobolGrammar grammar,
                   CobolDataFlowEngineObserver... obversers)

Method Detail

initialize

public void initialize(DataItem dataItem)

unInitialize

public void unInitialize(DataItem dataItem)

initialize

public void initialize(java.util.List<DataItem> dataItems)

unInitialize

public void unInitialize(java.util.List<DataItem> dataItems)

visitStatement

public void visitStatement(CobolStatement stmt,
                  Branch branch)

Overrides:

visitStatement in class ExecutionFlowVisitor<CobolStatement>

useOfNotInitializedDataItems

public void useOfNotInitializedDataItems(java.util.Collection<DataItem> notInitializedDataItems,
                                CobolStatement stmt)

isInitialized

public boolean isInitialized(DataItem dataItem)

start

public void start()

Overrides:

start in class ExecutionFlowVisitor<CobolStatement>

visitBranch

public void visitBranch(Branch branch)

Overrides:

visitBranch in class ExecutionFlowVisitor<CobolStatement>

leaveBranch

public void leaveBranch(Branch branch)

Overrides:

leaveBranch in class ExecutionFlowVisitor<CobolStatement>

endPath

public void endPath(Branch branch)

Overrides:

endPath in class ExecutionFlowVisitor<CobolStatement>

visitMandatoryBranches

public void visitMandatoryBranches()

Overrides:

visitMandatoryBranches in class ExecutionFlowVisitor<CobolStatement>

leaveMandatoryBranches

public void leaveMandatoryBranches()

Overrides:

leaveMandatoryBranches in class ExecutionFlowVisitor<CobolStatement>