public boolean isEffectivelyFinal(Variable v) { VariableState state = getState().get(v); return (v instanceof Parameter && state == null) || (state != null && state.isFinal()); }
public boolean isEffectivelyFinal(Variable v) { VariableState state = getState().get(v); return (v instanceof Parameter && state == null) || (state != null && state.isFinal()); }