Domanda sui metodi [Pure]

Question

Il seguente metodo è Pure? Direi che, dato che non cambia in ogni caso la classe corrente, quindi, tutto ciò che ora possiamo "vedere" in classe, prima di eseguire questo metodo sarà esattamente lo stesso dopo. Ho ragione?

class Set { 
    ... 
    public ISet<T> UnionWith(ISet<T> set) { 
     ISet<T> unionSet = ... 

     foreach (Element element in this) { 
      unionSet.Add(element); 
     } 

     foreach (Element element in set) { 
      unionSet.Add(element); 
     } 

     return unionSet; 
    } 
} 

Answer 1

Se per [Pure] intendi etichettato con l'attributo Pure dal System.Diagnostics.Contracts, la documentazione dice:

metodi puri non fanno alcun visibile cambiamenti di stato.

Poiché il metodo sembra non apportare modifiche allo stato visibile (ovvero senza effetti collaterali), si qualificherebbe per l'attributo [Pure].