Ciao gente, sto cercando di avventurarmi nella jml, allora, //@signal, quando si usa e come si usa, sopr come fare a decidere quando mettere una segnalazione di eccezione piuttosto che una requires in piu. Grazie.