/* * (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); } }