/*
* (non-Javadoc)
*
* @see soot.toolkits.scalar.FlowAnalysis#flowThrough(java.lang.Object, java.lang.Object, java.lang.Object)
*/
@Override
protected void flowThrough(FlowSet source, Unit unit, FlowSet dest) {
if (unit instanceof AssignStmt) {
AssignStmt assignment = (AssignStmt) unit;
FeatureTag tag = (FeatureTag) assignment.getTag(FeatureTag.FEAT_TAG_NAME);
IFeatureRep featureRep = tag.getFeatureRep();
if (featureRep.belongsToConfiguration(configuration)) {
kill(source, assignment, dest);
gen(dest, assignment);
} else {
source.copy(dest);
}
} else {
source.copy(dest);
}
}
