Esempio n. 1
0
 private void UpdateStateNotConstant(ConstantPropagationDomain state, IFieldAccess f)
 {
     state.SetNonConstant(GetAccess(f));
 }
Esempio n. 2
0
 private void UpdateStateNotConstant(ConstantPropagationDomain state)
 {
     state.SetNonConstant();
 }
Esempio n. 3
0
 private void UpdateStateNotConstant(ConstantPropagationDomain state, IVariable v)
 {
     state.SetNonConstant(v);
 }