private void UpdateStateNotConstant(ConstantPropagationDomain state, IFieldAccess f) { state.SetNonConstant(GetAccess(f)); }
private void UpdateStateNotConstant(ConstantPropagationDomain state) { state.SetNonConstant(); }
private void UpdateStateNotConstant(ConstantPropagationDomain state, IVariable v) { state.SetNonConstant(v); }