@Override public void flushFields() { Set<DfaVariableValue> vars = ContainerUtil.newLinkedHashSet(getChangedVariables()); for (EqClass aClass : myEqClasses) { if (aClass != null) { vars.addAll(aClass.getVariables(true)); } } for (DfaVariableValue value : vars) { if (value.isFlushableByCalls()) { doFlush(value, shouldMarkUnknown(value)); } } }