import java.util.HashSet;
import java.util.logging.Logger;

public class VerificaRotture implements Runnable {
	private int t;
	private HashSet<Autobus> autobus;
	static Logger log = Logger.getLogger(VerificaRotture.class.getName());

	public VerificaRotture(int t, HashSet<Autobus> autobus) {
		this.t = t;
		this.autobus = autobus;
	}

	// attivita' atomica
	private void rotture(HashSet<Autobus> autobus) {
		// non interessano i dettagli
		// ...
	}

	// attivita' complessa
	@Override
	public void run() {
		log.info("inizio");
		while (! Main.fine) {
			rotture(autobus);
			log.info("verifica");
			try {
				Thread.sleep(t * 1000);
			}
			catch (InterruptedException e) {
			}
		}
		log.info("fine");
	}
}