/** {@inheritDoc} */
@Override
public KillGenAE visitAssignStatement(
IStatement statement, String variable, IStatement value, Context context) {
// Kill.
for (IStatement a : context.aexp) {
if (a.fv().contains(variable)) {
context.result.kill(statement.getLabel(), a);
}
}
// Gen.
for (IStatement a : value.aexp()) {
if (!a.fv().contains(variable)) {
context.result.gen(statement.getLabel(), a);
}
}
return value.visit(this, context);
}
