Package org.sonar.javascript.se

Class SymbolicExecution

java.lang.Object

org.sonar.javascript.se.SymbolicExecution

public class SymbolicExecution
extends Object

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Constraint	getReturnConstraint()
Symbol	trackedVariable(Tree tree)
void	visitCfg(ProgramState initialStateWithParameters)

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,
                         boolean isAsync)

Method Detail

visitCfg

public void visitCfg(ProgramState initialStateWithParameters)

getReturnConstraint

public Constraint getReturnConstraint()

trackedVariable

@CheckForNull
public Symbol trackedVariable(Tree tree)