Specifica (parziale) della classe Thread 3
public class java.lang.Thread extends java.lang.Object implements java.lang.Runnable {
// OVERVIEW: un Thread è un oggetto che ha il controllo
// dell’esecuzione di un thread
// metodi di istanza su cui si può fare l’overriding
// EFFECTS: fa in modo che this possa essere schedulato per
// l’esecuzione; il codice da eseguire è il metodo run()
// dell’oggetto Runnable specificato durante la creazione;
// se questo non esiste è il metodo run() di this
// REQUIRES: può essere eseguito una sola volta
// EFFECTS: non fa niente; deve essere ridefinito in una
// sottoclasse di Thread oppure in una classe che implementa