@Test public void assignment() throws Exception { verifySE("assignment.js"); }
private ProgramState assignment(ProgramState currentState, Tree variable) { Symbol trackedVariable = trackedVariable(variable); if (trackedVariable != null) { return currentState.assignment(trackedVariable); } return currentState; }
SymbolicExecution { private ProgramState assignment(ProgramState currentState, Tree variable) { Symbol trackedVariable = trackedVariable(variable); if (trackedVariable != null) { return currentState.assignment(trackedVariable); } return currentState; } }
SymbolicExecution { private ProgramState assignment(ProgramState currentState, Tree variable) { Symbol trackedVariable = trackedVariable(variable); if (trackedVariable != null) { return currentState.assignment(trackedVariable); } return currentState; } SymbolicExecution(Scope functionScope, ControlFlowGraph cfg, List<SeCheck> checks, boolean isAsync); }
SymbolicExecution { private ProgramState assignment(ProgramState currentState, Tree variable) { Symbol trackedVariable = trackedVariable(variable); if (trackedVariable != null) { return currentState.assignment(trackedVariable); } return currentState; } SymbolicExecution(Scope functionScope, ControlFlowGraph cfg, List<SeCheck> checks, boolean isAsync); void visitCfg(ProgramState initialStateWithParameters); Constraint getReturnConstraint(); @CheckForNull Symbol trackedVariable(Tree tree); }
SymbolicExecution { private ProgramState assignment(ProgramState currentState, Tree variable) { Symbol trackedVariable = trackedVariable(variable); if (trackedVariable != null) { return currentState.assignment(trackedVariable); } return currentState; } SymbolicExecution(Scope functionScope, ControlFlowGraph cfg, List<SeCheck> checks, boolean isAsync); void visitCfg(ProgramState initialStateWithParameters); Constraint getReturnConstraint(); @CheckForNull Symbol trackedVariable(Tree tree);  }