Errori dovuti a aliasing
quando due parametri formali si riferiscono allo stesso oggetto mutabile
static void appendVector (Vector v1, Vector v2) throws NullPointerException
// EFFECTS: se v1 o v2 è null solleva NullPointerException,
// altrimenti rimuove tutti gli elementi di v2 e li inserisce
// in ordine rovesciato alla fine di v1
dati di test che non includono un caso in cui v1 e v2 si riferiscono allo stesso vettore non vuoto non rivelano un errore nella seguente implementazione
static void appendVector (Vector v1, Vector v2) throws NullPointerException {
if (v1 == null) throws new
NullPointerException("Vectors.appendVector");
v1.addElement(v2.lastElement( ));
v2.removeElementAt(v2.size( ) - 1); } }