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

Modifier and Type	Method and Description
static boolean	isUndefined(IdentifierTree tree)
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()

isUndefined

public static boolean isUndefined(IdentifierTree tree)