20200626

Pagina 1

Ingegneria del Software — SOLUZIONE DEL TEMA 26 Giugno 2020 Esercizio 1 Si consideri la seguente specifica di una classe mutabile SequenzaVettori, che rappresenta una sequenza (senza duplicazioni) di vettori bidimensionali. Un vettore `e un elemento della classe Vettore, specificata pi`u avanti. p u b l i c c l a s s S e q u e n z a V e t t o r i{ p u b l i c S e q u e n z a V e t t o r i ( ) ;/ / c o s t r u i s c e una s e q u e n z a v u o t a . / / @ensures ( * \ r e s u l t e ’ i l numero d i v e t t o r i n e l l a s e q u e n z a *) p u b l i c / *@ pure @ * / i n t s i z e ( ) { . . . } / / @ensures ( * \ r e s u l t e ’ i l v e t t o r e i −esimo d e l l a s e q u e n z a s e 0 <=i <s i z e ( ) * ) . / / @signals ( I n d e x O u t O f B o u n d E x c e p t i o n e ) ( i<0 | | i >=s i z e ( ) ) ; p u b l i c / *@ pure @ * / V e t t o r e g e t ( i n t i ) throws IndexOutOfBoundException ; / / @ensures ( * i n s e r i s c e un nuovo e l e m e n t o a l t e r m i n e d e l l a s e q u e n z a *) / / @signals ( D u p l i c a t e E x c e p t i o n e ) ( * e c c e z i o n e s e v e s i s t e i n t h i s *) p u b l i c v o i d p u t ( V e t t o r e v ) throws D u p l i c a t e E x c e p t i o n ; / / @ensures ( * \ r e s u l t e ’ i l v e t t o r e c o s t i t u i t o d a l l a somma d e i p r i m i k v e t t o r i d e l l a s e q u e n z a *) / / @signals ( I n d e x O u t O f B o u n d E x c e p t i o n e ) ( k<2 | | k>s i z e ( ) ) ; p u b l i c / *@ pure @ * / V e t t o r e sum ( i n t k ) ; } La classe immutabile Vettore `e cos`ı specificata: p u b l i c / *@ pure @ * / c l a s s V e t t o r e { / / c o s t r u i s c e un v e t t o r e d a t i modulo e f a s e p u b l i c V e t t o r e (d o u b l e modulo , d o u b l e f a s e ) ; / /@ r e s t i t u i s c e i l…