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

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

Method Summary

void	endPath()
void	initialize(DataItem dataItem)
void	initialize(List<DataItem> dataItems)
boolean	isInitialized(DataItem dataItem)
void	leaveBranch()
void	leaveMandatoryBranches()
void	start()
void	unInitialize(DataItem dataItem)
void	unInitialize(List<DataItem> dataItems)
void	useOfNotInitializedDataItems(Collection<DataItem> notInitializedDataItems, CobolStatement stmt)
void	visitBranch()
void	visitMandatoryBranches()
void	visitStatement(CobolStatement stmt)

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(List<DataItem> dataItems)

unInitialize

public void unInitialize(List<DataItem> dataItems)

visitStatement

public void visitStatement(CobolStatement stmt)

Overrides:

visitStatement in class ExecutionFlowVisitor<CobolStatement>

useOfNotInitializedDataItems

public void useOfNotInitializedDataItems(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()

Overrides:

visitBranch in class ExecutionFlowVisitor<CobolStatement>

leaveBranch

public void leaveBranch()

Overrides:

leaveBranch in class ExecutionFlowVisitor<CobolStatement>

endPath

public void endPath()

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>