org.sonar.javascript.se

Class SymbolicExecution

java.lang.Object

org.sonar.javascript.se.SymbolicExecution

public class SymbolicExecution
extends Object

Constructor Summary

Constructors

Constructor and Description
SymbolicExecution(Scope functionScope, ControlFlowGraph cfg, List<SeCheck> checks)

Method Summary

Methods

Modifier and Type	Method and Description
void	visitCfg()

Methods inherited from class java.lang.Object

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

Constructor Detail

SymbolicExecution

public SymbolicExecution(Scope functionScope,
                 ControlFlowGraph cfg,
                 List<SeCheck> checks)

Method Detail

visitCfg

public void visitCfg()